[論文レビュー] Branch-and-Prune Search Strategies for Numerical Constraint Solving

Xuan-Ha Vu, Marius-Cǎlin Silaghi+2 more|ArXiv.org|Dec 11, 2005

Numerical Methods and Algorithms参考文献 35被引用数 9

ひとこと要約

本稿では、解の連続体を有する数値制約充足問題（NCSP）を解くための新しい分枝・刈り込み探索戦略であるUCA5、UCA6、UCA6+を提案する。制約の否定、変数の刈り込み、共同制約解析を活用することで、特に高アリティまたは不等式を多く含む問題において、従来の二分探索より最大10倍の高速化を達成し、精度と完全性を維持する。

ABSTRACT

When solving numerical constraints such as nonlinear equations and inequalities, solvers often exploit pruning techniques, which remove redundant value combinations from the domains of variables, at pruning steps. To find the complete solution set, most of these solvers alternate the pruning steps with branching steps, which split each problem into subproblems. This forms the so-called branch-and-prune framework, well known among the approaches for solving numerical constraints. The basic branch-and-prune search strategy that uses domain bisections in place of the branching steps is called the bisection search. In general, the bisection search works well in case (i) the solutions are isolated, but it can be improved further in case (ii) there are continuums of solutions (this often occurs when inequalities are involved). In this paper, we propose a new branch-and-prune search strategy along with several variants, which not only allow yielding better branching decisions in the latter case, but also work as well as the bisection search does in the former case. These new search algorithms enable us to employ various pruning techniques in the construction of inner and outer approximations of the solution set. Our experiments show that these algorithms speed up the solving process often by one order of magnitude or more when solving problems with continuums of solutions, while keeping the same performance as the bisection search when the solutions are isolated.

研究の動機と目的

• 解の連続体を有するNCSPにおいて、特に不等式を含む場合に標準的な分枝・刈り込み手法の非効率性を是正すること。
• 解の連続体が存在する状況において、制約の構造的性質を活用して分枝の意思決定を改善すること。
• 孤立解を扱う場合に二分探索と同等の性能を維持しつつ、連続体ケースにおける解法時間を著しく短縮すること。
• 変数の動的削除と刈り込み中の共同制約解析を活用して、探索空間を縮小すること。
• BnPSearch汎用アルゴリズム内での分枝・刈り込み戦略の比較・拡張を可能にする統一フレームワークの構築。

提案手法

• ドメイン削減と分割オペレータを統合できる基盤として、汎用分枝・刈り込みアルゴリズムBnPSearchを提案する。
• 制約の否定を用いて刈り込みの前に妥当領域を特定するUCA5およびUCA6という変種を導入する。
• 制約の否定に対してドメイン削減技術を適用し、妥当な部分ドメインを抽出することで、早期の制約削除を可能にする。
• アクティブな制約に含まれない変数を削除することで、部分問題における変数のアリティを動的に低減する。
• 各イテレーションで共同制約解析を統合し、ドメイン削減をより効果的にし、探索空間をより効率的に縮小する。
• 分枝戦略（BS）とドメイン分割（DS）を統合したUCA6+を実装し、適応的かつ高性能な解法を実現する。

実験結果

リサーチクエスチョン

• RQ1 解の連続体を有するNCSPにおいて、特に不等式が関与する場合に、分枝の意思決定をどのように改善できるか。
• RQ2 制約の否定を、分枝・刈り込みフレームワークにおいて妥当領域の特定と刈り込みの高速化に効果的に応用できるか。
• RQ3 動的変数刈り込みが、NCSPの解法における探索空間の縮小とパフォーマンス向上にどの程度寄与するか。
• RQ4 新しいアルゴリズムは、古典的な二分探索およびDMBC+と比較して、速度、解のコンパクト性、精度の観点でどの程度優れているか。
• RQ5 解法中に変数のアリティを低減することが、NCSPソルバーの時間的・空間的計算量にどのような影響を与えるか。

主な発見

• UCA6+が分枝戦略（BS）とドメイン分割（DS）を組み合わせた場合、実行時間およびボックス数の両面で他のすべてのアルゴリズムを上回り、解の連続体を有する問題では最大1桁の高速化を達成する。
• 新しいアルゴリズムは、孤立解を有する問題においても二分探索と同等の性能を維持しており、後方互換性を保証する。
• 最大のパフォーマンス向上は、制約境界にほぼ軸に平行な領域の割合が高い場合に顕著に現れ、特にP2およびP3のような問題で顕著である。
• UCA6+は高い解のコンパクト性を達成しており、精度閾値εの変化に対して感受性が低く、εが小さくなるに従い精度が向上する。
• 解法中に変数のアリティを低減することが、特に制約アリティが低い問題においてパフォーマンスを著しく向上させることを示しており、動的変数管理の重要性を強調する。
• 実験では、UCA6+が完全な精度が要求されない状況においても、内側ボックスとして多くの妥当な解を提供しており、実世界の設計・検証タスクに適している。