P、NP、NPC
概念
> P问题:能够在多项式时间内解决的决策问题。
—举例: 图搜索问题、最短路径问题、最小生成树问题······
> NP问题:不能在多项式时间内解决或不确定能不能在多项式时间内解决,但能在多项式时间验证的问题。
—验证:给定一个问题的实例、证书(类似于证据),需要验证这个证书是这个问题的正确答案。
— 举例:汉密尔顿路径,实例为G=(V,E),证书为顶点序列 {v0,v1,v2,v3,….,vk},我们的目的是要验证这个证书就是这个问题的答案,验证方法为:先遍历一遍这个点序列,看看是不是每个点只出现一次,然后对于(vi,vi+1)是否为G的边,这样就能够验证这个点序列是不是汉密尔顿路径,很显然这个验证过程是多项式时间的,所以汉密尔顿路径是NP问题。
> NPC问题:目前不能用多项式时间解决的问题,但是我们还不能证明这个问题不能用多项式时间解决,我们这次的目标是研究这个问题。
—满足的两个条件:是一个NP问题 + 所有的NP问题可以在多项式时间内规约到它
—举例:3SAT、顶点覆盖、团、三维匹配、汉密尔顿回路、划分问题·······
> NP难问题:所有的NP问题可以在多项式时间归约到它,但它不一定是一个NP问题
> 归约(约化)的标准概念: 如果能找到这样一个变化法则,对程序A的任意一个输入,都能按这个法则变换成程序B的输入,使这两个程序的输出相同,那么我们说,问题A可归约为问题B
— 问题A可以约化到问题B的含义是,可以用解决B的解法来解决A,或者说A可以“变成”B。
—A可归约为B的直观含义:B的时间复杂度>=A的时间复杂度。也即,A比B简单。
关系
P、NP、NPC、NP Hard问题的关系如下:
证明NPC问题
证明问题B是NPC问题的过程如下:
- 证明B是NP问题
- 知道一个已知的NPC问题A
- 证明A归约到B。
常见归约问题
基本知识
1、独立集 —— 在图G = (V,E)中,如果顶点集合S⊆V中的任意两点之间都没有边,则称S是独立的。
—难点: 寻找最大独立集。
—目标: 装入尽可能多的顶点,要求边涉及到的边服从一些限制条件。
2、顶点覆盖 —— 给定图G = (V,E),顶点集合S⊆V,如果图中的每一条边至少有一个端点在S中,则称S是一个顶点覆盖。
—难点: 寻找最小顶点覆盖。
—目标: 用尽可能少的顶点覆盖图中的所有边。
3、集合覆盖 —— 试图用一组较小的集合覆盖一个任意的对象集合。
常见问题
1、独立集问题——给定图G和数k,问是否包含大小至少为k的独立集?
2、顶点覆盖问题——给定图G和数k,问G是否包含大小至多为k的顶点覆盖?
3、集合覆盖问题——给定n个元素的集合U,U的子集S1,···,Sm以及数k,问在这些子集中有一组子集,它们的并等于整个U且至多包含k个子集吗?
4、集合包装问题——给定n个元素的集合U,U的子集S1,····,Sm以及数k,问在这些子集中至少有k个两两不相交吗?
5、SAT(可满足性问题)——给定bool变量集X={x1,···,xn}上的一组子句C1,···,Ck,问存在满足的真值赋值吗?
注意:每个子句均为析取子句(逻辑或∨),最终结果为各个子句的合取(逻辑与∧)。
6、3-SAT(三元可满足性问题)——给定bool变量集X={x1,···,xn}上的一组子句C1,···,Ck,每个子句的长为3,问存在满足的真值赋值吗?
注意:同上。
常用引理
设G=(V, E)是一个图,S⊆V,那么S是一个独立集当且仅当它的补V-S是一个顶点覆盖。
证明:首先,设S是一个独立集。考虑任一边e=(u,v),因为S是独立集,u和v不可能同时在S中,所以u和v至少有一个在V-S中,即得任一边至少有一个端点在V-S中,所以V-S是一个顶点覆盖。
反过来,设V-S是一个顶点覆盖,考虑S中的任意两个顶点u、v,若它们间有一条边e,那么e的两个端点均不在V-S中,这与假设V-S是一个顶点覆盖矛盾。所以S中的任意两点均无连线,所以S是一个独立集。
常见归约问题
归约的一般思想(要点):证明Y到X的归约,要用问题X中的分量构造“零件”来描写在问题Y中正在做的事
1、 独立集归约到顶点覆盖
证明:若有一个解顶点覆盖的黑盒子,那么通过问黑盒子G是否有大小至多为n-k的顶点覆盖,就能确定G是否有大小至少为k的独立集。
2、顶点覆盖归约到独立集
证明:若有一个可以解独立集的黑盒子,那么通过问黑盒子G是否有大小至少为n-k的独立集,就能确定G是否有大小至多为k的顶点覆盖。
3、顶点覆盖归约到集合覆盖
证明:若有一个可以解集合覆盖的黑盒子,考虑顶点覆盖的任一实例,给定图G=(V, E)和数k。
构造集合覆盖的一个实例,其基集U等于边E,对图G的每一个顶点i∈V,设Si⊆U为G中所有和点i相关联的边,把Si加入集合覆盖的实例中。
U能被集合S1,S2,···,Sn中的至多k个覆盖当且仅当G有大小至多为k的顶点覆盖。于是,给定顶点覆盖的实例,如上述的那样构造集合覆盖的实例,并把它输入黑盒子。回答yes当且仅当黑盒子回答yes。
4、独立集归约到集合包装
证明:若有一个解集合包装的黑盒子,考虑独立集的任一实例,给定图G=(V,E)和数k。
构造集合包装的一个实例,其基集U等于边E,对图G的每一个顶点i∈V,设Si⊆U为G中所有不和点i相关联的边,把Si加入集合包装的实例中。
U的子集S1,S2,···,Sn(实际是n个边集合)中至少k个两两不相交(即不存在相同边)当且仅当G有大小至少为k的独立集(此时k个顶点必不存在相连边),于是,给定独立集的实例,如上述的那样构造集合包装的实例,并把它输入黑盒子。回答yes当且仅当黑盒子回答yes。
5、3-SAT归约到独立集
证明:设有一个解独立集的黑盒子,要解3-SAT的实例,实例由变量集X={x1,····,xn}和子句C1,····,Ck组成。
考虑3-SAT的方法是:必须从每一个子句中选择一个项,然后找一组真值赋值使得所有找出来的项都为1,从而满足所有的子句。因此,如果如果没有两个被选中的项冲突,那么就成功了。
具体归约:用独立集描述3-SAT实例。首先,构造图G=(V,E),它由分成k个三角形的3k个顶点组成,如下图所示。对每一个子句i,构造3个顶点vi1,vi2,vi3。依据3-SAT实例子句在图中增加边描述冲突:在每一对标号对应冲突的项的顶点间添加一条边。
![]()
要证明原来的3-SAT是可满足的当且仅当构造出来的图G(依据3-SAT的实例子句构造)有大小至少为k的独立集。
>首先,若3-SAT是可满足的,那么构造出来的图G中的每个三角形至少包含一个标号的值为1的顶点。设S是每一个三角形中的一个这样的顶点组成的集合。设S不是一个独立集,则至少存在两个顶点u、v∈S间有一条边,则u、v一定是冲突(一个是1,另一个必是0)的,而S中的每个点值都为1,所以矛盾,所以假设不成立,即S是一个独立集。
>反过来,设图G有一个大小至少为k的独立集S。那么,当S的大小恰好为k,那么一定是由每个三角形的一个顶点组成,且S中的冲突顶点最多只能成单出现。所以显然可以设S中所有顶点对应的值全为1,且这些顶点每个对应于一个子句中选择的代表,所以此时对应的3-SAT实例存在真值赋值。