[论文解读] A linear-time algorithm to compute geodesics in solvable Baumslag-Solitar groups

Murray Elder|arXiv (Cornell University)|Mar 2, 2009

Geometric and Algebraic Topology参考文献 4被引用 4

一句话总结

该论文提出了一种线性时间算法，用于在可解的 Baumslag-Solitar 群 $BS(1,p)$ 中计算测地词，结合了基于指针的重排与 Cayley 图中的动态路径追踪。该算法将任意长度为 $n$ 的输入词在 $O(n)$ 时间和 $O(n/\log n)$ 空间内转换为测地代表元，解决了在其他超可解群中为 NP-难的问题。

ABSTRACT

We present an algorithm to convert a word of length $n$ in the standard generators of the solvable Baumslag-Solitar group $BS(1,p)$ into a geodesic word, which runs in linear time and $O(n\log n)$ space on a random access machine.

研究动机与目标

• 解决 $BS(1,p)$ 中的测地问题，该类超可解群在其他情形下为 NP-难。
• 设计一种确定性算法，在线性时间内计算测地代表元，克服先前方法的指数级最坏时间复杂度。
• 通过仅追踪 Cayley 图中各层的有关路径段，实现高效的空间使用，空间复杂度为 $O(n\log n)$。
• 将测地计算的适用范围扩展到具有可解表示的非自由超可解群，尽管在相关群中该问题为 NP-难。

提出的方法

• 使用随机存取机器模型，以支持对数组元素的常数时间访问，从而实现高效的指针操作。
• 在第一部分应用基于指针的重排，通过零 $t$-指数和的子词将 $a$-字母与 $t$-字母交换顺序，减少词长的同时保持群等价性。
• 从层级 $q$ 到 $q+r$ 构建 Cayley 图的分层表示，仅存储关键点和标签，将空间限制在 $O(n\log n)$。
• 在每一层，从关键点 $d_{1,q}, d_{2,q}$ 的两侧各扩展 $3p-1$ 条边，并对点 $U, d_{1,q+1}, d_{2,q+1}$ 进行标记，以支持路径重建。
• 通过向上使用 $t$-边和水平使用 $a$-边，从 $U$ 到 $E_r$ 计算最短路径，利用跨层级的动态比较确定测地路径。
• 从 $E_r$ 开始，通过向下使用 $t^{-1}$-边回溯，定位存储图中所有可行的测地路径，并选择最短的一条。

实验结果

研究问题

• RQ1 尽管在其他超可解群中为 NP-难，$BS(1,p)$ 中的测地问题是否能在线性时间内求解？
• RQ2 何种数据结构与算法技术可确保线性时间性能，同时保持 $O(n\log n)$ 的空间使用？
• RQ3 如何优化 Cayley 图中的路径追踪，以避免最坏情况下的指数级膨胀？
• RQ4 $BS(1,p)$ 的结构——其分层的、树状的 Cayley 图——在高效测地计算中可被多大程度地利用？
• RQ5 是否可能在不依赖固定正规形式的前提下计算测地词，同时仍实现最优时间复杂度？

主要发现

• 该算法在 $O(n)$ 时间和 $O(n\log n)$ 空间内，为 $BS(1,p)$ 中的任意词计算出测地代表元，其中 $n$ 为输入长度。
• 通过使用指针高效交换零 $t$-指数和的子词，避免了指数时间，确保了线性时间重排。
• 由于 $a$-字母连续段的 $3p$-界，仅需探索输入词终点上方的有界层数，即可找到测地词。
• 该方法仅存储 $O(\log n)$ 层 Cayley 图，每层仅含常数个标签，实现了 $O(n\log n)$ 的空间复杂度。
• 对于负 $t$-指数和的输入，通过反转词、应用算法、再反转输出来处理，该步骤为线性时间。
• 输出的测地词并非正规形式，而是依赖于输入的测地代表元；可通过单独的多项式时间预处理步骤获得正规形式。