约束式编程学习笔记[9] 涉及数的不完全求解器

tritone

于 2021-11-06 05:32:25 发布

阅读量203

点赞数

分类专栏：约束式编程学习笔记文章标签：数值计算约束式编程不等式

本文链接：https://blog.csdn.net/tritone/article/details/121173942

版权

本文介绍了约束式编程中处理线性约束在整数区间上的方法，包括线性不等式和等式的处理，以及在整数和实数上的运算。针对整数区间，讲解了如何处理乘法、除法和不等式，讨论了剪枝策略和区间一致性的概念。同时，对比了整数和实数处理的差异，如实数的开闭区间问题以及处理浮点数带来的挑战。

摘要由CSDN通过智能技术生成

6 Some incomplete constraint solvers

Q: “By combining the corresponding domain reduction rules for these two inequality constraints we obtain a domain reduction rule for an equality constraint.”是否形如 $[a..b]\cap [b..c]=\{b\}$ ？
A: 不对。提示： $\ge,\le$ 两条中，一个对正系数对应变量取上界，对负系数对应变量取下界；另一个反之。所以两个区间有长度非零的重合区间。
Q: 这两节中，唯一一处出现除法但没有取整运算的规则是什么？提示：等号，一个变量。
A: $a x = b$ 时，可以直接看 $b / a$ 是否在定义域中，从而直接给出 $x$ 取值或者得到fail.

Q: 如何处理严格不等式？
A: $s < t$ 等价于 $s\le t, s\ne t$ .
Q: “an arbitrary element can be removed from a domain, not only the ‘boundary’ one”描述的是什么？
A: finite domains相比intervals所具有的优势：在处理 $x\ne a$