Chapter-9 NPCompleteProblem完全问题相关.pptVIP

9NP完全问题 NPCompleteProblem ;本章内容提要;9.1 引言;9.1.2 易解问题与难解问题的主要区别;;;9.2 P类问题和NP类问题 ;确定性算法与P类问题;定义9.3(非确定性算法):设A是求解问题∏的一个算法，如果算法A以如下猜测并验证的方式工作，称算法A为非确定性(nondeterminism)算法： 猜测阶段：对问题的输入实例产生一个任意字串y，在算法的每次运行，y可能不同，因此猜测是以非确定的形式工作。这个工作一般可以在线性时间内完成。 验证阶段：在这个阶段，用一个确定性算法验证两件事：首先验证猜测的y是否是合适的形式，若不是，则算法停下并回答no；若是合适形式，则继续检查它是否是问题x的解，如果确实是x的解，则停下并回答yes，否则停下并回答no。要求验证阶段在多项式时间内完成。 ;;NP类问题;关于P与NP关系的初步思考 --从字面含义;NP完全问题是NP类问题的子??，一个具有特殊性质与特殊意义的子类。 ;问题变换;多项式时间变换 ;举例：多项式时间变换;多项式时间变换的性质;NP完全问题;NP完全问题的定义;对“NP完全问题”的评述;P类问题、NP类问题、NP完全问题的关系;关于P与NP关系的再思考 --从深层意义;最基本的NP完全问题;其他NP完全问题;如何证明一个问题是NP完全的？;证明一个问题是NP完全的 --以最大团问题为例;SAT问题∝poly团问题;设f有n个子句，则f可满足 ? n个子句同时为真 ?每个子句至少1个文字为真 ?G中有n个顶点之间彼此相连 ?G中有n个顶点的团 显然，上述构造图G的方法可在多项式时间内完成，故有：SAT∝poly团问题。 由以上证明可知，团问题是NP完全问题。;NP难问题;co-NP类由它们的补属于NP类的那些问题组成。例如： 旅行商问题的补：给出n个城市和它们之间的距离，不存在长度为k或更少的任何旅程，情况是那样吗? 可满足性问题(SAT)的补：给出一个公式f，不存在使得f为真的布尔变量指派，是吗? 换言之，f是不可满足的吗? 换个角度来看， co-NP类问题也是NP完全问题。;co-NP类问题的定义;9.5 NPI类问题;关于NPI类问题的评述;一个例子;另一个例子;9.6 P、NP、co-NP、NPI类之间的区别???联系 ; NP完全问题是计算机难以处理的，但是实际中经常遇 到，我们无法回避这些问题。因此，人们提出了解决NP完全问题的各种方法： 采用先进的算法设计技术 问题规模不是很大时，采用动态规划法、回溯法、分枝限界法等。 近似算法 很多问题的解允许有一定的误差，只要给出的解是合理的、可接受的。 ;NP完全问题的计算机处理技术简介;NP完全问题的计算机处理技术简介;祝你成功！;南京理工大学