| | | |

2021年10月30日

约束式编程学习笔记[6] local consistency (2) 剪二元乃至多元约束

摘要： 5 Local consistency notions 5.5 Path consistency Q: 解说"normalized CSP"和"universal relation"的关系。 A: normalized CSP要求每个二元子序列最多有一个约束（唯一性）。如果我们进一步希望“存在唯一” 阅读全文

posted @ 2021-10-30 19:25 minor_second 阅读(125) 评论(0) 推荐(0) 编辑

约束式编程学习笔记[5] local consistency (1) 剪定义域

摘要： 5 Local consistency notions 5.1 Node consistency Q: 为什么本章以考察Node consistency为起点？ A: 其考察一元谓词，一个谓词。最简单。 Q: Node consistency对应的传播过程有什么效果？ A: 缩减某些变元的定义域。（阅读全文

posted @ 2021-10-30 16:18 minor_second 阅读(144) 评论(0) 推荐(0) 编辑

约束式编程学习笔记[4] 线性方程线性不等式

摘要： 4 Some complete constraint solvers 4.3 Linear equations over reals Q: 利用教材的约定，试将$a-b=2c$表示成一阶逻辑原子公式。 A: 形如$A_1^2(f_+2(f_11(a),f_{-1}1(b)),f_21(c))$，谓词阅读全文

posted @ 2021-10-30 14:03 minor_second 阅读(271) 评论(0) 推荐(0) 编辑