[论文解读] Ackermannian Integer Compression and the Word Problem for Hydra Groups

Will Dison, Eduard Einstein+1 more|arXiv (Cornell University)|Sep 8, 2015

Geometric and Algebraic Topology参考文献 12被引用 2

一句话总结

该论文提出了一种多项式时间算法，用于求解“巨龙群”（hydra groups）的词问题——这是一类具有 Ackermann 型 Dehn 函数的有限生成群，已知其复杂度极高。关键创新在于提出了一种新颖的高效方法，用于处理通过迭代 Ackermann 函数压缩表示的整数，从而在群的极端扭曲和非元素级增长下仍能实现快速决策过程。

ABSTRACT

For a finitely presented group, the word problem asks for an algorithm which declares whether or not words on the generators represent the identity. The Dehn function is a complexity measure of a direct attack on the word problem by applying the defining relations. Dison & Riley showed that a "hydra phenomenon" gives rise to novel groups with extremely fast growing (Ackermannian) Dehn functions. Here we show that nevertheless, there are efficient (polynomial time) solutions to the word problems of these groups. Our main innovation is a means of computing efficiently with enormous integers which are represented in compressed forms by strings of Ackermann functions.

研究动机与目标

• 解决一类具有极快增长（Ackermann 型）Dehn 函数的有限表示群——巨龙群的词问题，这类群通常意味着不可解的复杂度。
• 开发一种高效计算方法，用于处理通过迭代 Ackermann 函数压缩表示的整数，克服直接求值的不可行性。
• 为巨龙群 Gk 的子群 Hk 提供子群成员问题的多项式时间解法，这是求解更大群 Γk 词问题的核心。
• 证明尽管 Dehn 函数具有极端增长，但由于群的结构特性与压缩整数算术的结合，词问题仍可在多项式时间内求解。
• 建立整个 Γk 词问题的解法时间复杂度为 O(n^{3k^2 + k + 2})，其中 n 为输入长度，通过结合压缩整数计算与子群成员检测实现。

提出的方法

• 引入使用 Ackermann 函数串（ψ-词）表示整数的压缩形式，实现对极大整数的紧凑编码。
• 设计一个多项式时间算法（Psi），通过递归简化表达式并追踪定义域有效性，判断一个 ψ-词表示的是正整数、负整数还是零。
• 设计递归算法（Frontm 和 Backm）以计算群元素对压缩整数的作用，利用“片段准则”（Piece Criterion）约束抵消过程，保持效率。
• 构建 Pushm 算法，将压缩整数表示通过群词传播，同时保持压缩表示长度与阶数的有界性。
• 利用 Pushm 和 Piecem 算法通过测试给定词在压缩整数求值下是否映射为单位元，来求解 Hk 中的成员问题。
• 将成员问题求解器与 Britton 引理结合，将 HNN 扩张 Γk 中的词问题转化为对成员测试和 Gk 中约化的重复应用，从而获得完整的多项式时间解法。

实验结果

研究问题

• RQ1 对于具有 Ackermann 型 Dehn 函数的群，尽管其增长具有极端的非元素级特性，是否仍可在多项式时间内求解词问题？
• RQ2 是否可能在不显式求值的情况下，对通过迭代 Ackermann 函数表示的整数执行高效算术运算？
• RQ3 当群元素通过高度非线性、快速增长的函数作用时，如何高效测试 Hk 中的子群成员关系？
• RQ4 巨龙群的哪些结构性质使其即使在缺乏多项式 Dehn 函数的情况下，词问题仍可多项式时间求解？
• RQ5 压缩整数表示能否用于模拟群作用与抵消过程，同时保持时间复杂度的有界性？

主要发现

• 巨龙群 Γk 的词问题可在 O(n^{3k^2 + k + 2}) 时间内求解，其中 n 为输入词的长度，这在 Ackermann 型 Dehn 函数存在的情况下仍实现了多项式时间解法。
• 在 Gk 中对子群 Hk 的成员问题，使用 Pushm 和 Piecem 算法，可在 O((ℓ(w) + ℓ(f))^{2m + k}) 时间内求解，其中 w 为词，f 为压缩整数。
• 提出一种新算法 Psi，其对 ψ-词（通过 Ackermann 函数压缩表示的整数）的求值时间复杂度被限制在关于 k 的四次多项式以内，可判断结果为正、负或零。
• 该算法在求值过程中正确处理了定义域越界的情况，确保即使中间 Ackermann 函数应用未定义，结果仍正确。
• Pushm 算法的时间复杂度为 O((ℓ(v) + ℓ(f))^{2m + k + 1})，其中 v 为长度 ℓ(v) 的词，f 为压缩整数，输出 g 满足 ℓ(g) ≤ ℓ(f) + 2mℓ(v)。
• Γk 的完整解法最多调用 n/2 次成员问题求解器与一次 Gk 词问题求解器，两者均在多项式时间内完成，最终整体时间复杂度为 O(n^{3k^2 + k + 2})