[论文解读] A Polynomial Time Algorithm for Graph Isomorphism

Reiner Czerwinski|arXiv (Cornell University)|Nov 13, 2007

Algorithms and Data Compression参考文献 2被引用 7

一句话总结

本文批判了一项声称可在多项式时间内解决图同构问题的算法，指出其存在缺陷，原因在于该算法仅检查邻接矩阵是否具有相同的特征值。作者表明，非同构图——特别是强正则图 SRG(36,14,4,6)——可能具有相同的特征值，从而否定了该算法的核心前提。

ABSTRACT

We claimed that there is a polynomial algorithm to test if two graphs are isomorphic. But the algorithm is wrong. It only tests if the adjacency matrices of two graphs have the same eigenvalues. There is a counterexample of two non-isomorphic graphs with the same eigenvalues.

研究动机与目标

• 评估声称的图同构多项式时间算法的有效性。
• 识别该算法依赖于特征值比较的核心缺陷。
• 通过构造反例证明，仅凭特征值等价不足以判定图同构。
• 强调谱不变量在区分非同构图方面的局限性。

提出的方法

• 分析原始算法声称同构图必须具有相同特征值的论断。
• 应用强正则图（SRG）理论，构造具有相同特征值的反例。
• 使用 SRG(n,k,a,c) 参数化方法定义具有固定参数的图：n=36, k=14, a=4, c=6。
• 利用已知数学结论：所有属于 SRG(n,k,a,c) 的图均具有相同的特征值。
• 确认在 SRG(36,14,4,6) 中存在 180 对两两非同构的图，且全部具有相同的谱特征。
• 确立特征值相等并不意味着图同构，从而否定了该算法的理论基础。

实验结果

研究问题

• RQ1 两个非同构图是否可能具有完全相同的邻接矩阵特征值？
• RQ2 特征值比较是否是图同构的充分条件？
• RQ3 强正则图在构造谱同构测试反例中起什么作用？
• RQ4 在 SRG(36,14,4,6) 类中，存在多少对具有相同谱特征的非同构图？
• RQ5 为何原始算法尽管正确识别了同构的必要条件，却仍然失败？

主要发现

• 所提出的算法是错误的，因为它仅依赖于特征值比较，而特征值等价并非图同构的充分条件。
• 存在具有相同特征值的非同构图，从而否定了该算法的核心假设。
• 具体而言，在 SRG(36,14,4,6) 类中存在 180 对两两非同构的图，全部具有相同的特征值。
• 特征值谱是图同构的必要条件，但不是充分条件。
• 具有相同参数（n,k,a,c）的强正则图必然具有相同的特征值，无论其是否同构。
• 该反例表明，仅靠谱不变量无法在一般图中区分同构性。