[論文レビュー] On Global Warming (Softening Global Constraints)

Willem Jan van Hoeve, Gilles Pesant+1 more|PolyPublie (École Polytechnique de Montréal)|Aug 9, 2004

Constraint Satisfaction and Optimization参考文献 21被引用数 8

ひとこと要約

本稿では、グローバルカードナリティ制約（gcc）および正則制約のソフトバージョンを導入し、緩和アークを追加することで、過制約問題に対する効率的なドメイン一貫性フィルタリングを可能にする。このアプローチは、柔軟な違反測定をサポートし、メタ制約とシームレスに統合され、人員スケジューリングなどの実世界の応用におけるモデル化の表現力を著しく向上させる。

ABSTRACT

We describe soft versions of the global cardinality constraint and the regular constraint, with efficient filtering algorithms maintaining domain consistency. For both constraints, the softening is achieved by augmenting the underlying graph. The softened constraints can be used to extend the meta-constraint framework for over-constrained problems proposed by Petit, Regin and Bessiere.

研究の動機と目的

• 制約プログラミングにおける過制約問題のモデル化の課題に取り組み、主要なグローバル制約をソフト化する。
• 人員スケジューリングなどの実世界の応用で重要な、グローバルカードナリティ制約や正則制約に対して、柔軟な違反コストモデルを可能にする。
• メタ制約フレームワークを拡張し、新しいソフト_gccアグレゲーターを用いてソフトグローバル制約を集約する。
• グラフベースの技術を用いて、ソフトグローバル制約のドメイン一貫性を維持する効率的なフィルタリングアルゴリズムを提供する。
• ソフト制約とメタ制約を組み合わせることで、過制約最適化におけるモデル化の柔軟性と計算効率を向上させる。

提案手法

• グローバル制約の下位グラフ表現に、違反の可能性をモデル化する追加の緩和アークを追加する。
• 緩和アークに固定の正のコストを割り当て、違反ペナルティを表現することで、コストベースのフィルタリングを可能にする。
• 導入されたサイクルに対応するため、トップロジカルソートに代えて最短経路アルゴリズム（例：ダイクストラ法）を用いてドメイン一貫性を強制する。
• 各制約に対して2つの違反測定を定義する：gccの場合は値の出現回数の超過に基づくもの、正則制約の場合は禁止遷移シーケンスに基づくもの。
• 複数のソフト制約の違反コストを一括してモデル化するためのソフト_gccアグレゲーター（sgca）を導入し、違反レベル上のコスト関数を用いる。
• 既存のCPソルバを活用するため、違反コストを表すドメイン変数 $ z_i $ を用いてソフト制約を符号化し、メタ制約を用いて総合的な違反行動を制御する。

実験結果

リサーチクエスチョン

• RQ1 グローバルカードナリティ制約をどのようにソフト化すれば、制御可能な違反を許容しながらドメイン一貫性を維持できるか？
• RQ2 特にスケジューリングにおける禁止シフトパターンのモデル化に適した、ソフト意味論下での正則制約に対する効率的なフィルタリング機構は何か？
• RQ3 メタ制約を用いてソフトグローバル制約をどのように集約するか？特に、高頻度で違反する制約の数を制限するような複雑な違反目的をモデル化するには？
• RQ4 緩和アークの導入によりサイクルが生じる場合でも、グラフベースの緩和アークを用いてソフトグローバル制約のドメイン一貫性を維持できるか？
• RQ5 人員スケジューリングのような実世界の過制約問題をモデル化する際、最も効果的な違反測定は何か？

主な発見

• ソフトgccおよびソフト正則制約は、緩和アークによるグラフ拡張と最短経路計算を通じてドメイン一貫性を達成し、ソフト正則制約の時間計算量は $ O(n| abla| + n|Q| frac{1}{2} ext{log}(n|Q|)) $ である。
• ソフト_gccアグレゲーターは、$ O(nm) $ 時間で一貫性のチェックを、$ l = \vec{0} $ の場合に $ O(m) $ 時間でドメイン一貫性を達成でき、違反集約において標準的なコスト-gccを上回る性能を示す。
• 導入されたサイクルに対応するため、トップロジカルソートの代わりにダイクストラ法を用いることで、緩和アークが導入された状態でもドメイン一貫性が維持される。
• フレームワークは柔軟な違反モデル化をサポートし、総違反コストの最小化や、高頻度で違反する制約の数の制限が可能である。
• ソフト制約フレームワークは、既存のメタ制約アプローチと自然に統合され、問題の一貫性を損なわずに階層的または重み付きの違反制御が可能になる。
• 実験的利点は、リソース制限下でのシフト配分とシーケンス規則のモデル化に、ソフトgccおよび正則制約が効果的に機能することを示している。