[論文レビュー] Graph isomorphisms in quasi-polynomial time

H. A. Helfgott, Jitendra Bajpai+1 more|arXiv (Cornell University)|Oct 12, 2017

Advanced Graph Theory Research参考文献 8被引用数 21

ひとこと要約

この論文は、群論的技法と正規色割り当てを活用することで、exp(O((log n)^O(1)))の実行時間でグラフ同型性問題を解く、準多項式時間のアルゴリズムを提示している。この解決策は、ルクスの有界次数用多項式時間アルゴリズムに裏打ちされており、正規ラベル付けと局所的対称性低減の新しい枠組みを用いることで、画期的な結果を達成している。

ABSTRACT

Let us be given two graphs $Γ_1$, $Γ_2$ of $n$ vertices. Are they isomorphic? If they are, the set of isomorphisms from $Γ_1$ to $Γ_2$ can be identified with a coset $H\cdotπ$ inside the symmetric group on $n$ elements. How do we find $π$ and a set of generators of $H$? The challenge of giving an always efficient algorithm answering these questions remained open for a long time. Babai has recently shown how to solve these problems -- and others linked to them -- in quasi-polynomial time, i.e. in time $\exp\left(O(\log n)^{O(1)} ight)$. His strategy is based in part on the algorithm by Luks (1980/82), who solved the case of graphs of bounded degree.

研究の動機と目的

• すべてのグラフに対して効率的なアルゴリズムを用いてグラフ同型性を決定するという、長年の未解決問題を解決すること。
• 有界次数グラフ用のルクスの多項式時間アルゴリズムを一般のグラフへ拡張すること。
• 群作用を介して効率的な同型性テストを可能にする正規ラベル付けのフレームワークを構築すること。
• 対称群作用を用いてグラフ同型性問題を文字列同型性問題に還元すること。
• 従来のexp(O(√(n log n)))から、exp(O((log n)^O(1)))への実行時間の向上を達成すること。

提案手法

• 辺のペアに対する群作用を介して、グラフ同型性問題を文字列同型性問題に還元する。
• 非同型性を検出および探索空間を縮小するために、頂点および辺の正規色割当てを用いる。
• 近傍構造に基づいて色割当てを反復的に精錬する、ワイスフェーラー＝レーマンの精錬プロセスを採用する。
• 安定化子鎖と局所的対称性低減を用いた分割統治戦略を適用する。
• 自己同型群の構造と軌道型に基づく再帰的分解を実装する。
• 高次元の頂点を処理し、準多項式時間の維持を可能にする、新しい「折りたたみ」と「分割」の概念を導入する。

実験結果

リサーチクエスチョン

• RQ1 すべてのグラフに対して、グラフ同型性問題が準多項式時間で解けるか？
• RQ2 正規色割当ては、同型性の探索空間を効率的に制限するためにどのように利用できるか？
• RQ3 置換群のどのような構造的性質が、効率的な同型性テストを可能にするか？
• RQ4 グラフ同型性問題の時間計算量を、従来のexp(O(√(n log n)))の境界を超えて改善できるか？
• RQ5 群論的ツールを用いて、ルクスの有界次数アルゴリズムを任意のグラフへ一般化できるか？

主な発見

• グラフ同型性問題は、具体的にはexp(O((log n)^O(1)))時間で解ける準多項式時間で解ける。
• 対称群作用を介して、グラフ同型性問題は辺集合に対する文字列同型性問題に還元される。
• 近傍構造と距離情報に基づく正規色割当てにより、同型性候補の効果的な削減が可能になる。
• ルクスによる従来の最良境界exp(O(√(n log n)))よりも顕著な向上が達成された。
• 再帰的分解と安定化子鎖を用いることで、あらゆるグラフタイプにおいて効率性が維持される。
• 初期の時間解析における誤りが修正された後、アルゴリズムの正しさが検証され、準多項式実行時間であることが確認された。