[論文レビュー] A linear-time algorithm to compute geodesics in solvable Baumslag-Solitar groups

Murray Elder|arXiv (Cornell University)|Mar 2, 2009

Geometric and Algebraic Topology参考文献 4被引用数 4

ひとこと要約

本稿では、Cayley図におけるポインタベースの再配置と段階的パス追跡を組み合わせることで、可解な Baumslag-Solitar 群 $BS(1,p)$ における測地的語を計算する線形時間アルゴリズムを提示する。このアルゴリズムは、長さ $n$ の入力語を $O(n)$ 時間および $O(n/\log n)$ 空間で測地的代表元に変換でき、他のメタアーベル群では NP 困難である問題を解決する。

ABSTRACT

We present an algorithm to convert a word of length $n$ in the standard generators of the solvable Baumslag-Solitar group $BS(1,p)$ into a geodesic word, which runs in linear time and $O(n\log n)$ space on a random access machine.

研究の動機と目的

• 他の設定では NP 困難であるが、メタアーベル群の一種である $BS(1,p)$ における測地的問題を解くこと。
• 従来の方法が最悪ケースで指数時間となるのを克服し、線形時間で測地的代表元を計算する決定的アルゴリズムを設計すること。
• Cayley 図の各段階で関連するパスセグメントのみを追跡することで、$O(n\log n)$ 空間を達成し、効率的な空間使用を実現すること。
• 他の関連群では NP 困難であるにもかかわらず、解ける表現を持つ非自由なメタアーベル群への測地的計算の適用を拡張すること。

提案手法

• 配列要素への定数時間アクセスを可能にするランダムアクセスマシンモデルを用い、効率的なポインタ操作を支援する。
• 第1段階でポインタベースの再配置を適用し、$t$-指数和が 0 である部分語を $a$-文字の前後に移動させることで、群の同値性を保ちつつ語長を短縮する。
• レベル $q$ から $q+r$ まで、Cayley 図のレイヤード表現を構築し、キーポイントとラベルのみを格納することで、空間を $O(n\log n)$ に制限する。
• 各レベルで、重要な点 $d_{1,q}, d_{2,q}$ の両側にそれぞれ $3p-1$ 本の辺を追加し、点 $U, d_{1,q+1}, d_{2,q+1}$ をラベル付けしてパス再構築を可能にする。
• 各レベル間で動的比較を用い、$t$-辺を上向きに、$a$-辺を水平方向に進むことで、$U$ から $E_r$ への最短パスを計算し、測地的パスを特定する。
• 格納された図から $E_r$ から下向きに $t^{-1}$-辺を用いてバックトラックし、格納された図内でのすべての妥当な測地的パスを特定し、その中から最短のものを選ぶ。

実験結果

リサーチクエスチョン

• RQ1 他のメタアーベル群では NP 困難であるにもかかわらず、$BS(1,p)$ における測地的問題を線形時間で解くことは可能か？
• RQ2 線形時間性能を維持しつつ $O(n\log n)$ 空間使用を実現するためのデータ構造とアルゴリズム的技法は何か？
• RQ3 Cayley 図におけるパス追跡をどのように最適化すれば、最悪ケースでの指数的ブロードキャストを回避できるか？
• RQ4 $BS(1,p)$ の階層的・木構造的な Cayley 図の構造は、効率的な測地的計算にどの程度活用できるか？
• RQ5 固定された標準形を必要とせずに、最適な時間計算量を達成しつつ測地的語を計算することは可能か？

主な発見

• アルゴリズムは、入力長 $n$ に対して、$O(n)$ 時間および $O(n\log n)$ 空間で、$BS(1,p)$ の任意の語に対して測地的代表元を計算する。
• $t$-指数和が 0 である部分語の効率的交換にポインタを用いることで、指数的時間の回避が可能となり、線形時間での再配置が保証される。
• 語長に比例する $a$-文字の連続長の $3p$-境界により、入力語の終点より上位の有限個の段階のみを探索すればよくなるため、測地的パスが特定できる。
• Cayley 図の $O(\log n)$ 個の段階のみを格納し、各段階に定数個のラベルを保持することで、$O(n\log n)$ 空間計算量を達成する。
• 負の $t$-指数和を持つ入力に対しては、語を反転し、アルゴリズムを適用した後、出力を再反転する。このステップは線形時間で実行可能である。
• 出力の測地的語は標準形ではないが、入力に依存する測地的代表元であり、別途多項式時間の前処理ステップを用いれば標準形に変換可能である。