[论文解读] 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

一句话总结

本文提出UCA5、UCA6和UCA6+——针对具有解连续统的数值约束满足问题（NCSPs）的新型分支定界搜索策略。通过利用约束否定、变量剪枝和联合约束分析，这些算法在传统二分搜索基础上实现了最高达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.

研究动机与目标

• 解决标准分支定界方法在处理具有解连续统的NCSPs时效率低下的问题，特别是涉及不等式的情况。
• 通过利用约束的结构性质，改进在解连续统存在时的分支决策。
• 在孤立解问题上保持与二分搜索相当的性能，同时在连续统情况下显著加快求解时间。
• 通过动态消除不参与活跃约束的变量，并在剪枝过程中利用联合约束分析，减少搜索空间。
• 为在BnPSearch通用算法框架内比较和扩展分支定界策略，构建统一框架。

提出的方法

• 提出一种通用的分支定界算法BnPSearch，作为集成领域缩减和分割算子的基础。
• 引入UCA5和UCA6作为变体，利用约束否定在剪枝前识别可行区域。
• 对约束的否定应用领域缩减技术，以提取可行子域，实现早期约束移除。
• 通过消除不参与活跃约束的变量，在子问题中动态降低变量的元数。
• 在每次迭代中集成联合约束分析，以更有效地实现领域缩减并更显著地减少搜索空间。
• 通过结合分支策略（BS）和领域分割（DS）实现UCA6+，以支持自适应、高性能求解。

实验结果

研究问题

• RQ1 在具有解连续统的NCSPs中，特别是涉及不等式时，如何改进分支决策？
• RQ2 约束否定能否在分支定界框架中有效用于识别可行区域并加速剪枝？
• RQ3 动态变量剪枝在多大程度上能减少搜索空间并提升NCSP求解性能？
• RQ4 在速度、解的紧凑性及精度方面，新算法与经典二分搜索及DMBC+相比如何？
• RQ5 求解过程中变量元数的降低对NCSP求解器的时间和空间复杂度有何影响？

主要发现

• UCA6+采用BS + DS策略，在运行时间和盒子数量上均优于其他所有算法，在具有解连续统的问题上，最高实现一个数量级的加速。
• 新算法在孤立解问题上与二分搜索保持相同性能，确保向后兼容性。
• 性能提升最大的情况出现在约束边界包含高比例近似轴对齐区域的问题中，如P2和P3问题。
• UCA6+实现了高度紧凑的解，且对精度阈值ε的敏感度较低，随着ε减小，精度持续提升。
• 求解过程中变量元数的降低显著提升了性能，尤其在约束元数较低的问题中表现突出，凸显了动态变量管理的重要性。
• 实验表明，即使在不需要完全精度的情况下，UCA6+仍能以内部盒子的形式提供大量可靠解，适用于实际设计与验证任务。