[论文解读] 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))) 的运行时间。该解法基于 Luks 的有界度数算法，并引入了一套新颖的规范标记与局部对称性约减框架，从而取得了突破性成果。

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.

研究动机与目标

• 解决长期悬而未决的高效图同构判定算法问题。
• 将 Luks 针对有界度数图的多项式时间算法推广至一般图。
• 构建一种规范标记框架，通过群作用实现高效的同构性测试。
• 通过对称群作用将图同构问题约化为字符串同构问题。
• 将图同构问题的时间复杂度从 exp(O(√(n log n))) 提升至 exp(O((log n)^O(1)))

提出的方法

• 通过在边对上施加群作用，将图同构问题约化为字符串同构问题。
• 采用顶点与边的规范着色以检测非同构性并剪枝搜索空间。
• 利用 Weisfeiler-Leman 精化过程，基于邻域结构迭代精化着色。
• 采用基于稳定子链与局部对称性约减的分治策略。
• 基于自同构群的结构与轨道类型实施递归分解。
• 引入图的“折叠”与“分裂”新概念，以处理高阶顶点并保持准多项式时间复杂度

实验结果

研究问题

• RQ1 图同构问题是否可在所有图上以准多项式时间求解？
• RQ2 如何利用规范着色高效限制同构性的搜索空间？
• RQ3 置换群的何种结构特性可支持高效的同构性测试？
• RQ4 图同构问题的时间复杂度能否超越此前的 exp(O(√(n log n))) 上限？
• RQ5 如何利用群论工具将 Luks 的有界度数算法推广至任意图？

主要发现

• 图同构问题可在准多项式时间内求解，具体为 exp(O((log n)^O(1))) 时间。
• 该算法通过在边集上施加对称群作用，将图同构问题约化为字符串同构问题。
• 基于邻域结构与距离信息的规范着色可有效剪枝同构候选。
• 该方法因 Luks 的先前最优界 exp(O(√(n log n))) 的显著改进而取得突破。
• 算法通过递归分解与稳定子链的结合，在所有图类型中保持高效性。
• 该算法在初始时间分析出现错误后经验证与修复，确认其具备准多项式时间复杂度。