计算复杂性理论部分进展简述1.pdfVIP

算复杂性理论部分进展简述1 蔡进一 葛 启 朱 洪 前言 算复杂性理论博大精深，它在整个计算机科学领域处于核心的地位 （此句程虎老师认为 过头，建议改为地位之一）。复杂性理论和算法的不同之处在于，它不是单单研究解决某个问 题的方法，而是研究一类问题的性质。在上世纪60 年代中期，Hartmanis 等人提出了通过对资 源（时间、空间）需求的不同来划分问题，从此开创了计算复杂性理论。此后几年，大量复杂 性类被提出，并 很多新方法被应用，计算复杂性的框架被建立起来。但是随着研究的深入， 越来越多的问题也涌现出来，比如说经典的问题P =?NP ，是计算复杂性中的核心问题。随着新 的问题以及新模型的提出， 算复杂性理论被不断地丰富，并且每一次重大成果的出现都必然 伴随着新方法的使用。 本文在第二部分介绍了近20 年来，复杂性理论最重要的成果之一，即交互证明系统模型， 以及它对证明NP 难问题不可近似性的贡献。这一部分主要按时间的顺序，介绍了交互证明系 统的发展过程，其间的重要结论，所使用的主要方法，以及如何通过交互证明系统来求 NP 难 问题的不可近似度。 本文在第四部分介绍了计算复杂性理论一个最新进展，即对数空间复杂性类之间的关系， 这些复杂性类的提出由来已久，但是直到2005 年才有了突破性的结果。在这一部分将介绍这些 复杂性类的来源，这个突破性的结果以及所使用的方法。 交互证明系统以及不可近似性 交互证明系统的提出及发展 在数学中，为了证明一个命题，其方法都是罗列出一串过程，或者说是证据，然后 用最 基本的公理的正确性以及证据之间的逻辑关系，最终得到命题的正确性。其实简化一些来看， 这个过程就是证明者为了证明某个命题的正确性，从而将一些证据都列举出来，他认为从这些 证据可以得出命题的正确性。而对其他人（称作验证者）来说，如果要检验证明者的结果，只 要将其证明的过程验证一遍，按照其证据之间的关系以及某些公理假设，看是否可以最终得到 其所提出的命题的正确性，如果可以，就认为这个命题是正确的，否则为假。这个过程可以简 单地看作一个一轮的交互过程或者证据，即证明者将他的证明过程发送给验证者，然后由验证 者验证。 而交互证明系统IP （Interactive Proof Systems ）正是将以上的数学证明方法推广的一个模型。 交互证明系统由两方组成，一方称为证明者 （Prover ），一方为验证者 （Verifier）。对于给出 的某个命题，证明者总是要说服验证者命题的正确性 （不管这个命题本身是否真的正确），证 1Supported by NSF Grant, USA (CCR-02080 13) and NSFC Grant, 1 明的方法就是以上交互的过程，不过不仅仅限定在一轮，即证明者告知验证者某些证据，验证 者在得到这些证据后验证其正确性，同时，验证者可能还会有疑问，他可以向证明者提出问题， 证明者需要回答这些问题。并 双方在交互中都可以使用随机串，即验证者可能有很多问题需 要证明者来回答，但是他没有办法等待这么多时间来验证所有问题的答案，所以他会采用随机 的方法，从中选取一些题目要求证明者回答。在进行完所有的交互以后，验证者判断证明者给 出的证明过程是否足以证明命题的正确性。 交互证明系统最初由Goldwasser、Micali 和Rackoff[27] 以及Babai [5]分别提出。 定义1 （Goldwasser et al. [27] ）一个语言L 的交互证明系统是一个由证明者和验证者组成的 交互过程，他们有共同的输入，并 他们的交互过程满足如下的条件： 1. 验证者的策略是一个概率多项式时间的过程。 2. 证明者的计算能力没有限制。 3. 正确性要求： ●完备性：存在一个证明策略P 对于任意的x 2 L 当交互的输入为x 时，证明者P 可以以至少2/3 的概率使得验证者接受。