[论文解读] Merging Combinatorial Design and Optimization: the Oberwolfach Problem

Fabio Salassa, Gabriele Dragotto+3 more|arXiv (Cornell University)|Mar 28, 2019

graph theory and CDMA systems参考文献 21被引用 7

一句话总结

本文提出了一种组合设计理论与优化相结合的创新方法，解决了所有奇数阶至60的奥伯沃尔夫问题（OP）。通过将差分方法建模为约束规划（CP）和整数规划（IP），作者在个人计算机上每实例的求解时间均低于5秒，显著优于以往依赖高性能计算集群的方法，实现了241,200个新实例的发现，并发现了1-旋转解存在的新必要条件。

ABSTRACT

The Oberwolfach Problem $OP(F)$ -- posed by Gerhard Ringel in 1967 -- is a paradigmatic Combinatorial Design problem asking whether the complete graph $K_v$ decomposes into edge-disjoint copies of a $2$-regular graph $F$ of order $v$. In this paper, we provide all the necessary equipment to generate solutions to $OP(F)$ for relatively small orders by using the so-called difference methods. From the theoretical standpoint, we present new insights on the combinatorial structures involved in the solution of the problem. Computationally, we provide a full recipe whose base ingredients are advanced optimization models and tailored algorithms. This algorithmic arsenal can solve the $OP(F)$ for all possible orders up to $60$ with the modest computing resources of a personal computer. The new $20$ orders, from $41$ to $60$, encompass $241200$ instances of the Oberwolfach Problem, which is 22 times greater than those solved in previous contributions.

研究动机与目标

• 开发一种可扩展的计算框架，利用先进的优化技术求解所有奇数阶至60的奥伯沃尔夫问题（OP）。
• 通过将差分方法形式化为约束规划（CP）模型，弥合组合设计理论与优化之间的鸿沟。
• 与以往依赖高性能计算的方法相比，显著降低计算成本，实现在标准个人计算机上的求解生成。
• 发现新的理论洞见，包括1-旋转解存在的新必要条件。
• 利用整数规划（IP）验证特定OP实例（如OP(^2 3,5)）的无解性。

提出的方法

• 将差分方法建模为约束规划（CP）问题，系统性地生成OP(F)的对称2-因子。
• 引入两个新子问题：偶数二进制标记问题（eBLP）和偶数群标记问题（eGLP），专为4t+1阶图设计。
• 制定CP约束以强制执行关键路径存在性（eBLP）和群标记一致性（eGLP），模算术在Z_{2t}上进行。
• 对差分集Δ₀₀、Δ₁₁和Δ₀₁使用alldifferent约束，确保除t外所有非零群元素均被完全覆盖。
• 实施基数约束（如card(dA) = 2t−2），以控制差分集的大小并强制结构平衡。
• 集成整数规划（IP）模型以验证无解性，例如OP(^2 3,5)实例。

实验结果

研究问题

• RQ1 能否通过组合设计与优化相结合的方法，高效求解所有至60阶的奥伯沃尔夫问题？
• RQ2 1-旋转解存在的必要结构条件是什么？
• RQ3 约束规划模型能否有效编码并求解差分方法中固有的复杂对称性约束？
• RQ4 与穷举搜索或高性能计算集群方法相比，所提出的CP/IP框架如何降低计算成本？
• RQ5 通过大规模OP实例的计算测试，能获得哪些新的理论洞见？

主要发现

• 所提出的CP/IP框架求解了41至60阶奥伯沃尔夫问题的全部241,200个实例——是此前求解数量的22倍。
• 在标准个人计算机上，每实例求解时间低于5秒，无需依赖高性能计算集群。
• 通过大规模计算测试，发现了1-旋转解存在的新必要条件。
• 整数规划模型成功验证了OP(^2 3,5)实例的无解性。
• 在v=40时，有效划分数为1,756，而在v=60时增至33,552，反映出问题空间复杂度的显著增长。
• 将差分方法与CP及IP相结合，不仅实现了高效计算，还促成了理论发现，展示了该方法在组合设计问题中的可推广性。