[논문 리뷰] Solving One Variable Word Equations in the Free Group in Cubic Time

Robert Ferens, Artur Jeż|arXiv (Cornell University)|2021. 01. 01.

Algorithms and Data Compression참고 문헌 24인용 수 2

한 줄 요약

이 논문은 자유군 내 일변수 단어 방정식을 해결하기 위한 세제곱 시간 알고리즘을 제시한다. 이 알고리즘은 방정식 길이 n과 변수의 등장 횟수 m에 대해 O(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를 사용한 재귀적 케이스 분해를 시행한다.
• 각 연산이 O(1) 시간 내에 수행되도록 log n비트 정수에 대한 효율적인 데이터 구조와 연산을 사용하여 총 시간 복잡도를 세제곱 시간으로 유지한다.
• 단어 동치성과 거듭제곱 구조에 관한 보조정리(예: 항등성 테스트에 관한 보조정리 33)를 활용하여 후보 해를 효율적으로 검증한다.

실험 결과

연구 질문

• RQ1 자유군 내 일변수 단어 방정식은 이전의 고차수 다항식 시간 알고리즘보다 향상된 세제곱 시간 내에서 해결할 수 있는가?
• RQ2 단일 방정식으로부터 유도되는 매개변수 해 집합 {αw^kβ : k ∈ ℤ}의 최대 개수는 얼마이며, 이를 날카운 경계로 제한할 수 있는가?
• RQ3 복잡한 대수기법을 피하면서도 최적의 시간 복잡도를 달성할 수 있는 단순하고 조합론적으로 기반된 알고리즘을 설계할 수 있는가?
• RQ4 변수의 등장 구조와 단어 거듭제곱의 구조를 어떻게 활용하여 테스트해야 할 후보 해의 수를 줄일 수 있는가?

주요 결과

• 알고리즘은 방정식 길이 n과 변수의 등장 횟수 m에 대해 O(n²m) 시간 내에 일변수 단어 방정식을 자유군에서 해결한다.
• 해 집합은 최대 O(n²)개의 형태 {αw^kβ : k ∈ ℤ}의 매개변수 집합으로 이루어져 있으며, 이는 해의 복잡도에 대한 날카운 상한을 제공한다.
• 단어 조합론과 군론의 기본 도구만을 사용하여 세제곱 시간 복잡도를 달성함으로써, 알고리즘이 단순하고 효율적임을 입증한다.
• u ∼ v와 u ̸∼ v의 두 경우를 동일한 방식으로 처리하며, 실행 시간과 후보 수에 대해 유사한 경계를 확보한다.
• 분석 결과, 후보 해 쌍 (i, j)의 총 수는 O(n²) 이하로 제한되며, 이는 시간 복잡도에 있어 핵심적인 요소이다.
• 변수가 여러 개의 겹치지 않는 세그먼트에 등장할 경우에도, 케이스 기반 분해와 해 집합 크기의 정확한 추정을 통해 알고리즘이 효율성을 유지한다.