[论文解读] Diamond-free Degree Sequences

Alice Miller, Patrick Prosser|arXiv (Cornell University)|Aug 2, 2012

Computability, Logic, AI Algorithms参考文献 11被引用 4

一句话总结

本文提出一种两阶段约束规划模型，用于生成满足算术约束的所有无钻石图的度序列：非零度可被3整除，且总边数可被6整除。该方法首先利用算术约束和图实现性约束生成有效的度序列，然后通过对称性破缺和图约束检查是否存在无钻石实现，成功计算出 n=8 至 16 的所有此类序列，最长计算耗时约5分钟（n=16时）。

ABSTRACT

We introduce a new problem, CSPLib problem number 50, to generate all degree sequences that have a corresponding diamond-free graph with secondary properties. This problem arises naturally from a problem in mathematics to do with balanced incomplete block designs; we devote a section of this paper to this. The problem itself is challenging with respect to computational effort arising from the large number of symmetries within the models. We introduce two models for this problem. The second model is an improvement on the first, and this improvement largely consists of breaking the problem into two stages, the first stage producing graphical degree sequences that satisfy arithmetic constraints and the second part testing that there exists a graph with that degree sequence that is diamond-free.

研究动机与目标

• 生成所有满足特定算术约束的无钻石简单图的度序列：非零度可被3整除，总度数之和可被12整除。
• 解决此类图在搜索空间中高度对称带来的计算挑战。
• 支持在扩展Stinson算法以生成区组设计的背景下，对补图为无钻石图的4^s4结构进行分类。
• 为 n=8 至 16 提供经验证的度序列，以简化由区组设计算法产生的部分线性空间分类证明。
• 支持开发一种改进算法，即使在标准方法失效时，也能保证生成块大小为4的区组设计。

提出的方法

• 模型A采用单一约束规划公式，包含邻接矩阵变量、度约束和无钻石约束，但由于对称性和搜索空间过大而不可行。
• 模型B将问题分为两个阶段：第一阶段使用Havel-Hakimi算法生成满足算术约束和图实现性约束的度序列；第二阶段检查是否存在无钻石实现。
• 在第二阶段，使用邻接矩阵变量，并施加约束：每个4个顶点的子集至多有4条边（无钻石条件）。
• 通过在顶点度相等时对邻接矩阵的行施加字典序约束，实现静态对称性破缺。
• 通过度序、可被3整除性以及总和可被12整除的约束生成度序列。
• 所有解均通过独立程序进行验证，该程序在不使用约束规划的情况下检查图实现性、度序列正确性和无钻石性。

实验结果

研究问题

• RQ1 对于给定的 n，所有满足每个度可被3整除且总边数可被6整除的简单无钻石图的度序列是什么？
• RQ2 如何有效打破此类图搜索空间中的对称性以提高计算效率？
• RQ3 两阶段方法（先生成有效度序列，再检查无钻石实现）是否能显著优于单体约束模型？
• RQ4 当4^s4配置的补图无钻石时，其结构特性是什么？这些特性能否通过度序列进行分类？
• RQ5 结果能否用于修改Stinson算法，使其在标准算法失效时仍能保证生成块大小为4的区组设计？

主要发现

• 使用模型B成功计算出 n=8 至 n=16 的所有有效度序列，最长运行时间约为5分钟（n=16时）。
• 模型A因对称性过强和搜索空间过大而不可行，而模型B的两阶段设计显著提升了计算效率和对称性破缺能力。
• Havel-Hakimi算法被有效用于测试度序列的图实现性，确保仅将可实现的序列传递至第二阶段。
• 在度相等时通过邻接矩阵行的字典序实现静态对称性破缺，显著减少了搜索空间并提升了性能。
• 所有计算出的度序列均通过独立程序验证，确认了图实现性、度序列正确性和无钻石性。
• 结果正被用于简化对补图为无钻石图的4^s4结构分类的证明，特别是最大块数为1或0的情况。