基于图灵模型的P=NP问题分析.docxVIP

基于图灵模型的P=NP问题分析 摘要：P=?NP问题是计算复杂性中的核心问题。 2000年，美国克雷实验室将其收录为“千禧年大奖” 七个问题之首。本文基于图灵模型，对P=?NP问题的 研究现状、P=NP/PHNP证明方法、NPC问题求解方 法及研究进展进行阐述。 关键词：图灵机；P类；NP类；NPC问题 中图分类号：TP301.5 文献标志码：A 文章编号：1006-8228（2011112-01-02 0引言 上世纪60年代中期，Hartmanis等人提出了按照 对资源（时间、空间）需求的不同来划分问题的方法， 开创了计算复杂性理论。此后几年，随着研究的深入， 越来越多的问题涌现出来，而经典的P=? NP问题则 是计算复杂性中的核心问题。2000年，美国克雷实验 室将其收录为“千禧年大奖”七个问题之首。本文基 于图灵模型，对P=?NP问题的研究现状、P=NP / PNP 证明方法、NPC问题求解方法及研究进展作一阐述。 1计算模型 1. 1图灵机 1936年，Alan Turing提出图灵机计算模型，其基 本思想是用机器来模拟人们用纸笔进行数学运算的过 程。图灵机也称为确定型单带图灵机(Deterministic One-tape Turing Machine,简称 DTM),它用一个无限 长的带子作为无限存储器，有一个读写头能在有限状 态控制器控制下在带子上读、写和左右移动