NP完全问题.pptVIP

几个典型的NPC问题 三元可满足性问题(3-SATISFIABILITY) 　 判定问题：3-SATISFIABILITY 　 输入：三元合取范式f 问题：对布尔表达式f中的布尔变量赋值，是否可 　　　使f的真值为真。 SATISFIABILITY∝p3-SATISFIABILITY 几个典型的NPC问题 图的着色问题(COLORING) 　 判定问题：COLORING　 输入：无向图G=(V,E) 问题：是否可用ｋ种颜色为图Ｇ的顶点着色，使 　　　得相邻顶点不会有相同颜色。 3-SATISFIABILITY∝pCOLORING 几个典型的NPC问题 集团问题(CLIQUE) 　 判定问题：CLIQUE　 输入：无向图G=(V,E),正整数k 问题：图Ｇ中是否包含大小为k的集团，即Ｇ中是 　　　否具有含ｋ个顶点的完全子图。 SATISFIABILITY∝pCLIQUE 几个典型的NPC问题 顶点覆盖问题(VERTEX COVER) 　 判定问题：VERTEX COVER　 输入：无向图G=(V,E),正整数k 问题：图Ｇ中是否存在一个大小为k的顶点覆盖 CLIQUE ∝pVERTEX COVER 其他的NP完全问题 哈密尔顿回路问题HAMILTONIAN CYCLE 判定问题：HAMILTONIAN CYCLE　 输入：无向图G=(V,E) 问题：图Ｇ中是否存在一条简单回路，使得每个 　　　顶点经过一次且一次。 其他的NP完全问题 子集求和问题SUBSET SUM 判定问题：SUBSET SUM　 输入：整数集Ｓ、整数ｔ 问题：是否存在Ｓ的一个子集Ｔ，使得Ｔ中整数 　　　之和为ｔ。 其他的NP完全问题 多处理器调度问题MULTIPROCESSOR SCHEDULING 判定问题：MULTIPROCESSOR SCHEDULING　 输入：m个同构处理器、n个作业、时间T 问题：是否可将n个作业分配至m个处理器，使其 在T内完成。 NP完全问题的研究现状 已发现3000多个NP完全问题 2000年5月24日，美国克雷数学研究所在巴黎法兰 　西学院宣布了七个“千年数学难题”，解决其中一个可获百万美元奖励。 　其中庞加莱猜想已被我国中山大学朱熹平教授和旅 　美数学家曹怀东解决。 ? 庞加莱猜想的真正破解者 　　国际数学界认为，庞加莱猜想的真正破解者为俄罗斯数学家佩雷尔曼。 2006年，国际数学联合会决定授予佩雷尔曼菲尔兹奖。这是数学界的最高奖项，有人称它为数学界的诺贝尔奖。佩雷尔曼拒绝了。 NP完全问题的研究现状 1、NP完全问题 (NP = P?) 2、霍奇猜想 3、庞加莱猜想 4、黎曼假设 5、杨－米尔斯理论 6、纳卫尔－斯托可方程 7、BSD猜想。 /view/521722.htm 解决NP=P?的途径 解决这个猜想，有两种可能： 一种是找到一个这样的算法，只要针对某个特定NP完全问题找到一个多项式算法，即可证明NP = P。 另外一种可能，就是这样的算法是不存在的。需要从数学理论上证明它为什么不存在。 6 NP完全问题的求解 当必须求解NP完全问题时，有以下几种处理方法： 只运行小的问题实例 　不是所有问题都接受该方法。如TSP问题。 解决这个问题的一个不太困难的实例 　如，顶点覆盖问题。 　若假设图为二部图(图分为两部分，每个子集内部的两个顶点之间无边)，则可在多项式时间内求解。 NP完全问题的近似解法 使用动态规划、回溯法或分支限界法求解 使用概率算法求解 使用启发式算法求解 遗传算法、模拟退火 NP完全问题 1 什么是好算法？ 算法的种类和数量积累到一定程度时，需要对算法进行比较和分类。 什么是好算法？Edmonds，1975年提出了一个被沿用至今的标准。 Edmonds算法标准 Edmonds算法标准指出具有多项式时间的算法为好 算法。 多项式时间算法：如果П是任意一个问题，对П存 在着一个算法，它的时间复杂性为O(nk),其中n为输 入规模，k为非负整数，就认为存在着一个解问题П 的多项式时间算法。 以多项式作为分界函数？ 原因有两个： 一、常见算法大致分为两类： 一类是多项式时间内可实现的 另一类需要指数时间（O(cn)) 多项式时间算法的可实现性远大于指数时间算法。 以多项式作为分界函数？ 二、多项式时间算法与计算模型无关 算法的研究依赖于计算模型。在不同类型计算模型上实现算法，计算时间不同。 广义Church—Turing命题：不同计算模型上的计算时间有多项式关系。 多项式与多项式的复合函数是多项式，因此，多项式时间算法与计算模型无关。 2 P类问题