[論文レビュー] SLIDE: A Useful Special Case of the CARDPATH Constraint

Christian Bessière, Emmanuel Hébrard+3 more|ArXiv.org|Mar 3, 2009

Constraint Satisfaction and Optimization参考文献 13被引用数 12

ひとこと要約

本稿では、シーケンス内の各位置で制約が成立することを強制するCARDPATH制約の特殊ケースであるSLIDEを紹介する。本稿は、SLIDEの完全な一般化されたアーク整合性（GAC）プロパゲータを提示し、これが幅広いグローバルシーケンス制約を符号化・効率的に解くことができることを示している。その性能は、特殊化されたプロパゲータと同等またはそれを上回っており、制約キットにおける汎用的モデリングプリミティブを提供する。

ABSTRACT

We study the CardPath constraint. This ensures a given constraint holds a number of times down a sequence of variables. We show that SLIDE, a special case of CardPath where the slid constraint must hold always, can be used to encode a wide range of sliding sequence constraints including CardPath itself. We consider how to propagate SLIDE and provide a complete propagator for CardPath. Since propagation is NP-hard in general, we identify special cases where propagation takes polynomial time. Our experiments demonstrate that using SLIDE to encode global constraints can be as efficient and effective as specialised propagators.

研究の動機と目的

• スライディングシーケンス制約をモデリングする有用なCARDPATH制約の特殊ケースとしてSLIDEを特定・形式化すること。
• SLIDEの完全なGACプロパゲータの開発。これにより、従来のCARDPATHプロパゲータが完全なアーク整合性に達しないという限界を解消すること。
• SLIDEが幅広いグローバル制約（AmongSeq、Regular、Stretch、Lexなど）を符号化・効率的に解くことができることを示すこと。
• SLIDEの実用的効率性およびスケーラビリティを、特殊化されたプロパゲーターや代替モデリング手法と比較して評価すること。
• 一般にはNP困難であるが、SLIDEにおけるGACプロパゲーションが、どのような構造的性質によって依然として tractable であるかを探索すること。

提案手法

• SLIDEを、変数のシーケンス全体にわたるサイズkのウィンドウごとに制約が成立する必要があるCARDPATHの特殊ケースとして定義すること。
• 制約構造に応じて、動的計画法または双対符号化を用いて、SLIDEの完全なGACプロパゲータを提案すること。
• GACプロパゲーションが多項式時間で可能となるケースを同定すること。例えば、1つの変数で重複する場合や、単調性を示す場合など。
• 複雑なグローバル制約（例：Regular、Stretch、AmongSeq）をSLIDE制約として符号化し、一様なプロパゲーションを可能にすること。
• 制約の満たすタプルが多数存在する場合のサポートの保存を最適化するため、二値意思決定図（BDD）を活用する可能性を示唆すること。
• 実世界の問題（例：自動車シーケンシング、看護師のシフト割り当て）に対して、特殊化されたソルバ（例：IloSequence）と比較してSLIDEを実装・ベンチマークすること。

実験結果

リサーチクエスチョン

• RQ1 SLIDEは、多様なスライディングシーケンス制約を符号化するための汎用的で拡張可能なプリミティブとして機能できるか？
• RQ2 SLIDEにおけるGACプロパゲーションは一般にNP困難であるが、その場合、どのような構造的性質が多項式時間でのプロパゲーションを可能にするか？
• RQ3 AmongSeq、Regular、Stretchなどの制約について、SLIDEの性能は特殊化されたプロパゲーターと比べてどうか？
• RQ4 SLIDEは、実用応用において大規模なドメインや高アリティの制約に対しても効率的にスケーリング可能か？
• RQ5 IloSequenceなどの代替モデリング手法と比較して、SLIDEのメモリと実行時間のトレードオフはどのようなものか？

主な発見

• SLIDEは、CardPath、AmongSeq、Regular、Stretch、Lexなど、幅広いグローバル制約を、一貫的かつ直感的な分解により符号化可能である。
• 本稿で提案するSLIDEのGACプロパゲータは、完全なアーク整合性を達成している。これに対して、従来のCARDPATHプロパゲータは部分的な除去しか行えない。
• 自動車シーケンシングのベンチマークにおいて、SLIDEモデルは5分のタイムアウト内で26件のインスタンスを解いた。一方IloSequenceは39件を解いたが、SLIDEはIloSequenceが失敗した9件のインスタンスを解くことができた。
• IloSequence（平均5MB）と比較して、SLIDEの平均メモリ使用量は22MBと高めであったが、アリティ5、ドメインサイズ30の状況でもスケーラブルであった。
• 1つの変数で重複する場合や単調性を示す場合、SLIDEにおけるGACプロパゲーションは tractable であり、動的計画法または双対符号化により効率的に計算可能である。
• 複雑な制約のサポートを保存するためのBDDの活用は、将来的な効率性向上のための有望な方向性であると同定された。