[論文レビュー] Graph Isomorphism in Quasipolynomial Time

László Babai|arXiv (Cornell University)|Dec 11, 2015

Complexity and Algorithms in Graphs参考文献 49被引用数 281

ひとこと要約

この論文は、グラフ同型性（GI）問題に対する準多項式時間アルゴリズムを提示しており、実行時間は $\exp((\log n)^{O(1)})$ である。これは、1983年にルクスが確立した $\exp(O(\sqrt{n\log n}))$ という従来の最良の上限よりも顕著に改善している。この手法は、特に『局所的証明』を用いて対称性の欠陥を検出する群論的技術と、組合せ論的正規分割を組み合わせており、ジョンソングラフが効率的な同型性テストを妨げる唯一の障害であることが特定されている。

ABSTRACT

We show that the Graph Isomorphism (GI) problem and the related problems of String Isomorphism (under group action) (SI) and Coset Intersection (CI) can be solved in quasipolynomial ($\exp((\log n)^{O(1)})$) time. The best previous bound for GI was $\exp(O(\sqrt{n\log n}))$, where $n$ is the number of vertices (Luks, 1983); for the other two problems, the bound was similar, $\exp( ilde{O}(\sqrt{n}))$, where $n$ is the size of the permutation domain (Babai, 1983). The algorithm builds on Luks's SI framework and attacks the barrier configurations for Luks's algorithm by group theoretic "local certificates" and combinatorial canonical partitioning techniques. We show that in a well-defined sense, Johnson graphs are the only obstructions to effective canonical partitioning. Luks's barrier situation is characterized by a homomorphism ϕ that maps a given permutation group $G$ onto $S_k$ or $A_k$, the symmetric or alternating group of degree $k$, where $k$ is not too small. We say that an element $x$ in the permutation domain on which $G$ acts is affected by ϕ if the ϕ-image of the stabilizer of $x$ does not contain $A_k$. The affected/unaffected dichotomy underlies the core "local certificates" routine and is the central divide-and-conquer tool of the algorithm.

研究の動機と目的

• グラフ同型性問題の最良の既知の上界と、その真の複雑さの推定値との間の長年のギャップを埋めること。
• 同型性テストにおける中心的課題、すなわち、大きな交換群や対称群の商を持つ置換群の取り扱いを解決すること。このような群は、効率的な正規分割を妨げる。
• ジョンソングラフが、同型性アルゴリズムにおける効果的な対称性削減を阻害する唯一の素性群であることを特定すること。
• ルクスのフレームワークに由来する群論的および組合せ論的技術を統合・拡張し、一貫性がありスケーラブルなアルゴリズム的構造を構築すること。
• ヒューリスティックな性能に依存せずに、厳密な複雑性解析を用いて、GI、SI、CI 問題の最悪ケース上界を提供すること。

提案手法

• 置換群 $G$ が $S_k$ や $A_k$ に射影されるホモモルフィズム $\varphi$ の下で、$A_k$ を含まない安定化群を持つ要素を区別するための『局所的証明』を導入する。
• 影響を受ける／受けていないという二分法に基づく分割統治戦略を用い、群作用を再帰的に精緻化し、正規構造を検出する。
• 『設計補題』を用いて $k$ 価関係を二価関係に還元し、一貫性のある配置における高価関係の効率的処理を可能にする。
• 局所的な非対称性からグローバルな不規則性を検出するために、Weisfeiler-Leman アルゴリズムを正規精錬のサブルーチンとして用いる。
• 『Split-or-Johnson』フレームワークを採用：構造が分割に抵抗する場合、必ず大きな正規埋め込みジョンソングラフを含む。
• 影響を受けていない安定化群の定理を活用し、大きな交換群商を持つ素性群における安定化群の構造を制御し、再帰の深さを有界に保つ。

実験結果

リサーチクエスチョン

• RQ1 グラフ同型性問題は準多項式時間で解けるか。その場合、置換群のどの構造的性質を活用する必要があるか？
• RQ2 ジョンソングラフは、効率的な同型性テストを妨げる役割を果たすが、それらは体系的に検出・処理可能か？
• RQ3 『局所的証明』による局所的対称性の欠陥をどのように集約し、グローバルな正規構造を生成するか。その際に、準多項式時間実行が保証されるか？
• RQ4 置換群における交換群商は、効率的な同型性テストの主な障壁を占めるか、その程度はいかほどか？
• RQ5 大きな位数を持つ素性群の群論的構造は、どのように特徴づけられるか。その特徴づけが、効率的な同型性解決を可能にするか？

主な発見

• グラフ同型性問題は、$n$ が頂点数であるとして、$\exp((\log n)^{O(1)})$ の準多項式時間で解ける。
• 群作用下の文字列同型性問題と、コセット積集合問題も、新しい境界と一致する準多項式時間で解ける。
• ジョンソングラフが、効果的な正規分割を妨げる唯一の素性群であることが特定され、これが効率的同型性テストの唯一の障害である。
• このアルゴリズムは、局所的証明を再帰的に適用して対称性欠陥を検出し、Split-or-Johnson フレームワークを用いて、分割またはジョンソン構造の同定を行うことで、その効率性を達成している。
• ルクス（1983年）の $\exp(O(\sqrt{n\log n}))$ の境界を、準多項式境界に置き換えることで、30年以上にわたる複雑性のギャップを埋めている。
• この手法は、大きな交換群商を持つ素性群における安定化群の構造的制御を可能にする、画期的な群論的補題（影響を受けていない安定化群の定理）に依存している。