算法分析与设计2004春.课件.第10讲【荐】.pdfVIP

Lecture 10. NP完全性理论 清华大学软件学院 宋斌恒 清华大学宋斌恒 1 内容提要 • 计算模型与计算复杂度关系 • 问题分类：【P 】与【NP 】类 • NP－难【hard 】问题，NP完全集 • 第一个NPC 问题和NPC 问题集 • 如何证明一个问题是NPC 问题 清华大学宋斌恒 2 涉及到的算法理论基础 • 原则上是否存在一般数学问题的解题步骤的判 决问题【希尔波特第十问题】 • 图灵机的停机问题：是否存在一个图灵机，他 可以回答其它图灵机是否停机【既算法是有界 的】 • 图灵公理：凡是可计算的函数都可以用一台图 灵机来计算 • P－NP －NPC 问题定义及其猜想：NPC是一类 不可以在多项式时间内计算的问题。 清华大学宋斌恒 3 明代数学家程大位著《算法统 宗》中关于珠算的插图 清华大学宋斌恒 4 机械式手动计算机 清华大学宋斌恒 5 机械计算机 • 法国数学家、哲学家帕斯卡在1642年发 明了一种机械计算机，并与1649年取得 专利。帕斯卡的计算机采用一种齿轮系 统，其中一小轮转十个数字，下一个小 轮便转动一个数字，通过齿轮系的联 动，可以进行加法和减法的运算. 清华大学宋斌恒 6 图灵 • 大半个世纪以来，数学家、计算机 科学家提出了各种各样的计算模型 都被证明是同图灵机器等价的。这 一理论已被当成公理，它不仅是计 算机科学的基础，也是数学的基础 之一。为纪念英国数学家Turing (1912-1954) 而设立的图灵奖成为计 算机界的诺贝尔奖. 清华大学宋斌恒 7 图灵机模型 清华大学宋斌恒 8 图灵机模型 • 图灵机模型用一个无限长的带子作为无限存储, 它还有一个读写头,这个读写头能在带子上读, 写和移动 : 开始时,带子上只有输入串,其它地 方都是空的.当它需要保存信息时,读写头就把 信息写在带子上.为了读某个输入或写下的信 息,带子可能将读写头往回移动到这个信息所 在的地方.这样读,写和移动,机器不停的计算, 直到产生输出为止.机器实现设置了两种状态: 接受或拒绝 清华大学宋斌恒 9 图灵机定义 • 一个图灵机是一个7元组(Q, ∑, Γ, δ,q0,q1,q2), 其中Q, ∑, Γ都是有穷集合,并且 • 1)