[論文レビュー] Combining finite and continuous solvers

Jean-Guillaume Fages, Gilles Chabert+1 more|arXiv (Cornell University)|Feb 6, 2014

Parallel Computing and Optimization Techniques参考文献 3被引用数 4

ひとこと要約

本論文は、有限ドメインソルバ―Chocoと連続ドメインソルバ―Ibexの間で軽量かつ相互運用可能なブリッジを提示する。これにより、ChocoはIbexの区間演算をネイティブに使用し、複雑な連続制約をモデル化できるようになった。Ibexをグローバル制約として埋め込むことで、Chocoは非線形および統計的制約の表現力を高めつつ、開発作業の重複を回避し、大幅にモデル化の柔軟性を向上させるとともに、保守の負担を軽減した。

ABSTRACT

Combining efficiency with reliability within CP systems is one of the main concerns of CP developers. This paper presents a simple and efficient way to connect Choco and Ibex, two CP solvers respectively specialised on finite and continuous domains. This enables to take advantage of the most recent advances of the continuous community within Choco while saving development and maintenance resources, hence ensuring a better software quality.

研究の動機と目的

• Chocoのような有限ドメインソルバ―に、高度な連続ドメインソルビング技術を統合する課題に取り組むこと。この際、作業の重複を避けること。
• Chocoユーザーが、非線形方程式、統計関数、物理的モデルなどの複雑な連続制約を、シンプルで表現力豊かなインターフェースでモデル化できるようにすること。
• ChocoとIbexの開発者がそれぞれの強み（有限ドメインおよび連続ドメイン）に集中できるようにしつつ、共有保守によりソフトウェア品質を向上させること。
• 他のソルバーやモデリングフレームワークへも応用可能な汎用的かつ再利用可能な統合パターンを提供すること。

提案手法

• IbexのコントラクターをChocoの制約伝播フレームワーク内でのグローバル制約として公開するブリッジの設計。
• 連続制約を数学的式の文字列（例："(x+y)/2=z"）として表現し、Ibexの区間演算エンジンでパースおよび実行すること。
• Chocoの実数変数ビューを活用して、有限ドメインの整数変数と連続式をリンクさせ、ハイブリッドモデル化を可能にすること。
• Ibexの組み込みコントラクター（例：HC4、Shaving、X-newton）を用いて、連続制約における境界一貫性の伝播を実現すること。
• 深いコード統合を避けつつ、パフォーマンスと正しさを保持する、軽量で言語に依存しないインターフェースの実装。
• 整数割り当てと連続的目的関数を含む実世界のハイブリッド問題（サンタクロース問題）に対して、このアプローチの妥当性を検証すること。

実験結果

リサーチクエスチョン

• RQ1 Chocoのような有限ドメインソルバ―が、専用の連続ドメインソルバ―Ibexの高度な連続ソルビング能力を、効率的かつ信頼性高く活用できるか。
• RQ2 連続ドメインソルバ―を有限ドメインフレームワークに統合する場合、実装および保守の負担を最小限に抑えるにはどうすればよいか。
• RQ3 このブリッジを用いた場合、離散的および連続的制約を組み合わせたハイブリッドモデル化が、どれほど自然かつ効率的に表現できるか。
• RQ4 この統合が、特に非線形および統計的制約において、モデル化の表現力にどのような影響を与えるか。
• RQ5 このアプローチは他のソルバーや将来のソルバ相互運用のテンプレートとして一般化可能か。

主な発見

• ブリッジは、Chocoが単純な文字列ベースのインターフェースを用いて、有限ドメインと連続ドメインを含むハイブリッド問題をモデル化・解決できることを成功裏に実証した。
• この統合により、統計関数（例：Deviation、Spread）や非線形方程式といった複雑な連続制約を、特殊な変形なしに直接モデル化できるようになった。
• サンタクロース問題は、平均偏差2.8888888888888866を達成する最適解として解かれた。これにより、フレームワークの実用的有効性が裏付けられた。
• Ibexの成熟した連続ソルビング技術をChoco内で再利用することで、開発および保守コストを削減できた。
• 実数変数ビューの使用により、整数変数が連続式にスムーズに統合可能となり、モデル化の範囲が拡張された。
• このフレームワークは汎用的かつ拡張可能であり、特定のソルバ間の相互運用のための再利用可能なモデルを提供している。