难解性-read.docVIP

第9章 难解性 ( 同学讨论ＰPT素材) 作为教学科研的基本训练的一个重要环节，学生应该能根据教材，作出有自己特色的PPT发言稿. 这里提供一些素材，试图减小学生的工作难度。 PPT不能仅仅是剪报。一份好的讨论班PPT 应该有同学的理解和创新. (素材节选自教材 但不能代替教材) 从素材作PPT一般 需要用 读 --减 ---加 三个过程。 先充分阅读理解 教材， 从此素材中删去次要语句， 增加自己的心得，理解方法，解释和图形。 PPT应该突出思路，突出要点, 适当的比喻可以帮助理解。 9.1 层次定理 通常的直觉是给图灵机更多的时间或空间就能扩大它所能求解的问题类。例如，在时间内，图灵机应能比在时间内判定更多的语言。在一定条件下，这种直觉是正确的。层次定理(hierarchy theorems)证明了这种直觉在满足某些条件下的正确性。采用术语层次定理，是因为这些定理中的每一个都证明了时间和空间复杂性类不全相同—它们形成一个层次结构，其中时空界限较大的类比时空界限较小的类包含更多的语言。 空间复杂性层次定理比时间复杂性层次定理稍简单一些，故首先介绍它。在实际陈述定理之前，引入下面的定义。 定义9.1 函数，至少为O()，如果函数f把1n映射为的二进制表示并且该函数在空间内是可计算的称为空间可构造的(space constructible)。 换言之，如果存在某个TM M，在空间内运行，而且在输入1n时总能停机，停机时的二进制表示出现在带子上，则f是空间可构造的。为了具有时间和空间可构造性，如和这—类带小数的函数被向下舍入到紧邻的较小的整数上。 例9.2 通常出现的复杂度至少为O()的函数都是空间可构造的，包括，，。 例如，是空间可构造的，因为机器以1n为输入，通过数1的数目得到n的二进制形式，采用标推的方法将n自乘，输出。全部空间消耗是，当然也是。 当证明等于的函数是空间可构造的时候，如同在8.4节定义亚线性空间复杂性那样，有—条单独的只读输入带。例如，这种机器可以如下计算把1n映射为的二进制表示的函数。随着只读头沿着输入带移动，它在工作带上以二进制形式计算输入中1的数目。然后，因为n以二进制形式放在工作带上，它通过数n的二进制表示中的位数可以计算出。 从下面的讨论中可以理解空间可构造性在空间层次定理中的作用。若和是两个空间界限，渐近地比大，则机器在空间内所能计算的语言比在空间内多。然而，假如超过的那部分数量非常小而且难以计算，那么机器可能无法有效地利用多出来的那部分空间，因为光是计算多出来的空间数量所需消耗的空间就可能比所获得的空间还要多。在这种情况下，机器在空间内所能计算的语言不会比在空间内更多。规定是空间可构造的就可避免这种情况，这样就可以证明机器所能计算的语言比它在任何渐近更小的界限内所能计算的语言更多，如下面的定理所示。 定理9.3空间层次定理 对于任何空间可构造函数，存在语言A，在空间内可判定，但不能在空间内判定。 证明思路 必须显示一个语言A具有两个性质，第一，A在空间内可判定，第二，A不能在空间内判定。 通过给出判定算法D来描述A。算法D将在)空间内运行，从而保证了第一个性质。进而，D将保证A不同于任何在空间内可判定的语言，从而保证了第二个性质。 不要指望关于语言A，能够象迄今为止已出现在本书中的其他语言那样，有一幅简单明了的图像。语言A则不同，它只能通过算法来描述，没有更简单的、非算法的定义。 为保证A不能在空间内判定，设计D用以实现定理4.9中证明停机问题ATM不可解时所采用的对角线法。如果M是在空间内判定一个语言的机器，则D保证A与M的语言至少存在—点不同的地方。是哪个地方？就是对应于描述M自己的地方。 看一看D的运算方式。简单地讲，D把它的输入看作是TM M的描述。(如果输入不是任何TM的描述，则D在该输入上的动作是无意义的，所以武断地让D拒绝即可。)然后D在同一输入，即＜M＞上，在空间界限内运行M。如果M在这么大空间内停机,则D接受的充分必要条件是M拒绝。如果M不停机，则D拒绝。所以如果M在空间内运行，则D有足够的空间保证它的语言不同于M的语言。否则，D没有足够的空间算出M的结果，但幸运的是并没有要求D的行为与不能在空间内运行的机器不同，所以D在该输入上的动作是无关紧要的。 该描述抓住了证明的本质，但忽略了几个重要的细节。如果M在空间内运行，则D必须保证它的语言不同于M的语言。但是即使M在空间内运行，它也可能对于小的n，消耗比多的空间，只要这种渐近行为还没有“消亡”，D有可能没有足够的空间在输入＜M＞上把M运行完，从而使D失去一次避开M的语言的机会。于是， 一不小心，D就可能与M判定同—语言，而定理无法得证。 通过修改D，给它另外的机会来避开M的语言可以弥补这一问题。不是