[论文解读] Graph equivalence and characterization via a continuous evolution of a physical analog

Vladimir Gudkov, S. Nussinov|arXiv (Cornell University)|Sep 4, 2002

Graph theory and applications参考文献 3被引用 11

一句话总结

本文提出了一种新颖的连续动力系统，将图等价性和特征刻画问题映射到n维空间中n−1维单纯形的物理演化过程。通过从吸引/排斥势能导出的最速下降力演化顶点位置，该方法在多项式时间内识别图同构关系和不变量，展示了在100个顶点的随机图中通过距离矩阵对应关系实现排列映射的精确恢复和等价性检测。

ABSTRACT

A general novel approach mapping discrete, combinatorial, graph-theoretic problems onto ``physical'' models - namely $n$ simplexes in $n-1$ dimensions - is applied to the graph equivalence problem. It is shown to solve this long standing problem in polynomial, short, time.

研究动机与目标

• 以多项式时间高效求解长期存在的图同构问题，避免穷举排列测试。
• 开发一种物理类比模型，通过对称单纯形的几何形变编码图结构。
• 识别图的不变特征（如互信息和距离矩阵），以实现同构检测。
• 证明连续、确定性动力学可避免局部极小值，产生唯一且可重复的图表示。
• 提供一种构造性方法，当两图同构时，显式恢复将一个图映射到另一个图的排列矩阵。

提出的方法

• 将每个图的邻接矩阵映射为(n−1)维空间中所有初始顶点距离相等的对称n-单纯形。
• 定义一个基于一阶亚里士多德动力学的物理模型，其中力由成对势能产生：连接顶点间为吸引力，非连接顶点间为排斥力。
• 强制所有顶点位置保持在单位球面上，以防止坍塌或发散运动，从而保持几何约束。
• 使用小时间步长δ对连续动力学进行离散化，通过在势能景观上执行最速下降来更新顶点位置。
• 将顶点间生成的距离矩阵用作图不变量，以供比较和同构检测。
• 对两图G和G′应用相同的动力学演化；若同构，则其距离矩阵将完全匹配，从而可恢复排列矩阵。

实验结果

研究问题

• RQ1 能否通过连续物理类比而非离散的组合搜索，在多项式时间内确定图同构？
• RQ2 在单纯形上的连续动力系统能否唯一编码图结构，并通过不变几何特征检测同构？
• RQ3 势能景观中无局部极小值是否能确保同构图收敛至唯一且物理上有意义的配置？
• RQ4 互信息和距离矩阵能否作为充分不变量，以区分非同构图并重构排列映射？
• RQ5 能否从其物理类比的动力学演化中显式恢复出两个同构图之间的排列矩阵？

主要发现

• 该方法在多项式时间内解决了图等价性问题，避免了测试全部n!种排列的指数级开销。
• 对于平均度为7的100个顶点的随机图，该算法仅通过距离矩阵对应关系，成功从重排版本中恢复了原始邻接矩阵。
• 在相同动力学下演化出的两个同构图的距离矩阵被发现完全一致，证实了该方法的一致性。
• 成功显式重构了将重排矩阵恢复为原始矩阵的排列矩阵，验证了该方法的重构能力。
• 互信息度量被证明足以区分最低阶的同谱图，表明其作为初步不变量的实用性。
• 由于势能函数中不存在内部极值点，系统动力学避免了局部极小值，确保收敛至唯一全局配置。