[論文レビュー] 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）でモデル化することで、個人用コンピュータ上でも1インスタンスあたり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.

研究の動機と目的

• 組合せデザイン理論と最適化を統合し、41から60までのすべての奇数位数について、先進的な最適化手法を用いてオーバーフォルフ問題（OP）を解くスケーラブルな計算フレームワークを構築すること。
• 差分法を制約プログラミング（CP）モデルとして形式化することで、組合せデザイン理論と最適化を橋渡しすること。
• 従来のハイパフォーマンスコンputングアプローチと比較して、計算コストを著しく削減し、標準的な個人用コンピュータ上でも解の生成が可能になるようにすること。
• 1-回転解の存在に必要な新たな理論的知見を発見すること。
• 整数プログラミング（IP）を用いて、OP(^2 3,5) などの特定のOPインスタンスにおける解の非存在を検証すること。

提案手法

• OP(F)の対称的2因子を体系的に生成するために、差分法を制約プログラミング（CP）問題としてモデル化する。
• 位数4t+1のグラフに特化した2つの新規部分問題を導入：偶数バイナリラベルリング問題（eBLP）と偶数グループラベルリング問題（eGLP）。
• eBLPでは重要なパスの存在を強制するCP制約を定式化し、eGLPではグループラベリングの一貫性を保証する。両者ともZ_{2t}上での剰余算術を用いる。
• 差分集合Δ₀₀、Δ₁₁、Δ₀₁にalldifferent制約を適用し、0以外のグループ要素をすべてカバーするが、tを除くようにする。
• 差分集合のサイズを制御し構造的バランスを強制するために、基数制約（例：card(dA) = 2t−2）を実装する。
• 解の非存在を検証するために整数プログラミング（IP）モデルを統合し、OP(^2 3,5) などのインスタンスでその非存在を確認する。

実験結果

リサーチクエスチョン

• RQ1 組合せデザイン理論と最適化を組み合わせることで、60までのすべての位数についてオーバーフォルフ問題を効率的に解くことは可能か？
• RQ2 オーバーフォルフ問題における1-回転解の存在に必要な構造的条件は何か？
• RQ3 制約プログラミングモデルは、2因子分解に内在する複雑な対称性制約を効果的に符号化・解釈できるか？
• RQ4 提案されたCP/IPフレームワークは、総当り探索やハイパフォーマンスコンピュータクラスタ手法と比較して、計算コストをどの程度削減できるか？
• RQ5 OPインスタンスの広範な計算的テストから、どのような新たな理論的知見が得られるか？

主な発見

• 提案されたCP/IPフレームワークは、41から60までのすべての241,200インスタンスのオーバーフォルフ問題を解釈した。これは、従来に比べ22倍多い。
• 標準的な個人用コンピュータ上でも1インスタンスあたり5秒未塔で解が生成可能であり、ハイパフォーマンスコンピュータクラスタの使用が不要になった。
• 広範な計算的テストを通じて、1-回転解の存在に新たな必要条件が発見された。
• 整数プログラミングモデルにより、OP(^2 3,5) に対して解が存在しないことが正当に確認された。
• v=40のときの有効な分割数は1,756であったが、v=60では33,552に急増しており、問題空間の複雑さが増していることが示された。
• 差分法とCP・IPの統合により、計算の効率化と理論的発見の両方が可能となり、組合せデザイン問題への一般化可能なアプローチを示した。