计算理论-智能信息处理研究中心.pdf

计算理论 1 前言 某些计算问题在理论上虽然是可解的，但是获得其解需要大量的时间 或空间，其难以在实践中得到应用，这样的问题称为难解的。 在第7、8章中，介绍了几个被认为是难解的问题，但是还没有一个得 到证明。例如，虽然还不知道怎样证明，但大多数人相信SAT 问题和 其他所有NP完全问题都是难解的。本章给出几个证明是难解的问题。 为了给出这些例子，先证明几个定理，将图灵机的能力与计算可获得 的时间或空间数量关联起来。在本意的最后，进一步讨论了证明NP 中 的问题是难解的可能性，也就是解决P 问题与NP 问题的可能性。首 先，介绍相对化技术，利用它来证明采用某些方法并不会达到这一目 标。然后，讨论一种被研究者采用，并已显示出一定前景的方法—— 电路复杂性理论。 2 难解性的含义： 若某一计算问题在理论上是可 解的，但解法需要耗费大量的时 间或空间，以至于无法在实践中 应用，则称该问题是难解的。 3 难解性的形式 难解性可以有多种形式： 例如： 1、一个大部分时间容易计算但偶尔很 难算的问题，仅在最坏情况下是难解的； 2、在超级计算机上是易算的，但在 PC机上可能需要过量时间的问题 4 本章的目标 证明存在理论上可判定 但实际中不可判定的问题即 可判定而难解的问题。 5 总之：难解性问题指的是在最坏情况 下复杂性太大，以至于在任何所能想象建 造出来的计算机上所耗费的时间都将超过 宇宙的余生。 例如：SAT 问题和所有的NP完全问 题。 6 主要内容 9.1 层次定理 9.2 相对化 9.3 电路复杂性 7 9.1 层次定理 通常的直觉是给图灵机更多的时间或空间就能扩大它所能 求解的问题类。 3 2 例如，在时间n 内，图灵机应能比在时间n 内判定更多的 语言。 在一定条件下，这种直觉是正确的。层次定理(hierarchy theorems)证明了这种直觉在满足某些条件下的正确性。 采用术语层次定理，是因为这些定理中的每一个都证明了 时间和空间复杂性类不全相同—它们形成一个层次结构， 其中时空界限较大的类比时空界限较小的类包含更多的语 言。 层次定理的分类 空间复杂性层次定理 （简单） 时间复杂性层次定理 （复杂） 8 9.1 层次定理 空间复杂性层次定理比时间复杂性层次定理稍简单一些， 故首先介绍它。在实际陈述定理之前，引入下面的定义。 定义 函数f :N →N ，f (n)到少为O(log n)，如果函数f 把1n 定义 9.1 9.1 映射为f (n)的二进制表示，并且该函数在空间 O(f (n)) 内是可计算的，称该函数为空间可构造的。 含义：如果存在某个图灵机M，在O(f(n)