计算理论导引 6 可夹缕算理论的高级专题.pptVIP

朴秀峰 xfpiao@126.com;主要内容;递归定理;递归的意义;自引用;图灵机 SELF;图灵机 SELF;图灵机 SELF;图灵机 SELF;递归定理;递归定理;递归定理的术语;递归定理的术语;递归定理的应用;递归定理的应用;递归定理的应用;递归定理的应用;递归定理的应用;主要内容;逻辑理论的可判定性;逻辑理论的可判定性;符号∧，∨，┐称为布尔运算；“(”和“)”是括号；符号 ? 和 ? 是量词；符号x用来代表变元；符号R1，… ，Rk 称为关系。;公式;公式;例6.7 在下列公式中，只有最后一个是句子： ;逻辑理论的可判定性;逻辑理论的可判定性;例6.9 设 M2 是如下的模型：它的论域是是实数集 R，且讲关系 PLUS 指派给 R1，其中：只要当 a+b=c 时 PLUS(a, b, c) =TURE。则 M2 是ψ= ?y?x [ R1(x, x , y)] 的一个模型。 但如果用 N 代替 R 作为 M2 的论域，则此句子为假。 ;一个可判定性的理论;Th(N, +)是可判定的;一个可判定性的理论;Th(N, +)是可判定的;为构造第一个机器 Al，注意到∮l＝ψ 是原子公式的布尔组合。 在 Th(N,+) 的语言中，原子公式只有单个加法。对每个这样的单个加法，可以构造—个有穷自动机来计算这样的单个加法所对应的关系，然后将这些有穷自动机组合起来，就能给出自动机Al。这样做要涉及正则语言类对于交、并和补的封闭性，以计算原子公式的布尔组合。 接下来说明怎么由 Ai+1 来构造 Ai。如果∮i = ? xi+1∮i+1，则构造 Ai 使得它的运行几乎与Ai+1一样，区别在于 Ai 非确定地猜 ai+1 的值，而不是将它作为输入的一部分而接受。 更精确地说，对于 Ai+1 的每个状态， Ai 包含一个与之对应的状态；且 Ai还包含一个新的起始状态。每当 Ai 读下列符号时， ;这里每个 bi∈{0,1} 是数 ai 的某一位，它非确定地猜 z∈{0,1}，且在下列输入符号上模拟 Ai+1。;一个不可判定性的理论;一个不可判定性的理论; 证明：用反证法。假设所有真命题都是可证的，利用这个假设来 构造判定命题是否为真的算法D，与定理6.11矛盾。 对于输入∮，算法D如下运行：在输入∮和 ∮上并行地运行定 理6.13的证明中给出的算法P。这两个命题总有一个为真，根据假设， 总有一个是可证的。因而P在其中一个输入上停机。根据可证性性质2， 如果∮是可证的，则∮为真；如果 ∮是可证的，则∮为假。所以算 法D能判定∮的真假性。;一个不可判定性的理论;主要内容;图灵可归约性;图灵可归约性;定义 6.18;定理 6.19;主要内容;信息的定义;信息的定义;定义 6.20;信息描述复杂性的基本结论;定理 6.22;串连接的描述复杂性;定义的优化;定义的优化;设 x 是一个串，如果 则称 x 是 c 可压缩的(c-compressible)。 如果 x 不是 c 可压缩的，则称 x 是不可压缩 c 的。 如果 x 是不可压缩 1 的，则称 x 是不可压缩的。;对于每个长度，都存在不可压缩的串。;至少有2n - 2n-c+1 + 1个长度为n的串是不可压缩c的。; 设f是一个对几乎所有串成立的性质，则对任意b0， 性质f只在有限多个不可压缩b的串上的值是FALSE。;的串成立。令x是长度为n的没有性质f的串，长度小于等于n的串游2n+1-1个，因此， 从而|ix| ≤ n – b – c ，故M, ix的长度至多为(n – b – c)+c = n – b。这意味着 K(x) ≤ n – b 这样，使得不具有性质f的每个足够长的x都是可压缩b的。因此，只有有限多个不具性质f的串是不可压缩b的。证毕。 ;存在常量 b，使得对每个串 x，x 的极小描述 d(x) 都是不可压缩 b 的。;作???