摘要：9 Issues in constraint programming 9.1 Modeling Q: 举例说明不同的modeling A: 举例：是否引入辅助变量。 举例：不同的语法表示同样语义（如all_different） 举例：增加新标识符（“新语法”）表示相同语义，并引入对应新规则。 Q: 阅读全文

摘要：未校对 8 Search 8.1 Search trees Q: 如何理解"leaves all of which are ‘manifestly failed’." A: The reference to ‘manifestly’ means that it is straightforward 阅读全文

摘要：未校对 7 Constraint propagation algorithms Q: 举例说明“Sometimes a CSP can already be solved solely by means of a constraint propagation algorithm”. A: 对于具体例 阅读全文

摘要：6 Some incomplete constraint solvers 6.4 Linear constraints on integer intervals Q: 本节中的linear expression为什么不需要乘法运算？ A: 由于只考察整数和“整数倍”，故用不断复合加法表示乘法。 6. 阅读全文

摘要：6 Some incomplete constraint solvers Q: 解释“‘customise’ the general framework to a specific language” A: 提示：比如：用hyper-arc consistency能剪掉一些定义域，但是剪了之后的集合 阅读全文

摘要：5 Local consistency notions 5.9 Relational consistency Q: relationally \((i,m)\)-consistent（后省略relationally）表示一切$m$个约束构成子序列诱导的CSP (\(\mathcal P|\mathc 阅读全文

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

摘要：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 专栏 阅读全文