[论文解读] Solving One Variable Word Equations in the Free Group in Cubic Time

Robert Ferens, Artur Jeż|arXiv (Cornell University)|Jan 1, 2021

Algorithms and Data Compression参考文献 24被引用 2

一句话总结

本文提出了一种在自由群中求解单变量字方程的立方时间算法，时间复杂度为 O(n²m)，其中 n 为方程长度，m 为变量出现次数。该方法基于字幂的组合分析，以及形如 {αw^kβ : k ∈ ℤ} 的参数解集，证明解集最多包含 O(n²) 个此类集合，显著优于以往高次多项式时间算法。

ABSTRACT

A word equation with one variable in a free group is given as U = V, where both U and V are words over the alphabet of generators of the free group and X, X⁻¹, for a fixed variable X. An element of the free group is a solution when substituting it for X yields a true equality (interpreted in the free group) of left- and right-hand sides. It is known that the set of all solutions of a given word equation with one variable is a finite union of sets of the form {α wⁱ β : i ∈ ℤ}, where α, w, β are reduced words over the alphabet of generators, and a polynomial-time algorithm (of a high degree) computing this set is known. We provide a cubic time algorithm for this problem, which also shows that the set of solutions consists of at most a quadratic number of the above-mentioned sets. The algorithm uses only simple tools of word combinatorics and group theory and is simple to state. Its analysis is involved and focuses on the combinatorics of occurrences of powers of a word within a larger word.

研究动机与目标

• 开发一种更高效的算法，用于求解自由群中的单变量字方程，优于现有高次多项式时间方法。
• 提供一种简单、基于组合数学的算法，仅使用词组合学与群论的基本工具。
• 建立参数解集数量的紧致上界，证明其最多为 O(n²)，适用于任意输入方程。
• 在 RAM 模型下实现立方时间性能（O(n²m）），具有清晰且可分析的结构。

提出的方法

• 该算法根据变量出现位置将方程分解为若干段，并分析方程内部字幂的组合性质。
• 根据变量出现的结构对解进行分类，并对变量实例的位置进行情况分析。
• 对每种情况，通过测试某些导出字是否为平凡（即在自由群中等于单位元），计算形如 {αw^kβ : k ∈ ℤ} 的候选解集。
• 使用代换 I = i, J = j, I+J = i+j 的递归情况分解，将问题简化为更简单的子问题。
• 通过在 log n 位整数上使用高效的数据结构和操作，实现每次操作 O(1) 时间，从而保证整体的立方时间复杂度。
• 利用关于字等价性和幂结构的引理（例如引理 33 中的平凡性测试）高效验证候选解。

实验结果

研究问题

• RQ1 能否在立方时间内求解自由群中的单变量字方程，从而优于以往高次多项式时间算法？
• RQ2 单个方程可能产生的参数解集 {αw^kβ : k ∈ ℤ} 的最大数量是多少？能否给出紧致的上界？
• RQ3 能否设计一种简单、基于组合数学的算法，避免复杂的代数工具，同时仍达到最优时间复杂度？
• RQ4 如何利用变量出现结构与字幂的结构，将需测试的候选解数量减少？

主要发现

• 该算法在 O(n²m) 时间内求解自由群中的单变量字方程，其中 n 为方程长度，m 为变量出现次数。
• 解集最多包含 O(n²) 个形如 {αw^kβ : k ∈ ℤ} 的参数集合，为解的复杂度提供了紧致上界。
• 该算法仅使用词组合学与群论的基本工具，实现了立方时间复杂度，兼具简洁性与高效性。
• 该方法对情况 u ∼ v 和 u ̸∼ v 的处理方式一致，运行时间与候选解数量的上界也相同。
• 分析表明，候选解对 (i, j) 的总数被限制在 O(n²) 以内，这对时间复杂度至关重要。
• 即使变量出现在多个不重叠的段中，该算法仍保持高效，通过基于情况的分解和对解集大小的精确估计实现。