pcp定理及其在不可近似问题研究中的应用 pcp theorem and its applications to research on non-approximatable problems.pdfVIP

ISSN1673—9418CODENJKYTA8 and JournalofFrontiersof Science Computer Technology http：／／www．ceaj．org 1673-9418／2008／02(01)—D020—12 PCP定理及其在不可近似问题研究中的应用凇 许道云+ XU Daoyun+ 贵州大学计算机科学系，贵阳550025 of Science，Guizhou 550025，China DepartmentComputer University，Guiyang +Correspondingauthor：E—mail：dyxu@gzu．edu．ca XU theoremandits toresearchon Daoyun．PCP applications non—approximatable and ofFrontiersof Science Computer Technology．2008，2(1)：20-31． in forrecentten intro— Abstract：ThePCPtheoremisoneof results important complexity years．Thepaper duces evolutionfrom modeltothe CheckableProofs(PCP)，thebasic the Turingcomputation Probabilistically andits and to ofPCP theory principleapproachnon—-approximatableproblems． words：PCP Key theorem；approximation 摘要：PCP定理是近十年来计算复杂性领域内的重要成果之一，介绍了从图灵计算模型到概率可验证明 (PCP)计算模型的演变过程、PCP系统的基本理论，以及PCP定理应用于不可近似问题研究的基本原理和方法。 关键词：PCP定理；近似算法；不可近似性；NP一难 文献标识码：A 中图分类号：TP301 根据地址从证明带上获取．厂_值，以帮助(或参与)往 在经典图灵(Turing)计算模型的基础上，对图灵 机的两种改造方式衍生出计算复杂性新的研究领域： 后的计算。这类改造本质上扩充了经典图灵机的计算 一是在图灵机的基础上增加一条外部信息源带 能力，而且在实际应用中，这种计算模型随处可见。 如：学生做题的过程中，充许向教师或他人、参考书等 (也称为Oracle带、证明带)，带上的描述可以用一个 函数厂．肛{o，1)表示。在计算开始之前，先将．厂作为求助；知识竞赛中，参与人可以向局外人求助，等等。 额外的输入置于证明带上(厂与具体实例输入戈无关)， 显然，计算的能力与询问次数、每次询问时的地址个 在机器的状态中增加一类询问状态，当机器进入询问 数的限制密切相关。 状态时，根据当前计算决定一个(组)访问地址，然后 二是在图灵机的基础上增加一条随机带充当随 4 of the Foundationfor ScientificResearchConditionGuizhou(贵州省高层次人才科研条件特助经费) Special Improving Received2007-1 2008-01． 1，Accepted 万方数据 许道云：