摘要： 2 原始递归函数 2.6 Ackermann函数 Q: Ackermann函数的递归相比之前的各种递归有什么本质区别和联系？ A: 观察$A(k+1,x+1)=A(k,A(k+1,x))$，相比之前一般的多变量递归表达式$B(k+1,x+1)=g(k,x,B(k+1,x),B(k,x+1))$，外层 阅读全文

摘要： 2 原始递归函数 2.1 原始递归函数 Q: 证明合成、原始递归保持可计算性的思路是什么？ A: 写一段$\mathscr S$程序计算相应函数。 合成：顺序结构。 原始递归：循环结构。（更具体地，用一个变量$Z$表示不断增长的$t$，$Z$每次+1，而$X_{n+1}$每次-1，当$X_{n-1} 阅读全文

摘要： 1 程序设计语言$\mathscr S$和可计算函数 1.1 预备知识 Q: 本节考察的函数和一般数学书中的函数有什么异同？ A: 把部分函数简称为函数（可能定义域中只有一部分有对应的函数值，其余无定义） 注：处处无定义称为空函数。 注：在本课程中，考虑的往往是$Nn\to N(其中N={0,1,\ 阅读全文

摘要： 专栏简介与声明 本专栏链接：https://www.cnblogs.com/minor-second/category/2053938.html 使用教材 本专栏是《可计算性与计算复杂性导引》（第3版）个人复习博客系列。 ISBN: 9787301177686 专栏使用方法 本专栏以一问一答的形式对 阅读全文

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