Constraint propagation on quadratic constraints
Constraint propagation on quadratic constraints
复制标题
二次约束上的约束传播
作者：
F. Domes;A. Neumaier
本文考虑了线性和二次约束的连续约束满足问题的约束传播方法。所有的方法都可以在适当的预处理后应用到任意的代数约束。基本的新技术包括从二次约束中消除双线性项，并通过一系列一元二次问题解决由此产生的可分离二次约束。注意确保所有方法正确考虑计算中的舍入误差。各种测试和例子说明了所提出的方法的优点。
This paper considers constraint propagation methods for continuous constraint satisfaction problems consisting of linear and quadratic constraints. All methods can be applied after suitable preprocessing to arbitrary algebraic constraints. The basic new techniques consist in eliminating bilinear entries from a quadratic constraint, and solving the resulting separable quadratic constraints by means of a sequence of univariate quadratic problems. Care is taken to ensure that all methods correctly account for rounding errors in the computations. Various tests and examples illustrate the advantage of the presented method.