NP完全问题证明.ppt

  1. 1、本文档共35页,可阅读全部内容。
  2. 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
几个NP完全问题;什么是NP完全问题;七大数学难题;什么是NP完全问题;8.5 一些典型的NP完全问题;8.5.1 合取范式的可满足性问题 (CNF-SAT);8.5.2 3元合取范式的可满足性问题 (3-SAT);;8.5.3 团问题CLIQUE ;8.5.4 顶点覆盖问题 (VERTEX-COVER) ; 证 将3SAT变换到VC. 设U={u1,u2,...,un}, C={c1,c2,...,cm}是3SAT的实例. 如下构造图G, 分量设计法. 真值安排分量: Ti=(Vi,Ei), 1?i?n, 其中Vi={ui,ūi}, Ei={{ui,ūi}} 任意覆盖必至少包含ui或ūi中的一个,否则不能覆盖边{ui或ūi}. 满足性检验分量: Sj=(Vj’,Ej’), 1? j? m, 其中 Vj’={a1[j],a2[j],a3[j]} Ej’={{a1[j],a2[j]},{a1[j],a3[j]},{a2[j],a3[j]}} 覆盖至少包含Vj’中的两个顶点,否则不能覆盖Ej’中的三角形 ;联络边: 沟通分量之间的关系 对于每个子句cj, 设cj = {xj,yj,zj}, 则 Ej’’={{a1[j],xj},{a2[j],yj},{a3[j],zj}} G = (V,E) V = (V1?V2?...?Vn)?(V1’?V2’?...?Vm’) E = E1?E2?...?En)?(E1’?E2’?...?Em’) ?(E1’’?E2’’?...?Em’’) K = n +2m 显然构造可在多项式时间完成;重庆调查公司重庆私人侦探 奀莒哔;例如 U = {u1,u2,u3,u4}, C = {{u1,ū3,ū4},{ū1,u2,ū4}}, 则G如下,K = 4 + 2×2 = 8; 设V’是V中不超过K的顶点覆盖, 则V’中必包含Ti中的一个顶点和每个Ej’中的两个顶点, 至少要n+2m个顶点. 而K=n+2m, 故V’中一定只包含每个Ti中的一个顶点和每个Ej’中的两个顶点. 如下得到赋值 ui?V’ ? t(ui)=T ūi?V’ ? t(ui)=F Ej’’中的三条边有两条被Vj’?V’中的顶点覆盖, 第三条必被V’?Vi中的顶点覆盖. 这表示在Vi中的这个顶点对应的文字取真. 所以子句cj被满足. 从而C被满足. 设t: U?{T,F}是满足C的一组赋值. 若t(ui)=T, 则在Ti中取顶点ui, 否则取ūi. 因为t满足子句cj, 在Ej’’中的三条联络边中至少有一条被覆盖, 那么取Ej’’中的另两条边的端点作为V’中的端点即可. ;实例:有穷集A,?a?A, s(a)?Z+. 问:是否存在A’?A,使得;;例如: W={w1,w2},X={x1,x2},Y={y1,y2}, M={(w1,x2,y2),(w1,x2,y1),(w2,x1,y1)} p=?log(3+1)?=2 元素a1,a2,a3分别对应 (w1,x2,y2),(w1,x2,y1),(w2,x1,y1) s(a1) = 01 00 00 01 00 01 = 210 + 24 + 20 s(a2) = 01 00 00 01 01 00 = 210 + 24 + 22 s(a3) = 00 01 01 00 01 00 = 28 + 26 + 22 B = 01 01 01 01 01 01 ;子集A’ = {ai:1?i?k} 满足 ;假设A’? A使得A’和A-A’的元素大小之和相等,即;;限制法 三元集合的恰当覆盖(X3C) 最小覆盖问题 集中集 子图同构问题 有界度的生成树 0-1背包Knapsack 多处理机调度; 局部替换法 3SAT 两点间的Hamilton通路问题 区间排序 分量设计法 最小拖延排序;限制法:通过对问题?的实例加以限制得到一个已知 NP完全问题的实例. 例1 三元集合的恰当覆盖(X3C) 实例:有穷集S, |S|=3q, S的三元子集的集合C 问: 是否有C’? C, 使得S的每个元素恰好出现在C’的一个成员中. 证明:限制 S = W?

文档评论(0)

勤能补拙 + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档