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

摘要： 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))$，谓词 阅读全文

摘要： 4 Some complete constraint solvers Q: 解释"As such a repeated case analysis results in general in an exponential running time, we do not allow it to be 阅读全文

摘要： 3 Constraint programming in a nutshell 3.1 Equivalence of CSPs Q: 解释词语：solved, false constraint. A: $C = D_1\times\cdots\times D_k$就是（某个）约束$C$的solved. 阅读全文

摘要： 2 Constraint satisfaction problems: examples 2.4 Boolean constraint satisfaction problems Q: 相比直接写出函数表达式，用CSP的思想在处理full adder时有什么好处？ A: draw in a syst 阅读全文

摘要： 2 Constraint satisfaction problems: examples Q: 列举"modeling"中可能出现的困难。 A: For other problems the appropriate representation as a CSP is by no means str 阅读全文

摘要： 专栏简介与声明 本专栏链接：https://www.cnblogs.com/minor-second/category/2052512.html 使用教材 本专栏是Principles of constraint programming个人复习博客系列。 ISBN: 9780511062490 专栏 阅读全文