[論文レビュー] 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

ひとこと要約

本稿では、自由群における1変数語方程式を解くための立方時間アルゴリズムを提示する。時間計算量は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.

研究の動機と目的

• 自由群における1変数語方程式を解くより効率的なアルゴリズムの開発。既存の高次多項式時間法に比べ、次数の高い計算量を改善すること。
• 基本的な語組み合わせ論と群論の道具のみを用いた、シンプルで組み合わせ的根拠を持つアルゴリズムの提供。
• パラメトリック解集合の数に対するタイトな上限の確立。任意の入力方程式に対して、その数が高々O(n²)であることを示すこと。
• RAMモデルにおいて立方時間性能（O(n²m)）を達成し、明確で解析可能な構造を持つこと。

提案手法

• 方程式を変数の出現に基づいてセグメントに分解し、方程式内での語のべきの組み合わせ的性質を分析する。
• 変数の出現構造に基づいて解をケースに分類し、変数のインスタンスの位置に基づくケース解析を実施する。
• 各ケースに対して、特定の導出語が自明（自由群において単位元に等しい）かどうかをテストすることで、{αw^kβ : k ∈ ℤ}形式の候補解集合を計算する。
• 問題をより単純な部分問題に還元するため、置換I = i、J = j、I+J = i+jを用いた再帰的ケース分解を採用する。
• log nビット整数に対する効率的なデータ構造と操作を用い、1回の操作をO(1)時間で維持することで、全体の立方時間計算量を達成する。
• 語の同値性とべき構造に関する補題（例：自明性テストに関する補題33）を活用し、候補解を効率的に検証する。

実験結果

リサーチクエスチョン

• RQ1 自由群における1変数語方程式は、従来の高次多項式時間アルゴリズムに比べ、立方時間で解けるか？
• RQ2 1つの方程式から生じるパラメトリック解集合{αw^kβ : k ∈ ℤ}の最大数は何か。また、これをタイトに束ねることは可能か？
• RQ3 複雑な代数的道具を避ける一方で、最適な時間計算量を達成できるシンプルで組み合わせ的根拠を持つアルゴリズムを設計できるか？
• RQ4 変数の出現構造と語のべきの構造をどのように活用すれば、検証すべき候補解の数を削減できるか？

主な発見

• アルゴリズムは、方程式の長さnと変数の出現回数mを用いて、O(n²m)時間で1変数語方程式を自由群内で解くことができる。
• 解集合は高々O(n²)個の{αw^kβ : k ∈ ℤ}形式のパラメトリック集合から成り、解の複雑さに対するタイトな上限を提供する。
• 語組み合わせ論と群論の基本的道具のみを用いて立方時間計算量を達成しており、シンプルかつ効率的である。
• u ∼ vおよびu ̸∼ vの両ケースを一様に処理でき、実行時間と候補数の上限が類似した性能を示す。
• 候補解ペア(i, j)の総数がO(n²)で抑えられることを分析により示しており、これは時間計算量の根拠として重要である。
• 変数が複数の重複しないセグメントに現れる場合でも、ケース別分解と解集合サイズの精密な推定により、アルゴリズムは依然として効率的である。