[论文解读] Isomorph-free generation of 2-connected graphs with applications

Derrick Stolee|arXiv (Cornell University)|Apr 27, 2011

Distributed and Parallel Computing Systems参考文献 23被引用 8

一句话总结

本文提出了一种基于耳扩张和规范删除的无同构生成方法，用于生成2-连通图，实现了对耳单调性质的高效搜索。该技术验证了所有顶点数不超过12的2-连通图的边重构猜想，并识别出所有顶点数不超过12的唯一$K_4$-饱和图，支持了现有猜想。

ABSTRACT

Many interesting graph families contain only 2-connected graphs, which have ear decompositions. We develop a technique to generate families of unlabeled 2-connected graphs using ear augmentations and apply this technique to two problems. In the first application, we search for uniquely K_r-saturated graphs and find the list of uniquely K_4-saturated graphs on at most 12 vertices, supporting current conjectures for this problem. In the second application, we verifying the Edge Reconstruction Conjecture for all 2-connected graphs on at most 12 vertices. This technique can be easily extended to more problems concerning 2-connected graphs.

研究动机与目标

• 开发一种利用其耳分解结构的无同构生成方法，用于2-连通图。
• 将该方法应用于验证所有顶点数不超过12的2-连通图的边重构猜想。
• 搜索并枚举所有顶点数不超过12的唯一$K_4$-饱和图。
• 通过利用耳单调性质和规范删除，减少计算开销，避免同构重复。
• 将该方法扩展至其他涉及具有结构约束的2-连通图的问题。

提出的方法

• 该方法使用耳扩张——在已有顶点之间添加路径——从环开始逐步构建2-连通图。
• 应用 McKay 的规范删除技术，确保每个同构类仅被生成一次。
• 通过基于不变量（包括度序列和边删除子图的规范字符串）选择唯一耳删除，执行规范删除。
• 将搜索空间限制在边数不超过$1 + \big\lfloor \log_2(n!) \big\rfloor$的图中，因为这些图已被证明是边可重构的。
• 通过三级比较进行同构检查：度序列、自定义可重构不变量，以及边删除子图的规范字符串排序。
• 实现采用并发机制，并针对具有结构约束的2-连通图的大规模生成进行了优化。

实验结果

研究问题

• RQ1 所有顶点数不超过12的2-连通图是否都是边可重构的？
• RQ2 所有顶点数不超过12的唯一$K_4$-饱和图有哪些？
• RQ3 耳扩张和规范删除能否高效生成具有耳单调性质的2-连通图？
• RQ4 无同构生成技术是否显著降低了结构化图族的计算开销？
• RQ5 该方法能否扩展至其他涉及具有特定结构约束的2-连通图的问题？

主要发现

• 通过全面计算验证，边重构猜想对所有顶点数不超过12的2-连通图均成立。
• 所有顶点数不超过12的唯一$K_4$-饱和图均被成功枚举，支持了该图族的现有猜想。
• 对于$N=12$的计算耗时约10年CPU时间，共处理了25,615,152,888个图，证实了该方法的可扩展性。
• 未发现任何一对图同时满足全部三项同构检查（度序列、不变量和规范字符串），表明同构过滤中无误报。
• 通过聚焦于边数不超过$1 + \lfloor \log_2(n!) \rfloor$的稀疏图，该方法显著减少了边牌分析中的成对比较次数。
• 该技术具有通用性且对其他耳单调性质有效，如在边重构和$K_r$-饱和图问题中的成功应用所示。