[论文解读] Graph Isomorphism for unit square graphs

Daniel Neuen|arXiv (Cornell University)|Feb 26, 2016

Advanced Graph Theory Research参考文献 23被引用 4

一句话总结

本文提出了一种针对单位正方形图（即平面上轴对齐单位正方形的交集图）的图同构问题的多项式时间算法。通过结合关于邻域结构的几何洞察与群论技术，特别是将Luks算法扩展以处理8-圆有界自同构群，作者实现了无需依赖规范实现的同构测试，而这是不可能的，因为识别问题是NP难的。

ABSTRACT

In the past decades for more and more graph classes the Graph Isomorphism Problem was shown to be solvable in polynomial time. An interesting family of graph classes arises from intersection graphs of geometric objects. In this work we show that the Graph Isomorphism Problem for unit square graphs, intersection graphs of axis-parallel unit squares in the plane, can be solved in polynomial time. Since the recognition problem for this class of graphs is NP-hard we can not rely on standard techniques for geometric graphs based on constructing a canonical realization. Instead, we develop new techniques which combine structural insights into the class of unit square graphs with understanding of the automorphism group of such graphs. For the latter we introduce a generalization of bounded degree graphs which is used to capture the main structure of unit square graphs. Using group theoretic algorithms we obtain sufficient information to solve the isomorphism problem for unit square graphs.

研究动机与目标

• 解决单位正方形图的图同构问题的复杂性，这是矩形交集图的一种自然限制。
• 通过研究结构相似但更易处理的类，解决单位圆图同构的开放问题。
• 开发一种绕过规范实现的方法，由于识别问题是NP难的，因此必须如此；该方法依赖于内在的结构与群论不变量。
• 为解决其他几何图类（如单位网格交集图和高维$L_\infty$-实现）中的同构问题提供基础。

提出的方法

• 该算法构建了一个规范的团划分，以捕捉顶点和团周围的局部几何结构。
• 利用几何性质，规范地提取顶点和团周围邻居的环形排列，模仿平面上的循环排列。
• 通过广义有界度框架分析自同构群，特别是$\Gamma_8$-群，其捕捉了单位正方形图中独立邻居的有界数量。
• 应用群论算法，包括集合稳定子计算，通过分析自同构群在规范划分上的作用来确定同构性。
• 该方法通过依赖同构不变的结构特征（如团划分和邻域对称性）避免了规范几何实现。
• 该算法利用了关于本原群和多项式有界最大阶数的已知结果，以确保多项式时间复杂度。

实验结果

研究问题

• RQ1 尽管识别问题是NP难的，单位正方形图的图同构问题是否能在多项式时间内求解？
• RQ2 单位正方形图的自同构群是否能被规范地分解为捕捉其结构对称性的$\Gamma_8$-群？
• RQ3 由于识别问题是NP难的，是否可以在不构造几何实现的情况下实现同构测试？
• RQ4 该方法是否可扩展至其他几何图类，如单位网格交集图或高维$L_\infty$-实现？
• RQ5 对于足够大的$k$，$k$-维Weisfeiler-Leman算法是否能识别所有单位正方形图？

主要发现

• 单位正方形图的图同构问题可多项式时间求解，解决了几何图论中的一个开放问题。
• 该算法通过构建同构不变的团划分，并利用$\Gamma_8$-群结构分析自同构群来实现此目标。
• 该方法通过依赖内在几何与群论不变量避免了规范实现，这在识别问题为NP难的背景下至关重要。
• 运行时间是多项式时间，主要由$\Gamma_8$-群中的集合稳定子计算主导，其最大阶数为多项式有界。
• 该方法为单位正方形图自同构群的结构提供了深刻见解，尤其在存在孤立顶点时。
• 结果表明，该方法为解决相关类（如单位网格交集图和高维$L_\infty$-实现）的同构问题提供了可行路径。