Chap9难解性供同学报告修改.ppt

SCU CS Computation Chap 9 难解性 供同学报告修改 可根据 提供的ＰPT素材+参考以前同学的报告， 修改成为有自己见解的讨论报告建议： 底色用浅色（象牙白， 浅黄， 白色等） 适合色盲 色弱 观众 字体颜色选择余地大 在投影机 效果差时 也还能能看见 9.1 层次定理 层次定理的含义：定理中的每一个都能证明时间和空间复杂性类不全相同，它们形成了一个层次结构，其中时空界限较大的类比时空界限较小的类包含更多的语言。 例如：层次定理能形式化的证明：图灵机在更多的时间或空间能扩大它所能解的问题类。也就是说，图灵机在时间n3 内比n2内能判定更多的语言。 层次定理的分类 空间复杂性层次定理（简单） 时间复杂性层次定理（复杂） 指数空间完全性 定义9.14 定理9.15 ９.2 相对化 1. 研究的主要的内容 给出有力证据否定用对角化法解决P与 NP问题的可能性. 2. 几个基本概念和定义 (1)谕示 （可比喻为 一块 超级芯片 ， 外星人的智能礼物） P138:语言B的一个谕示是一个能够报告某个串是否为B的成员的外部装置. 一个谕示是一个语言A. (2)谕示图灵机MA 是通常的图灵机附加一条谕示带, 每当M在谕示带上写下一个字符串时,就能在一步计算内得知这个字符串是否属于A. 2. 几个基本概念和定义(续) (3)PA 采用谕示A的多项式时间谕示图灵机可判定的语言类. (4)NPA 采用谕示A的非确定多项式时间谕示图灵机可判定的语言类. 3. 举例 (1)NP?PSAT 含义:相对于可满足性问题的多项式时间计算包含了NP问题的全部. (2)CONP ? PSAT (3)极小公式:如果一个公式没有更小的公式与之等价,则称它为极小的. NONMIN-FORMULA={Φ| Φ不是极小布尔公式} 4. 对角化方法的局限 (1)对角化方法的核心: 是一台图灵机对另一台图灵机的模拟. (2)结论: 凡是仅用对角化方法证明的关于图灵机的定理,当给两台机器以相同谕示的时候,仍然成立. 问题 能否用对角化方法证明P与NP不同,亦即它们相对于任何谕示都不同? 能否依据简单的模拟证明说明P与NP相等,即证明它们对于任何谕示都是相等的? 定理９.19 1) 存在谕示A使得PA NPA 2) 存在谕示B使得PB = NPB 上述定理表明不太可能用对角化方法和简单模拟的证明来解决P与NP问题. 证明思路 (2)只要令B是PSPACE问题如TQBF即可. NPTQBF?NPSPACE ?PSPACE ?PTQBF 构造谕示A.设计A使得NPA中的某个语言LA可以证明需要蛮力搜索,因而LA不可能属于PA.因此可以得出PANPA的结论. LA={ω|?x ∈ A [|x| = |ω|]} 关 键 构造谕示A: 经过所有构造步骤以后状态没有确定下来的字符串声明为不在A中.亦即没有多项式时间谕示机器能够以谕示A判定LA. 9.3 电路复杂性 布尔电路 定义９.20 布尔电路是由导线连接的门和输入的集合。 门的三种形式：与、或、非门 布尔函数：AND、OR、NOT 门：布尔函数处理器 布尔电路示例 例9.21 奇偶函数parityn:{0,1}n--{0,1}输出1，当且仅当输入变量中有奇数个1 电路族 定义9.22 一个电路族C是电路的一个无穷列表（C0， C1， C2，…), 其中Cn有n个输入变量。 称C在{0，1}上判定语言A，如果对于每个字符串w，w?A 当且仅当Cn(w)=1,其中n是w的长度。 电路的规模-所包含门的数目 规模复杂度：一个电路族（C0， C1， C2，…)的规模复杂度是一个函数f:N-N, 其中f(n)是Cn的规模 深度及复杂度：电路的深度是从输入变量到输出门的最长路径的长度。 规模极小、深度极小 电路复杂度 定义9.23 语言的电路规模复杂度是该语言的极小电路族的规模复杂度。 语言的电路深度复杂度是该语言的极小电路族的深度复杂度。 电路复杂性的三个定理 定理9.25 cp212 定理10.25 设t:N-N是一个函数，t(n) ≥ n。若 ，则A的电路复杂度为 。 时间复杂度小的语言，电路复杂度也小 证明思路 M是在时间t(n)内判定A的TM。对每个n，构造电路Cn模拟M在长为n的输入上的运算。 Cn的门分成行，每一行对应M进行运算的一个格局。每一行用导线连到上一行，指示从上一行的