[논문 리뷰] Recompression: a simple and powerful technique for word equations

Artur Jeż|arXiv (Cornell University)|2012. 03. 16.

Algorithms and Data Compression참고 문헌 15인용 수 10

한 줄 요약

이 논문은 단어 방정식을 해결하기 위한 새로운 국소 재압축 기법을 소개한다. 이 기법은 변수를 교체하고 문자 쌍을 압축하여 해에 대한 직선 프로그램(Straight-Line Programme, SLP)을 구축한다. O(n log n) 공간과 다항 시간 내에 작동하는 자가 포함된 효율적인 알고리즘을 제공하며, 기존 결과에 의존하지 않고 해의 크기와 주기성의 이중 지수적 상한을 증명한다.

ABSTRACT

In this paper we present an application of a simple technique of local recompression, previously developed by the author in the context of compressed membership problems and compressed pattern matching, to word equations. The technique is based on local modification of variables (replacing X by aX or Xa) and iterative replacement of pairs of letters appearing in the equation by a `fresh' letter, which can be seen as a bottom-up compression of the solution of the given word equation, to be more specific, building an SLP (Straight-Line Programme) for the solution of the word equation. Using this technique we give a new, independent and self-contained proofs of most of the known results for word equations. To be more specific, the presented (nondeterministic) algorithm runs in O(n log n) space and in time polynomial in log N, where N is the size of the length-minimal solution of the word equation. The presented algorithm can be easily generalised to a generator of all solutions of the given word equation (without increasing the space usage). Furthermore, a further analysis of the algorithm yields a doubly exponential upper bound on the size of the length-minimal solution. The presented algorithm does not use exponential bound on the exponent of periodicity. Conversely, the analysis of the algorithm yields an independent proof of the exponential bound on exponent of periodicity. We believe that the presented algorithm, its idea and analysis are far simpler than all previously applied. Furthermore, thanks to it we can obtain a unified and simple approach to most of known results for word equations. As a small additional result we show that for O(1) variables (with arbitrary many appearances in the equation) word equations can be solved in linear space, i.e. they are context-sensitive.

연구 동기 및 목표

• 국소 재압축을 사용하여 단어 방정식을 해결하는 새로운 자가 포함된 알고리즘을 개발하는 것.
• 해의 크기와 주기성에 대한 핵심 결과를 단어 방정식 이론에서 독립적으로 증명하는 것.
• k개의 변수를 가진 만족 가능한 단어 방정식의 집합이 문맥민감함(context-sensitive)임을 보이는 것.
• 알고리즘을 확장하여 공간 사용량을 늘리지 않고 모든 해를 생성하는 것.
• 오직 알고리즘 분석을 통해 길이 최소 해의 크기에 대해 이중 지수적 상한을 설정하는 것.

제안 방법

• 변수를 간소화하기 위해 X를 aX나 Xa로 교체함.
• 서로 다른 문자 쌍 ab (a ≠ b)를 새 문자로 반복적으로 교체하여 해를 아래에서 위로 압축함.
• 해에 대한 직선 프로그램(Straight-Line Programme, SLP)을 구성하여 효율적인 표현과 조작을 가능하게 함.
• 각 단계에서 해의 길이를 유한한 요소로 줄이는 단계별로 작동하여 종료 보장함.
• 대체의 정확성을 검증하기 위해 SLP 등가성 테스트를 사용하며, 기존의 다항 시간 방법을 활용함.
• 단계별로 해의 길이 감소를 추적하여 해의 크기와 주기성에 대한 상한을 유도함.

실험 결과

연구 질문

• RQ1 간단하고 국소적인 재압축 기법을 사용하여 단어 방정식을 기존 알고리즘에 의존하지 않고 효율적으로 해결할 수 있는가?
• RQ2 단어 방정식의 길이 최소 해의 최대 크기는 얼마이며, 이를 독립적으로 상한으로 제시할 수 있는가?
• RQ3 해에서 주기성의 지수에 대한 상한은 무엇이며, 이는 알고리즘의 동작에서 유도될 수 있는가?
• RQ4 공간 복잡도를 증가시키지 않고 알고리즘을 모든 해를 생성하도록 확장할 수 있는가?
• RQ5 재압축 과정이 그 구조적 성질을 통해 해의 크기와 주기성에 본질적으로 상한을 제공하는가?

주요 결과

• 알고리즘은 입력 크기 n과 길이 최소 해의 크기 N에 대해 O(n log n) 공간과 n 및 log N에 대한 다항 시간 내에 작동한다.
• 길이 최소 해의 크기는 어떤 다항식 q와 상수 c에 대해 2^{q(n)·n_v^{c n_v}}로 상한이 주어지며, 이는 이중 지수적 상한을 증명한다.
• 해에서 주기성의 지수는 알고리즘의 압축 행동에서 독립적으로 도출된 지수 함수로 상한이 주어진다.
• 기존의 마카닌(Makanin)의 지수적 상한에 의존하지 않고, 알고리즘의 분석만으로도 이중 지수적 해의 크기 상한을 자가 포함된 증명으로 제공한다.
• 상수 개의 변수에 대해 공간 복잡도는 m(입력 크기)에 대해 선형 O(m)이며, 이는 k-변수 단어 방정식이 문맥민감함임을 시사한다.
• 공간 사용량을 늘리지 않고도 알고리즘을 확장하여 모든 해를 생성할 수 있으며, 동일한 복잡도 상한을 유지한다.