[論文レビュー] Isomorphismes de graphes en temps quasi-polynomial (d'après Babai et Luks, Weisfeiler-Leman...)

H. A. Helfgott|arXiv (Cornell University)|Jan 16, 2017

Geometric and Algebraic Topology被引用数 3

ひとこと要約

この論文は、László Babaiの画期的な結果を要約しており、グラフ同型性問題が、具体的には $\exp(O(\log n)^{O(1)})$ の時間で解けることが示されている。この結果は、Luksの有界次数アルゴリズムの技術を拡張し、Weisfeiler-Lemanの精錬と正規化ラベル付けを組み込むことで達成された。解法の根幹には群論的手法と、 coherent configurations と Johnson スキームを用いた置換群の再帰的分解がある。

ABSTRACT

Soient donnés deux graphes $Γ_1$, $Γ_2$ à $n$ sommets. Sont-ils isomorphes? S'ils le sont, l'ensemble des isomorphismes de $Γ_1$ à $Γ_2$ peut être identifié avec une classe $H π$ du groupe symétrique sur $n$ éléments. Comment trouver $π$ et des générateurs de $H$? Le défi de donner un algorithme toujours efficace en réponse à ces questions est resté longtemps ouvert. Babai a récemment montré comment résoudre ces questions -- et d'autres qui y sont liées -- en temps quasi-polynomial, c'est-à-dire en temps $\exp(O(\log n)^{O(1)})$. Sa stratégie est basée en partie sur l'algorithme de Luks (1980/82), qui a résolu le cas de graphes de degré borné. English translation: Graph isomorphisms in quasipolynomial time [after Babai and Luks, Weisfeiler--Leman,...]. Let $Γ_1$, $Γ_2$ be two graphs with $n$ vertices. Are they isomorphic? If any isomorphisms from $Γ_1$ to $Γ_2$ exist, they form a coset $H π$ in the symmetric group on $n$ elements. How can we find a representative $π$ and a set of generators for $H$? Finding an algorithm that answers such questions efficiently (in all cases) is a challenge that has long remained open. Babai has recently shown how to solve these problems and related ones in quasipolynomial time, i.e., time $\exp(O(\log n)^{O(1)})$. His strategy is based in part on an algorithm due to Luks (1980/82), who solved the case of graphs of bounded degree.

研究の動機と目的

• グラフ同型性問題を解く Babai の準多項式時間アルゴリズムを提示・分析すること。
• 群論的および組合せ的技法を用いて、Luksの有界次数同型性アルゴリズムをどのように拡張したかを説明すること。
• 正規化ラベル付けと Weisfeiler-Leman 精錬が、同型性テストをより単純な部分問題に還元する役割を明確にすること。
• Johnson スキームと積構造による再帰的分解が、計算を効率化する仕組みであることを示すこと。
• アルゴリズムが時間 $\exp(O(\log n)^{O(1)})$ で実行されることを確立すること。これは、以前の最良の境界 $\exp(O(\sqrt{n \log n}))$ より顕著に改善されている。

提案手法

• 置換群の作用の下での有限アルファベット上の文字列の同型性問題に、グラフ同型性問題を還元する。
• Weisfeiler-Leman アルゴリズムを用いて、頂点ペアの色分けを精錬し、非同型なグラフを区別するための正規化不変量を生成する。
• Johnson スキームと積構造を用いて、置換群の再帰的分解を、原始的および非原始的成分に分ける。
• Coupe-Or-Johnson アルゴリズムを適用し、$\operatorname{Alt}_{s_1} \wr \operatorname{Alt}_{s_2}$ の積構造か、より小さい対称群への還元を特定する。
• 選択肢が一貫的であり、指数的膨張を引き起こさないよう、正規化ラベル付け技術を用いる。
• 再帰的呼び出しと群演算のコストを考慮した再帰関係を用いて実行時間を束縛し、最終的に準多項式時間であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 グラフ同型性問題は、すなわち $\exp(O(\log n)^{O(1)})$ の時間で解けるのか？
• RQ2 Weisfeiler-Leman 精錬と正規化ラベル付けは、同型性テストをより単純な群論的部分問題にどのように還元できるか？
• RQ3 coherent configurations と Johnson スキームは、効率的な同型性テストのための置換群の分解において果たす役割は何か？
• RQ4 Babaiのアルゴリズムは、Luksの有界次数アルゴリズムと、以前の最良の境界 $\exp(O(\sqrt{n \log n}))$ よりどのように改善しているか？
• RQ5 積構造と自己同型群の解析による置換群の再帰的分解は、準多項式時間解法に至る道筋を提供できるか？

主な発見

• グラフ同型性問題は、時間 $\exp(O(\log n)^3)$ で解ける。これは準多項式時間である。
• アルゴリズムは、正規化色分けと群作用を活用することで、置換群の作用の下での文字列同型性問題に同型性テストを還元する。
• Weisfeiler-Leman 精錬の使用により、不変量の比較によって非同型性の効率的検出が可能になる。
• Johnson スキームと積群分解に基づく再帰的構造のおかげで、再帰的呼び出しの回数が準多項式的要因で抑えられる。
• 実行時間の解析により、非正規化選択を $m^{O(\log n)}$ の有界乗法的係数で管理することで、指数的膨張を回避していることが示された。
• この結果は、理論的コンピュータ科学における長年の未解決問題を解決し、最良の時間境界を $\exp(O(\sqrt{n \log n}))$ から $\exp(O(\log n)^3)$ に改善した。