计算理论16难解性.pptVIP

SCU CS Computation Chap 9 难解性 9.1 层次定理 层次定理的含义：定理中的每一个都能证明时间和空间复杂性类不全相同，它们形成了一个层次结构，其中时空界限较大的类比时空界限较小的类包含更多的语言。 例如：层次定理能形式化的证明：图灵机在更多的时间或空间能扩大它所能解的问题类。也就是说，图灵机在时间n3 内比n2内能判定更多的语言。 层次定理的分类 空间复杂性层次定理（简单） 时间复杂性层次定理（复杂） 指数空间完全性 定义9.14 广义正则表达式 正则表达式是?， ε 以及字母表中的符号经过有限次正则运算（并、连接和星）得到的表达式。 广义正则表达式是允许指数运算（↑）的正则表达式。 Rk = R↑k = R?R ? … ? R EQREX↑ ={Q,R|Q和R是等价的广义 正则表达式} 定理9.15 ９.2 相对化 1. 研究的主要的内容 给出有力证据否定用对角化法解决P与 NP问题的可能性. 2. 几个基本概念和定义 (1)谕示 （可比喻为 一块 超级芯片 ， 外星人的智能礼物） P138:语言B的一个谕示是一个能够报告某个串是否为B的成员的外部装置. 一个谕示是一个语言A. (2)