[論文レビュー] Finding paths of length k in O*(2^k) time

Ryan Williams|arXiv (Cornell University)|Jul 18, 2008

Algorithms and Data Compression参考文献 11被引用数 16

ひとこと要約

この論文は、$k$-path問題に対する既存の指数時間の境界を改善する、$O^*(2^k)$時間で長さ$k$の単純なパスを発見する確率的アルゴリズムを提示する。$GF(2^\ell)[\mathbb{Z}_2^k]$ 上の群代数構造とシュワーツ・ジッペルの補題による多項式恒等式検証を活用することで、$k$-walk多項式内の多変数項を検出する。$k$-pathが存在する場合、成功確率は少なくとも$1/5$である。

ABSTRACT

We give a randomized algorithm that determines if a given graph has a simple path of length at least k in O(2^k poly(n,k)) time.

研究の動機と目的

• 入力に$k$が含まれる場合にNP完全となる$k$-path問題に対するより高速なアルゴリズムの開発。
• 従来の$O^*(c^k)$のような指数的依存性を、$O^*(2^k)$にまで低減させ、ハミルトンパスの実行時間と一致させる。
• $k$-pathの存在を検出する確率的アルゴリズムを、定数の成功確率（$\geq 1/5$）で提供すること。
• 存在する場合に実際に$k$-pathを構築するための再帰的パス回復法を用いて、そのアプローチを拡張すること。
• アルゴリズムの非確率化や、Short Cheap Tour問題のような重み付きバージョンへの拡張の可能性の探求。

提案手法

• 長さ$k$のウォークを符号化するため、$P_k(x_1,\dots,x_n) = \vec{\mathbf{1}} \cdot B^{k-1} \cdot \vec{x}$ として$k$-ウォーク多項式を表現する。ここで$B[i,j] = A[i,j]x_i$ である。
• 各変数に対して、$\mathbb{Z}_2^k$ 内のランダムベクトル$v_i \in \mathbb{Z}_2^k$ を用いて、群代数$GF(2^\ell)[\mathbb{Z}_2^k]$ への変数のマッピングを行い、各変数について$W_0 + v_i$ で$P'$ を評価する。
• 変数$v_j$ が$GF(2)$上で線形独立である場合、$\prod_{j=1}^k (W_0 + v_j) = \sum_{v \in \mathbb{Z}_2^k} v$ となる性質を用い、多変数項の検出を可能にする。
• シュワーツ・ジッペルの補題を適用し、ランダム代入による係数の和が0になる確率を抑え、$k$-pathが存在する場合に0でない評価が得られる確率が少なくとも$1/5$であることを保証する。
• 頂点を再帰的に削除し、繰り返し$k$-path検出を実行することで、実際にパスを構築する。この方法により、高確率で$O^*(2^k)$の実行時間のまま保たれる。
• $k$-パスが$P_k$内の多変数単項式に対応することに着目し、代数的構造を活用して効率的にそれらを特定する。

実験結果

リサーチクエスチョン

• RQ1 代数的技法と確率的多項式恒等式検証を用いて、$O^*(2^k)$時間で$k$-path問題を解くことは可能か？
• RQ2 $O^*(2^k)$の実行時間のまま、$k$-pathの検出に少なくとも$1/5$の成功確率を達成することは可能か？
• RQ3 確率的アルゴリズムを、単に存在の検出にとどまらず、実際に$k$-パスを構築するように拡張することは可能か？
• RQ4 $GF(2^\ell)[\mathbb{Z}_2^k]$ 上の群代数に基づく代数的アプローチは、従来の手法よりもタイトな実行時間境界を可能にするか？
• RQ5 このアルゴリズムは非確率化可能か、あるいはShort Cheap Tour問題のような重み付きグラフに適応可能か？

主な発見

• 本論文は、$O^*(2^k)$時間でグラフ内に$k$-パスが存在するかを検出するアルゴリズムを達成し、$O^*(2.83^k)$ や $O^*(5.44^k)$ といった従来の境界を改善した。
• $k$-パスが存在する場合、確率的に少なくとも$1/5$の確率で成功し、存在しない場合は常に「いいえ」と返す。この手法は、群代数におけるランダム評価を用いる。
• ウォークを多項式として符号化し、$\mathbb{Z}_2^k$ 内の線形独立性を利用したランダムな群代数要素への評価によって多変数項を検出する。
• 成功確率は、$GF(2)^k$ 内の$k$個のランダムベクトルが線形独立である確率（$\geq 1/4$）と、係数の和が0とならない確率（$\geq 1 - 1/8$）の積に基づく。全体として$>1/5$の確率が得られる。
• 再帰的頂点削除と繰り返しの$k$-パス検出を用いることで、$O^*(2^k)$時間で実際に$k$-パスを構築するアルゴリズムが可能であり、総実行時間は$O^*(2^k)$で抑えられる。
• この結果は、さらなる改善にはNP困難問題に対するアルゴリズムの飛躍的進歩が不可欠であることを示唆しており、ハミルトンパス検出が$O^*(2^n)$であるのと同様に、$k=n$は特殊ケースである。