[論文レビュー] Postponing Branching Decisions

Willem Jan van Hoeve, Michela Milano|UvA-DARE (University of Amsterdam)|Jul 16, 2004

Constraint Satisfaction and Optimization参考文献 6被引用数 4

ひとこと要約

本稿では、値順序付けヒューリスティクスによって同順位の値が生じた場合に、それらの値をサブドメインにグループ化し、個々の値ではなくサブドメイン全体に対して分岐を行うことで、分岐意思決定を延期する手法を提案する。この手法は、分割（partitioning）と呼ばれるもので、再帰的探索の冗長な作業を削減し、特に限界差分探索（limited discrepancy search）と組み合わせることで、制約充足問題（CSPs）および制約最適化問題（COPs）における探索効率を著しく向上させる。

ABSTRACT

Solution techniques for Constraint Satisfaction and Optimisation Problems often make use of backtrack search methods, exploiting variable and value ordering heuristics. In this paper, we propose and analyse a very simple method to apply in case the value ordering heuristic produces ties: postponing the branching decision. To this end, we group together values in a tie, branch on this sub-domain, and defer the decision among them to lower levels of the search tree. We show theoretically and experimentally that this simple modification can dramatically improve the efficiency of the search strategy. Although in practise similar methods may have been applied already, to our knowledge, no empirical or theoretical study has been proposed in the literature to identify when and to what extent this strategy should be used.

研究の動機と目的

• 値順序付けヒューリスティクスに同順位が生じる場合に、従来のバックトラッキング探索が非効率になる問題に対処すること。
• 同順位の値の間で分岐意思決定を延期することで、探索性能が向上するかどうかを調査すること。
• 制約プログラミングにおける標準的なラベリングとは対照的に、分割（partitioning）を理論的・実験的に分析すること。
• 深さ優先探索および限界差分探索（LDS）を含むさまざまな探索戦略における分割の影響を評価すること。
• サブドメイン分岐を用いる場合の制約伝播と探索効率のトレードオフを明らかにすること。

提案手法

• 同じヒューリスティクス順位を持つ値（同順位の値）を1つのサブドメインにまとめて、個別に1つ選択する代わりに、そのサブドメイン全体に対して分岐する。
• 単一の値に対する分岐（ラベリング）を、同順位の値のサブドメイン全体に対する分岐（分割）に置き換えることで、意思決定を遅らせる。
• 分割によって生成された各サブ問題に対して深さ優先探索（DFS）を適用し、サブドメイン内の解を探索する。
• 探索木全体にわたり制約伝播を適用するが、分割されたサブドメイン内では変数の即時インスタンス化が遅れるため、伝播の影響が軽減される。
• 制約最適化問題における境界計算と最適性の証明を向上させるために、分割を限界差分探索（LDS）と組み合わせる。
• ベンチマーク問題（部分ラテン平方完成問題やスケジューリングインスタンスなど）に対して、分割と標準ラベリングを比較して、アプローチの有効性を評価する。

実験結果

リサーチクエスチョン

• RQ1 同順位の値の間で分岐意思決定を延期することで、制約充足問題（CSP）において、どのような条件下で探索効率が向上するか？
• RQ2 さまざまな問題インスタンスにおいて、分割と標準ラベリングの間で、探索失敗回数と解法時間にどのような差が生じるか？
• RQ3 制約最適化問題において、分割は制約伝播と境界計算にどの程度の影響を与えるか？
• RQ4 分割は、限界差分探索（LDS）のような高度な探索戦略と効果的に組み合わせられ、収束を加速できるか？
• RQ5 単一値分岐ではなくサブドメイン分岐を用いる場合、伝播の強度と探索速度の間にはどのようなトレードオフが生じるか？

主な発見

• 部分ラテン平方完成問題（PLSCP）において、分割は平均的にラベリングを著しく上回り、一部のインスタンスでは解法時間を最大80％まで短縮した。
• PLSCPベンチマークでは、分割の平均解法時間は15.25秒であったのに対し、ラベリングは46.59秒であった。全体の失敗回数は高いものの、一部のインスタンスでは失敗回数が少ないことも確認された。
• u.o30.h348のようなインスタンスでは、解法時間が43.80秒から32.86秒に短縮され、不均衡で解きにくい問題に対しても一貫した改善効果が得られた。
• LDSと組み合わせることで、COPにおける最適性の早期証明が可能となり、これは先行研究でも示されたように、より効果的な境界計算のおかげである。
• 即時インスタンス化の遅れにより制約伝播の影響が減少するが、冗長な探索を回避するメリットが、ほとんどの場合でその欠点を上回っている。
• サブ問題が十分に大きく、局所探索や数学的プログラミングソルバーなどの代替解法が有効に機能する場合には、本アプローチは特に効果的である。