参数计算简介(NP-难问题的算法设计与分析).pptxVIP

参数计算简介

(NP-难问题的算法设计与分析)冯启龙

第2页提纲NP完全理论参数计算理论分支界定彩色编码核心化

NP完全理论第3页NP完全理论多项式可解PNP难解问题各领域中的可计算问题最小生成树最短路径最大流问题最大匹配问题……顶点覆盖最大团独立集旅行商问题……多项式可解P多项式可解PNP难解问题多项式可解PNP难解问题多项式可解PNP难解问题多项式可解P最小生成树最短路径最大流问题最大匹配问题……顶点覆盖最大团独立集旅行商问题……最小生成树最短路径最大流问题最大匹配问题……

NP完全理论第4页NP:在多项式时间内被验证，仅回答Yes或No(判定问题)如何判定给定问题是否在NP中？给定图G=(V,E)，问图G中是否存在V的一个大小不超过k的子集V’，使得E中的任意一条边e,e至少有一个端点被包含在V’中。点覆盖给定V的任意一个子集V1,如果可在多项式时间内判定V1是否为点覆盖问题的解，则说明点覆盖问题在NP中。

NP完全理论旅行商问题第5页给定完全图G=(V,E)，其中每条边赋有一定的权值，并给定参数K，问G中是否存在一条权值小于等于K且包括图中所有点的圈。给定G中的任意一个圈S,可在多项式时间内判定S是否为旅行商问题的解。

NP完全理论第6页多项式规约01Q1x02Q2r(x)03多项式时间04Yes05Yes06Yes07Yes08

NP完全理论第7页Q多项式规约NP中的任意问题问题Q是NP-难的NP-难

NP完全理论第8页QNP-完全NP-难+在NP中问题Q是NP-完全的12

NP完全理论第9页可满足性问题(Satisfiability)1NP中的任意问题2可满足性问题3多项式规约4可满足性问题是NP-难的5给定一个合取范式Ｆ，是否存在对F中变量的一个赋值使得F为真?6可满足性问题7可满足性问题在NP中8可满足性问题NP-完全9

NP完全理论第10页怎样证明某个问题是NP难的？Q1xQ2r(x)多项式时间YesYesYesYes

NP完全理论第11页logo关系图:P,NP,NP-难,NP-完全

NP完全理论第12页01哪些问题是NP-难的,但不是属于NP?02判断任意一个给定程序是否会在有限的时间之内结束运行。03停机问题(HaltingProblem)04哪些问题属于NP,介于P与NP-完全之间?05给定图G和H，判断G和H是否同构？06图同构问题(Graphisomorphism)07给定整数N和M，判断N是否有一个比M小的因子?08整数分解(Integerfactorization)

参数复杂性(ParameterizedComplexity)点覆盖独立集输入图G,整数k图G,整数k问题是否可用k条点覆盖G中的所有边?是否存在k个相互独立的点(两两之间没边)?复杂性NP-完全NP-完全枚举O(nk)O(nk)O(2kn2)参数计算不存在O(no(k))的算法

参数复杂性(ParameterizedComplexity)如果参数化问题Q可在O(f(k)nc)时间内被求解,其中c为常数,则称Q是固定参数可解的。固定参数可解(FixedParameterTractable,FPT)基本思想传统精确算法指数底与n有关参数算法指数仅与k有关,n仅在多项式部分出现

第15页参数复杂性(ParameterizedComplexity)参数计算理论对问题的难解性重新进行了划分：NP难解问题固定参数可解O(f(k)nc)不存在O(f(k)nc)算法固定参数不可解寻找k大小的点覆盖寻找长度为k的简单路径寻找k个不相交的三角形……删除k个点使给定图无圈最大团独立集支配集……

参数复杂性(ParameterizedComplexity)固定参数不可解W框架，W[1],W[2]….Q1(x,k)Q2(x’,k’)固定参数可解规约Q1YesQ2YesQ2YesQ1Yes固定参数可解规约O(f(k)nc)最大团W[1]独立集W[1]支配集W[2]

参数复杂性(ParameterizedComplexity)Q1(x,k)Q2(x’,k’)固定参数可解规约Q1W[1]Q2W[1]O(f(k)nc)W难度的证明

参数复杂性(ParameterizedComplexity)NP-完全理论与参数计算理论的关系：各领域中可计算问题易解问题(P)难解问题难解问题固定参数可解固定参数不可解O(f(k)nc)W[1],W[2]….

分支界定(Branch-and-Bound)给定图G＝(V,E)和正整数k，问V是否存在一个大小不超过