算法基础-12-1.pptVIP

第十二章 NP-Complate问题NP-Complate Problems 12.1 P和NP类问题 12.2 NP-Complate问题 12.1 P 和NP 类问题 组合优化问题: 我们已遇到的优化问题有: 最短路径: 最小生成树 Huffman树 组合优化问题的不同版本: 优化版 Optimization version :在问题的所有候选解中找出最优解. 2. 判定版 Division Version : 问题的答案只有“Yes”和“No”. 例1:最短路径: Optimization version: 求从点v到点u 的最短路径长度; Division version:从点v到点u 有长度为len的路径吗? 例2:图的着色问题 Graph Coloring : 给定无向图 G V,E , 对顶点进行着色, 任何相邻点不能着相同色: Optimization version: 最少需要几种色? Division version: 给定k,该图可k-着色吗? 例3:最大团问题 Maximum clique 给定无向图 G V,E Optimization version: 求G包含的最大团 完全图 Division version:给定k,图G包含k-团吗? 这两个版本是等效的. 例4:背包问题 Knapsack :背包容量是c,有n个物品,大小为s1,s2,…,sn,权值分别是p1,p2,…pn; Optimization version: 找出总权值最大的能装入包的物品集合; Division version:给定k,存在一个总权值至少是k的能装入包的物品集合吗? 例5:集装箱问题 Bin packing : 有无限个容量为1的集装箱,n个物品,大小为s1,s2,…,sn, 0 si 1 Optimization version: 最少用几个集装箱. Division version: 给定k,用k个集装箱够吗? 例6:子集和问题 Subset sum : 给定正整数c和n个正整数s1,s2,…,sn Optimization version:求和小于等于c且最大的子集 Division version:有和为c的子集吗? 例7:哈米尔顿回路问题 Hamiltonian cycles : 无向图G V,E , 经过所有顶点的简单回路. Division version:G中有哈米尔顿回路吗? 例8:货郎担问题 Traveling Salesperson TSP : 带权完全无向图G V,E,W Optimization version:求出路径长度最小的哈米尔顿回路 Division version:给定k,有路径长度为k哈米尔顿回路吗? 例9:布尔表达式可满足性问题 Satisfiability : CNF Conjunctive Normal Form 表达式: Optimization version:求使给定CNF为真的一个指派. Division version:CNF能为真吗? Cook定理： CNF可满足性问题是NP-Complete问题。 是世界上的第一个 NP-Complete问题。 例10:布3-CNF可满足性问题 3-CNF-SAT :子句中最多有3个变量，是3-CNF,这是一个很重要的问题。 P 类问题（The Class P ） 多项式界算法（Polynomially Bounded Algorithms）：时间复杂度的上界是多项式，即：T n O P n . 也称为有效算法。 P类问题：具有多项式界算法的判定问题是p类问题。 例11： 图G V,E 是连通的吗？ 图G V,E,W 有边权之和小于等于L的生成树吗？ 在图G V,E 中，顶点v,u间有路径吗？ N P 类问题（The Class N P ） NP类问题 非正式定义 ：判定问题A, 如果给定一个解 C，有一个多项式界的算法A可以确定C是一个正确的解。 算法A 返回true 或 false（如果C不是A的解，也可能陷入死循环，无结果。） 例12：TSP问题：问题实例：给定L和一个图的邻接矩阵Adj dij , 一个建议的解u1,u2,u3,…,un, 验证算法： c 0; for u[2]; i n; i++ if 0 Adj[u[i-1]][u[i]] MAX c+ Adj[u[i-1]][u[i]]; else return false; if 0 Adj[u[1]][u[n]] MAX c+ Adj[u[1]][u[n]]; if c L return true; else return false; T n O n ; 例