Wheeler 图的 $r$-索引

设 $G$ 为一个 Wheeler 图，$r$ 为 $G$ 的 Burrows-Wheeler 变换中游程（run）的数目，并设 $G$ 可分解为 $\upsilon$ 条边不交的有向路径，其内点入度与出度均恰为 1。我们展示如何将 $G$ 以 $O (r + \upsilon)$ 空间存储，使得随后给定模式 $P$ 时，可在 $O (|P| \log \log |G|)$ 时间内统计由标号为 $P$ 的有向路径可达的 $G$ 的顶点数，并以每顶点 $O (\log \log |G|)$ 时间报告这些顶点。