有界秩文法压缩图的常数延迟遍历

我们提出一种基于指针的数据结构，用于对以超边替换文法 $G$ 给出的边标记（字母表 $\Sigma$）有向超图（一种边可关联多于两个顶点且关联顶点有序的图）进行常数时间边遍历。假设该文法具有固定秩 $\kappa$（与非终结超边相连的最大顶点数），且所表示图的每个顶点在每个方向（$\sigma \in \Sigma$）上至多关联一条 $\sigma$-边。预计算该数据结构需要 $O(|G||\Sigma|\kappa r h)$ 空间与 $O(|G||\Sigma|\kappa rh^2)$ 时间，其中 $h$ 为 $G$ 的派生树高度，$r$ 为文法中出现的终结边的最大秩。