[論文レビュー] One-variable word equations in linear time

Artur Jeż|arXiv (Cornell University)|Feb 14, 2013

Natural Language Processing Techniques参考文献 2被引用数 6

ひとこと要約

本稿では、再圧縮技術を用いて、1変数の単語方程式を線形時間で解くアルゴリズムを提示する。この手法は、部分文字列および変数を決定的に圧縮することで、充足可能性の検証を効率的に行う。主な貢献は、RAMモデルにおいてO(n)の実行時間であり、従来の境界を改善し、この問題の最良-knownの複雑性と一致する。

ABSTRACT

In this paper we consider word equations with one variable (and arbitrary many appearances of it). A recent technique of recompression, which is applicable to general word equations, is shown to be suitable also in this case. While in general case it is non-deterministic, it determinises in case of one variable and the obtained running time is O(n + #_X log n), where #_X is the number of appearances of the variable in the equation. This matches the previously-best algorithm due to Dąbrowski and Plandowski. Then, using a couple of heuristics as well as more detailed time analysis the running time is lowered to O(n) in RAM model. Unfortunately no new properties of solutions are shown.

研究の動機と目的

• 1変数の単語方程式を効率的に解くアルゴリズムの開発。この問題はPに属することが知られているが、従来は非最適な実行時間がかかっていた。
• 非一様モデルに依存しないアルゴリズムの欠落を埋めるために、RAMモデルにおける線形時間への時間計算量の向上を図る。
• 従来、文法圧縮された文字列に用いられていた再圧縮技術を、1変数の単語方程式に適応し、決定的動作を実現する。
• ヒューリスティクスと洗練された解析を用いてアルゴリズムを最適化し、線形時間性能を達成し、この問題の最良-knownの複雑性と一致させる。

提案手法

• 1変数単語方程式に再圧縮技術を適用し、ペア圧縮（部分文字列abを新しい文字に置換）とブロック圧縮（a^ℓを新しい文字に置換）を用いる。
• 局所的変数更新を用いる：Xの置換からa^ℓを圧縮する際、XをX'に更新し、新しい置換が短くなるように保つ。これにより正しさが維持される。
• 周期性に基づくテスト戦略を導入し、変数Xを含む2つの式が同じ文字列値を持つかどうかを確認する。gcdに基づく周期検出を用いる。
• 再圧縮プロセス中に部分文字列を効率的に比較するため、範囲最小クエリ（RMQ）とサフィックス配列に類似した構造を用いる。
• X自身との比較を最適化し、O(1)時間で同一のa^k接頭部をスキップする。このコストを以前のテストに割り当てることで、合計時間の線形性を維持する。
• 会計法を用いて、周期的テストに費やす総時間を束縛し、全体でO(n)時間の寄与に留めることを示す。

実験結果

リサーチクエスチョン

• RQ1 再圧縮技術は、1変数単語方程式を決定的にかつ線形時間で解けるように適応可能か？
• RQ2 RAMモデルにおいて、1変数単語方程式の実行時間をO(n)に抑えることは可能か？ これは、O(n + #_X log n)の従来の境界を改善するものか？
• RQ3 範囲最小クエリ（RMQ）の使用を削除しても、実行時間は増加しないか？
• RQ4 再圧縮アプローチを用いて、1変数単語方程式の解の数に関する境界を改善できるか？
• RQ5 再圧縮法は、2変数単語方程式の解法を高速化するために応用可能か？

主な発見

• 再圧縮とヒューリスティクス最適化、詳細な時間解析を組み合わせることで、RAMモデルでO(n)の実行時間を達成した。
• 一般の単語方程式では非決定的である再圧縮技術が、1変数の場合には決定的となり、線形時間処理が可能になる。
• 候補解の数はO(log n)で抑えられ、周期性とgcdに基づくチェックを用いて効率的にテストしている。
• X自身との比較コストは、以前の操作に均等に割り当てられ、合計時間に定数因子しか追加しない。
• DąbrowskiとPlandowskiの最良-knownの複雑性（O(n + #_X log n)）と一致するが、RAMモデル下ではO(n)に改善された。
• 本手法は解の構造的性質を新たに確立するものではないが、1変数単語方程式を解くより単純で統一的なアプローチを提供する。