最新NPC问题整理.docxVIP

-k-k-k -k-k-k NPC问题 亠、SAT、3SAT问题描述 血71可题挹血 给定一个有旁的布尔变咼集合X = pTMj.….、Xj-|x|= n-毎个变毘能取0或1?一组子旬C={CpC]f?..pCj-|C|=W OC.aQa^-aC^ 4(个筑由赛仪量筑咸的折取蘊式*牡璧不FR,即為—宀环 …“屮 蛤定一牛布红变宦集合、和于句集缸.是否存在一个倉值械值.堂书c为宜.即每卜子可皆真： 3SA 丁何翼揃述： 蜡庄一牛有35的布尔賣?集舍X二甜,斗x^\X\= nr毎牛变-fl^fi]C = (Q,CltCJ,|C|=ft 莓个G是一个由三丰变屋组成的析取范式.即Z.v^VJj. 问I跆定一牛布対变倩年含和于句集銚?录否77S-个直值賦恒匣申曲固.印毎亍于句为直 站:打的训子上 JV = = {Cj.Cj.Cg） _Cj = .tj v x3 v 覽j*G = -tj v x. v .% C?5 = rL v x2 v 耳_则存在IfitBflSS: xf = L.t3 = I..rs = L 便得f = 1、证明 1证明3SA1是:炉司题。 啲实例为X = {^x “r.}, C = {CPC:…CJ.证书为对每个变量的轼值.我们貝要验迂每片子句都为真即可. 程明显这个过煙是赛项或时间的. ZL 丄绘出區旳哎琨? 洽宦一个血闻实旳1 X=tr|riimx,^ C={qpC]1.^pC,^ Q = Zj vj,jVJ,r ?*?vz』我们要将IM、问題的七別覆威3SAT的实例JC、C\ VC,育以下四种悄况「 UJ C =L 则创連二 A 变*:片广阳,.^^,* = （1,. vi^v^aCi,, vyriv.i,jA（iJ1v~v7）A（t1v~v.K?） ⑵IUI■忑赠栩建1 个奎?儿.ttWC/ ■ (I J V ：J V J^)A(2fil V X.i V ⑶.匚l=￡匹革雙即即* I⑴r,i4*假设林，Ei褊如1[-忑牛宅量* ttflc/=(E?和w耳j和坍#屮)為(77和 3”证明此规约为多项式时间的。 I 对于每个子句q G1比C詳了最多氐-3个变量，因此拿个- 3)个变量和m (k-3)个子句匚 接下来我们耍证明G是可满足的当且仅当亡是可満足的。 1 的冥剁.剪栗存吐一个宜垣Nt值.观毎伞于刼匚一定育一 fhtcial为i,即… 5倂—定有一亍为h O)|CH|=1 SttlZjj^L因此不论儿r阳』为何C*=V (2)|^|= X ^JZ11vzrl = L 苹论)：閃何恒.C/-L ⑶IGR Wlr；=h (4)|匚底4则槪段： -和”％二h奥抵厂0G二】2土…,k- 3因此C； = ] -2^.1 vrfb = L 111x^10 = 1,2,1 ?,13).因此q*?L -z, =K2 /* -1) 呱j匚= 05$ j-2) * m =t 乏 j-l .因此C； = l： 困此再封T的直億腻也十 I §假设*是€的夏迴咽也.證容易得ME再在直宜址值“ 当 G =忆 J V jFt V Zj)a(z^ V ytl V 耳 Ja(e^v^v^J A(zuv 儿 v yti)=L 则必须畫片严 L SC/ (zJrlvva(z,j vifj vyfA^rL 则必須要％ */f】? 当 Ch = Ua v v A(\i VSijv Zu A(^: v 7 3^) A.?A(y^v ?^4v ?aX 暇设Etl V zu V zt J. . . . V E|jfc -Oh且^ -1, WVj - If ft, - 0,以此类巻詔出阳*.厂0?使再星石(*心￥兀上“”司J?G因此斷C,■奇JS? 顶点覆盖规约到独立集、团问题 一、 问题描述 独立集定艾：如果有一个顶点集合乳S中任當两亍顶点之间都没边’则称$为一个柱立巢. 独立集问题播述： 给定一个图G=(\[ E)和整数k, 问:是否存在至少大小为k的独立集S? 顶点覆盖定义’如果一个顶点集台缶G中的任意一荼边都号S申的某个顶点相关联.则称S为顶点按盖. 顶点覆盖问题描述’ 给定一个图G=(V?E)和整数4 问；是否存在至劣大小为1(的顶点覆着S? 团：如果有一个顶点集合仝S中任意两个顶点之间都有边，则称S是一个团。 团问题描述「 给定一个图G= (Vf E)和整数匕 问：是否存在至少大小为k的团5? 二、 证明 】顶点種盖规约到独立整 悄设育一个顶点瑞蒂克测(「心「有一乍大怡为上的顶点璋需5财G中任意一杀边c虺的两平端点中至少肓一平点在￡中, 则他的两0端点中至多有一个点蛊申* SCV ￡中任意两个点段宵边” BPV-S为蚀立臺. 所仕只要G中存护一个丈小为k的顶戌環厳.则中存再一亍￥-k的蠻立集- zL 2.独立集规約到团 碌设有一牛独立集实