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

封面报道 第 1 卷 第 2 期 2005 年 7 月 计算复杂性理论部分进展简述* 蔡进一 葛 启 朱 洪 关键词：复杂性理论 交互证明系统 清华大学 在这个方面的一个前沿课题：“张榜公钥模型 前言 下常数轮并发-安全的可重置零知识证明和辩 论系统”的研究成果；第四部分介绍了计算复 计算复杂性理论博大精深，是计算机科学 杂性理论一个最新进展，即对数空间复杂性类 领域核心之一。复杂性理论和算法的不同之处 之间的关系。这些复杂性类的提出由来已久， 在于，它不是单单研究解决某个问题的方法， 但是直到2005年才有了突破性的结果。在这一 而是研究一类问题的性质。在上世纪60年代中 部分还将介绍这些复杂性类的来源，这个突破 期，哈特马尼斯（Hartmanis）等人提出了通 性的结果以及所使用的方法。 过对资源（时间、空间）需求的不同来划分问 题，从此开创了计算复杂性理论。此后几年， 交互证明系统以及不可近似性 大量复杂性类被提出，并且很多新方法被应 用，计算复杂性的框架被建立起来。但是随着 交互证明系统的提出及发展 研究的深入，越来越多的问题也涌现出来，比 如说经典的问题P=NP1 ，是计算复杂性中的核 在数学中，为了证明一个命题，其方法都 心问题。随着新的问题以及新模型的提出，计 是罗列出一串过程，或者说是证据，然后利用 算复杂性理论被不断地丰富，并且每一次重大 最基本的公理的正确性以及证据之间的逻辑关 成果的出现都必然伴随着新方法的使用。 系，最终得到命题的正确性。其实简化一些来 本文在第二部分介绍了近20年来，复杂 看，这个过程就是证明者为了证明某个命题的 性理论最重要的成果之一，即交互证明系统模 正确性而将一些他认为可以证明命题正确的证 型，以及它对证明NP难问题不可近似性的贡 据都列举出来。而对其他人（称作验证者）来 献。这一部分主要按时间的顺序，介绍了交互 说，如果要检验证明者的结果，只要将其证明 证明系统的发展过程、其间得到的重要结论、 的过程验证一遍，按照其证据之间的关系以及 所使用的主要方法，以及如何通过交互证明系 某些公理假设，看是否可以最终得到其所提出 统来求NP难问题的不可近似度；第三部分介绍 的命题的正确性，如果可以，就认为这个命题 零知识系统的基本知识和最新进展以及我们组 为真，否则为假。这个过程可以简单地看作一 * NSF Grant.USA(CCR-0208013)和NSFC Grant持 1 P和NP是最基本的两个计算机复杂性类。在复杂性理论中把在多项式时间内用确定型机器可识别的 语言集合归入一类,记为P (deterministic polynomial time)，把那些用非确定型机器在多项式的串行时间