[論文レビュー] An Asymptotically Fast Polynomial Space Algorithm for Hamiltonicity Detection in Sparse Directed Graphs

Andreas Björklund|arXiv (Cornell University)|Sep 24, 2020

Markov Chains and Monte Carlo Methods参考文献 22被引用数 1

ひとこと要約

この論文は、スパースな有向グラフにおけるハミルトン閉路の検出に、2ⁿ⁻Ω(ⁿ/δ) 時間で動作する多項式空間のモンテカルロアルゴリズムを提示する。これは、最も高速な既知の指数的空間アルゴリズムの漸近的高速化と一致する。本手法は、ラプラシアン行列を用いた包含除外によるフィンガープrintと、Z₂ 上の線形方程式系のふnowingを組み合わせ、指数的空間を用いずに非ゼロ項を効率的に列挙することで、従来の多項式空間手法に比べて顕著な実行時間の改善を達成する。

ABSTRACT

We present a polynomial space Monte Carlo algorithm that given a directed graph on $n$ vertices and average outdegree $δ$, detects if the graph has a Hamiltonian cycle in $2^{n-Ω(\frac{n}δ)}$ time. This asymptotic scaling of the savings in the running time matches the fastest known exponential space algorithm by Björklund and Williams ICALP 2019. By comparison, the previously best polynomial space algorithm by Kowalik and Majewski IPEC 2020 guarantees a $2^{n-Ω(\frac{n}{2^δ})}$ time bound. Our algorithm combines for the first time the idea of obtaining a fingerprint of the presence of a Hamiltonian cycle through an inclusion--exclusion summation over the Laplacian of the graph from Björklund, Kaski, and Koutis ICALP 2017, with the idea of sieving for the non-zero terms in an inclusion--exclusion summation by listing solutions to systems of linear equations over $\mathbb{Z}_2$ from Björklund and Husfeldt FOCS 2013.

研究の動機と目的

• スパースな有向グラフにおけるハミルトニアン性検出の指数的空間アルゴリズムと多項式空間アルゴリズムの間のギャップを埋めること。
• 最も高速な既知の指数的空間アルゴリズムと同等の漸近的実行時間の改善（2ⁿ⁻Ω(ⁿ/δ)）を達成しながら、多項式空間のみを用いること。
• 表形式の代わりに Z₂ 上での効率的な項列挙を用いることで、指数的空間手法の実用的で並列化可能な代替手段を提供すること。
• ハミルトン閉路検出における高速化が、指数的空間の使用に本質的に依存しているわけではないことを示すこと。

提案手法

• ハミルトン閉路の存在を検出するために、ラプラシアン行列を用いた包含除外の和に基づくフィンガープリント技術を用いる。
• 包含除外の和における非ゼロ寄与項を特定するために、Z₂ 上で線形方程式系を解くふnowing法を適用する。
• 非自明な項を確率的に分離するために、点 z およびパリティベクトル q のランダムサンプリングを実施する。
• 頂点部分集合とパリティ制約から導かれる線形方程式系 E(y*, p) を解くことで、y: V\{t} → {0,1} の寄与する割り当てを生成する。
• 全リストを保存せずに、1つずつ解を列挙するストリーミングアプローチを用い、多項式空間の使用を保証する。
• 生成された項の数が期待値の n 倍を超えた場合に拒否機構を適用することで、期待される実行時間の上限を保証する。

実験結果

リサーチクエスチョン

• RQ1 ハミルトニアン性検出における 2ⁿ⁻Ω(ⁿ/δ) 時間の高速化は、多項式空間のみを用いて達成可能か？
• RQ2 従来の高速アルゴリズムにおける指数的空間の要件は、この高速化を達成するために本質的であるか？
• RQ3 ラプラシアン行列を用いた包含除外フィンガープリントと、Z₂ 上での線形方程式系の列挙を組み合わせることで、多項式空間での計算が可能になるか？
• RQ4 得られるアルゴリズムは実用的かつ並列化可能か？
• RQ5 確率的処理を用いることで、漸近的実行時間性能に影響を与えることなく、空間計算量を顕著に削減可能か？

主な発見

• アルゴリズムは多項式空間を用いながらも 2ⁿ⁻Ω(ⁿ/δ) 時間で実行され、最も高速な既知の指数的空間アルゴリズムと漸近的に一致する実行時間性能を達成する。
• 寄与する項の割り当ての期待数は 2ⁿ⁻Ω(ⁿ/δ) で抑えられており、これがアルゴリズムの実行時間の主な要因である。
• 誤って負の結果を返す確率は最大で 2/n であり、100 log n 回の独立な繰り返しにより無視できるほどに低下する。
• すべての解を表形式で保持する代わりに、Z₂ 上の線形方程式系のストリーミングによる即時列挙を用いることで、指数的空間を回避する。
• アルゴリズムは非常に並列化可能であり、和の独立部分を並列に計算し、最後に結合することで実現できる。
• 従来のアルゴリズムで必要とされる表形式の代わりに、包含除外と Z₂ 上の線形代数の新規な組み合わせを用いることで、成功裏に代替可能である。