约束式编程学习笔记[12] Issues in constraint programming
摘要:9 Issues in constraint programming 9.1 Modeling Q: 举例说明不同的modeling A: 举例:是否引入辅助变量。 举例:不同的语法表示同样语义(如all_different) 举例:增加新标识符(“新语法”)表示相同语义,并引入对应新规则。 Q:
阅读全文
约束式编程学习笔记[11] Search
摘要:未校对 8 Search 8.1 Search trees Q: 如何理解"leaves all of which are ‘manifestly failed’." A: The reference to ‘manifestly’ means that it is straightforward
阅读全文
约束式编程学习笔记[10] Constraint propagation algorithms
摘要:未校对 7 Constraint propagation algorithms Q: 举例说明“Sometimes a CSP can already be solved solely by means of a constraint propagation algorithm”. A: 对于具体例
阅读全文
约束式编程学习笔记[9] 涉及数的不完全求解器
摘要:6 Some incomplete constraint solvers 6.4 Linear constraints on integer intervals Q: 本节中的linear expression为什么不需要乘法运算? A: 由于只考察整数和“整数倍”,故用不断复合加法表示乘法。 6.
阅读全文
约束式编程学习笔记[8] 简单的不完全求解器
摘要:6 Some incomplete constraint solvers Q: 解释“‘customise’ the general framework to a specific language” A: 提示:比如:用hyper-arc consistency能剪掉一些定义域,但是剪了之后的集合
阅读全文
约束式编程学习笔记[7] local consistency (3) relational consistency -- the ultimate notion
摘要:5 Local consistency notions 5.9 Relational consistency Q: relationally \((i,m)\)-consistent(后省略relationally)表示一切$m$个约束构成子序列诱导的CSP (\(\mathcal P|\mathc
阅读全文
约束式编程学习笔记[6] local consistency (2) 剪二元乃至多元约束
摘要:5 Local consistency notions 5.5 Path consistency Q: 解说"normalized CSP"和"universal relation"的关系。 A: normalized CSP要求每个二元子序列最多有一个约束(唯一性)。如果我们进一步希望“存在唯一”
阅读全文
约束式编程学习笔记[5] local consistency (1) 剪定义域
摘要:5 Local consistency notions 5.1 Node consistency Q: 为什么本章以考察Node consistency为起点? A: 其考察一元谓词,一个谓词。最简单。 Q: Node consistency对应的传播过程有什么效果? A: 缩减某些变元的定义域。(
阅读全文
约束式编程学习笔记[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))$,谓词
阅读全文
约束式编程学习笔记[3] 完全性证明框架 Term equations问题完全求解器(算法)
摘要: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
阅读全文
约束式编程学习笔记[2] 约束式编程基本框架及其示例
摘要: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.
阅读全文
约束式编程学习笔记[1] 布尔示例 符号示例 约束优化示例
摘要:2 Constraint satisfaction problems: examples 2.4 Boolean constraint satisfaction problems Q: 相比直接写出函数表达式,用CSP的思想在处理full adder时有什么好处? A: draw in a syst
阅读全文
约束式编程学习笔记[0] CSP基本概念 整数示例 实数示例
摘要: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 专栏
阅读全文