[论文解读] 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）精炼与规范标记。该解法依赖于群论方法，以及利用一致配置和约翰逊构型对置换群进行递归分解。

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.

研究动机与目标

• 展示并分析巴尔加解决图同构问题的准多项式时间算法。
• 解释该算法如何通过群论与组合技术扩展卢克斯的有界度数同构算法。
• 阐明规范标记与魏斯费勒-莱曼精炼在将同构性测试简化为更简单子问题中的作用。
• 展示如何通过约翰逊构型与乘积结构实现递归分解，从而实现高效计算。
• 证明该算法的运行时间为 $\exp(O(\log n)^{O(1)})$，显著优于此前的最佳时间界 $\exp(O(\sqrt{n \log n}))$。

提出的方法

• 将图同构问题约化为在置换群作用下对有限字母表上字符串的同构问题。
• 采用魏斯费勒-莱曼算法对顶点对进行着色精炼，生成规范不变量，有助于区分非同构图。
• 通过约翰逊构型与乘积结构，对置换群进行递归分解，划分为本原与非本原成分。
• 应用 Coupe-Or-Johnson 算法，识别出 $\operatorname{Alt}_{s_1} \wr \operatorname{Alt}_{s_2}$ 乘积结构，或缩减至更小的对称群。
• 采用规范标记技术，确保算法中选择的一致性，避免引入指数级膨胀。
• 通过考虑递归调用与群运算成本的递推关系，对运行时间进行绑定，最终证明其为准多项式时间。

实验结果

研究问题

• RQ1 图同构问题是否可在准多项式时间内求解，即 $\exp(O(\log n)^{O(1)})$？
• RQ2 如何利用魏斯费勒-莱曼精炼与规范标记，将同构性测试约化为更简单的群论子问题？
• RQ3 一致配置与约翰逊构型在对置换群进行分解以实现高效同构性测试中扮演何种角色？
• RQ4 巴尔加的算法如何改进卢克斯的有界度数算法，以及此前最佳时间界 $\exp(O(\sqrt{n \log n}))$？
• RQ5 通过乘积结构与自同构群分析对置换群进行递归分解，能否导致准多项式时间解法？

主要发现

• 图同构问题可在时间 $\exp(O(\log n)^3)$ 内求解，属于准多项式时间。
• 该算法将同构性测试约化为在置换群作用下对字符串同构的问题，利用规范着色与群作用。
• 使用魏斯费勒-莱曼精炼可高效检测非同构性，通过不变量比较实现。
• 基于约翰逊构型与乘积群分解的算法递归结构，确保递归调用次数保持在准多项式因子范围内。
• 运行时间分析表明，通过以有界乘法因子 $m^{O(\log n)}$ 精确控制非规范选择，算法避免了指数级膨胀。
• 该结果解决了理论计算机科学中一个长期悬而未决的开放问题，将最佳已知时间界从 $\exp(O(\sqrt{n \log n}))$ 提升至 $\exp(O(\log n)^3)$。