第四讲NP与完全性理论 .pptVIP

NP完全性理论 内容 计算的形式描述－－计算模型 可计算性理论 P类与NP类问题 NP完全性理论 NP完全性的典型例子 1 理论计算模型－图灵机 A.Turing在1936年介绍了这样一个通用的计算模型，该模型具有以下两个性质 该模型的每个过程都是有穷可描述的； 过程必须是由离散的、可以机械执行的步骤组成。 图灵机是计算机的一种简单数字模型，尽管简单，但它具有模拟通用计算机的计算能力。为算法和可计算性研究提供了形式化描述工具。 图灵机（Turing Machine) 带子可读可写 无限长的带子 读写头可左移右移 图灵机的工作机制 在一个图灵机的动作中，图灵机根据带头（读写头）所扫描的符号和有限控制器的状态可能作 改变状态 在被扫描的带单元上重新写一个符号，以代替原来写在该单元上的符号. 将带头向左或者右移一个单元。 。 其他图灵机模型 “实际的”的图灵机模型 单带图灵机（1TM） 多带图灵机（kTM） 随机存取机（RAM） “实际的” 单位时间内完成的工作量有一个多项式上界 所有“实际的”计算模型多项式时间等价 2 P类与NP类问题 算法的时间复杂度（分成二类） 多项式时间 指数时间 可计算与不可计算 指数灾难：计算量的指数增长 Non-deterministic algorithms 目前所講的算法都有一個前提假設，就是它的每個運算(operation)的結果都是獨一(