算法分析与设计——规约和NPC问题

一、多项式规约

1、概念及性质

\quad 多项式时间归约：如果问题X和问题Y满足以下两条性质，那么问题X可以在多项式时间归约到问题Y。

• 问题X可以通过多项式时间的基本运算步骤转换为问题Y；
• 问题X多项式次调用求解问题Y的算法
  记为$X{\le }_{P}Y$。三点性质：
• 若$X{\le }_{P}Y$，$Y$能在多项式时间内求解，则$X$也能在多项式时间内求解
• 若$X{\le }_{P}Y$，$X$不能在多项式时间内求解，则$Y$也不能在多项式内求解
• 若$X{\le }_{P}Y$且$Y{\le }_{P}X$，则$X,Y$多项式等价，记为$X{\equiv }_{P}Y$。$X,Y$中一方能在多项式时间内求解则另一方也能在多项式时间内求解。

2、点独立集和点覆盖

\quad 点独立集：在图$G$中选出若干个顶点，这些顶点之间没有边相连接，称为点独立集。一个图中所有点独立集中点数最多的集合称为图的最大点独立集。
\quad 点覆盖：在图$G$中选出若干个顶点组成集合$S$，使得图中每一条边的两个顶点都至少有一个顶点在$S$中，则集合$S$称为图的点覆盖集。一个图中所有的点覆盖集中点数最少的集合称为图的最小点覆盖。

证明：$点独立集{\equiv }_P点覆盖$

\quad 由$S$是点独立集证明$V-S$是点覆盖
\quad 证明：设$S$是大小为$k$的点独立集。则对于图中的任意一条边$(u,v)\in E$，因为$S$是点独立集，故$u,v$不能全在$S$中，即$u,v$至少有一个在$V-S$中。因此，集合$V-S$能保证对于图中每一条边，该边都至少有一个顶点在$V-S$中，$V-S$是图的点覆盖。
\quad 由$V-S$是点覆盖证明$S$是点独立集
\quad 证明：设$V-S$是大小为$n-k$的点覆盖。则对于图中的任意一条边$(u,v)\in E$，$(u,v)$至少有一个顶点在$V-S$中，故在$S$中，$(u,v)$最多有一个顶点在$S$中。因此，$S$是图的点独立集。
\quad 综上，$点独立集{\equiv }_P点覆盖$。

3、集合覆盖问题和顶点覆盖问题

\quad 问题说明：给定一个集合$U$和若干$U$的子集合$S_n$，问能否在$S_n$中找出$k$个集合，使得这$k$个集合的并为$U$。如下图所示，

集合$S_c.S_f$的并为集合$U$。
\quad 定义了集合覆盖问题，我们可以将顶点覆盖问题规约到这个问题上去。即证明$顶点覆盖{\le }_P集合覆盖$。证明这个问题只需证明对于每一个给定的顶点覆盖问题都可以在集合覆盖问题中找到对应的实例，证明二者等价即可，难点在于构造对应的实例。这个问题的证明可以通过如下构造来完成：

• 顶点覆盖问题即为对于给定的图$G=(V,E)$，能否找到$k$个点，使得图中每条边都至少有一个点在这$k$个点中。
• 对于顶点问题做如下转化：给定一个集合$U$，$U$中元素为图中的每条边。对于图中每个顶点$i$，我们都建立一个集合$S_i$，$S_i$中元素为与顶点$i$相连的边。这样，问题就转化成了在集合$S$中能否找到$k$个集合，使得这些集合的并为$U$。
• 举个例子，下图是一个6个顶点，7条边的图。对于左边的图而言，当$k=2$时，$c,f$为图的点覆盖；对于右边转化后的集合而言，$S_c,S_f$的并集为$U$。
  
  \quad 这样，就证明了顶点覆盖 可以多项式规约到集合覆盖。但集合覆盖问题能多项式规约到顶点覆盖问题吗？答案是否定的，因为对于任意的集合$S_i$而言，每个元素出现次数可能不是偶数，对于图而言，每条边出现次数一定是偶数，故这种情况下无法通过构图来表示任意一种集合，因此集合覆盖无法规约到顶点覆盖。

4、可满足性问题(SAT)和3-SAT

\quad 可满足性问题定义：对于给定的由二元bool变量构成的表达式，例如$\Phi =C_1\wedge C_2\wedge C_3\wedge C_4,C_i=x_1\vee \overline{x_2}\vee x_3$。$x_i$为bool变量，目的是求解合适的$x_i$的值，使得$\Phi =true$。$\wedge$表示“与”，$\vee$表示"并"，$\overline{x}$表示$x$的非。由此可知，要使得$\Phi =true$，那么每个$C_i=true$，进而得到每个$C_i$中二元变量$x_i$至少有一个为$true$。
\quad 3-SAT：当每个$C_i$包含3个bool变量时构成的逻辑表达式$\Phi$，并求解各个bool变量使得$\Phi =true$的问题称为3-SAT问题。如下图即为一个3-SAT问题及其的一个解。

证明：$3-SAT{\le }_P点独立集问题$

\quad 只需证明对于每一个给定的3-SAT问题，都能给出一个对应的图$G$的实例，使得这个图有大小为$k$的点独立集。
构造图的方法如下：

• 对于$\Phi$中每一个$C_i$，都用三个顶点代表$C_i$中每个变量，并用边将这三个顶点两两连接
• 对于某个变量和该变量的取反，用边连接起来，表示这两个变量所对应的顶点不能在一个点独立集中

定理：$\Phi =true$等价于$G$有大小为$k=|\Phi |$的点独立集。
证明：若$\Phi =true$，则$G$的每一个三个顶点构成的团里至少有一个顶点是点独立集中的一员，故$G$有大小为$k=|\Phi |$的点独立集。若$G$的每一个三个顶点构成的团里至少有一个顶点是点独立集中的一员，则每个$\Phi$中的每个$C_i$至少一个变量为$true$，即每个$C_i=true$，进而$\Phi =true$。

5、自规约问题

\quad 可自规约问题指的是该问题的优化问题可以多项式规约到该问题的决策问题的这一类问题。比如图的最小顶点覆盖问题可以多项式规约到图是否有小于$k$个顶点的顶点覆盖。证明如下：

• 从1开始，依次查找该图有没有$k^{\ast }$个顶点的顶点覆盖(这样得到的第一次满足的$k^{\ast }$的值就是该图最小顶点覆盖的数目)
• 从图中选出一个点$v$，若去除该点后图的顶点覆盖数目变为$k^{\ast }-1$，则$v$是原图顶点覆盖中的一员，反之则不是
• 在$G-v$中递归执行上述两步。

6、规约问题总结

\quad 规约的传递性：若$X{\le }_{P}Y,Y{\le }_{P}Z$，则$X{\le }_{P}Z$。
\quad 对上面规约问题做一个总结，我们已经证明了以下规约问题：

• $点独立集问题{\equiv }_P顶点覆盖问题$
• $顶点覆盖问题{\le }_P集合覆盖问题$
• $3-SAT{\le }_P点独立集问题$
• $3-SAT{\le }_P点独立集问题{\le }_P顶点覆盖问题{\le }_P集合覆盖问题$
• 某个大佬证明了$3-SAT$问题是NPC问题，因此上诉所有问题均为NPC问题

二、P，NP和NPC问题

1、P问题

\quad 能在多项式时间内解决的问题称为P问题。比如：素数问题。
素数问题：任意给定一个数字$s$，求$s$是否是素数的算法。AKS素数测试（又被称为 Agrawal–Kayal–Saxena素数测试 和 Cyclotomic AKS test）是一个决定型素数测试算法 ，由三个来自印度坎普尔理工学院的计算机科学家，Manindra Agrawal、Neeraj Kayal和Nitin Saxena，在2002年8月6日发表于一篇题为素数属于P的论文。

2、NP问题

\quad 能在多项式时间内验证的问题称为NP问题。比如：对于3-SAT问题，给出其中一个解法，让你判断这个解法是否是原问题的一个解。可见所有的P问题都可以在多项式时间内去验证，因此，P问题是NP问题的子集。

3、EXP问题

\quad 能在指数时间复杂度内解决的问题。NP问题是EXP问题的子集。

4、普遍认为$P\ne NP$

\quad 目前还不能证明$P=NP$或者$P\ne NP$。

5、NPC问题

\quad 找出一个已被证明的NPC问题(SAT)，所有能规约到这个NPC问题的问题统称为NPC问题。
\quad 定理：若$X$是NPC问题，$Y$是NP问题，$X{\le }_{P}Y$，则$Y$是NPC问题。

6、证明一个问题Y是NPC问题

• 证明Y是NP问题
• 找一个已知的NPC问题X，证明$X{\le }_{P}Y$，则Y是NPC问题

\quad 这几个大佬证明了下列常见问题可以多项式相互归约，因为cook证明了SAT问题是NPC问题，又由于归约的传递性，可得下列问题均为NPC问题。

7、一些有趣的tips

\quad 大部分NP问题不是P问题就是NPC问题，但有些NP问题既不是P问题也不是NPC问题，例如(因子分解，同构图等)。Lader在1975年证明了在$P\ne NP$的条件下，一定会存在某些NP问题既不是P问题也不是NPC问题。

三、经典的NPC问题

1、序列问题

\quad 在之前，我们已经证明了上图中最左边那一条线，现在我们要证明第二条路，即$3-SAT{\le }_P有向图的Hamilton圈{\le }_P无向图的Hamilton圈{\le }_{P}TSP问题$。
\quad 哈密尔顿圈：对于给定的图$G$，问是否存在一条路，使得经过图$G$所有顶点并且每个顶点只经过一次。

证明：$有向图的Hamilton圈{\le }_P无向图的Hamilton圈$

step1：根据任意一个有向图$G$，创建对应的无向图实例$G^{\prime }$。创建方法如下：

step2：正向证明。假设$G$中有Hamilton圈，则$G^{\prime }$中也有Hamilton圈
step3：反向证明。假设$G^{\prime }$中有Hamilton圈，则该Hamilton圈有两种序列模式：黑白绿黑白绿…；黑绿白黑绿白…。这两种模式中黑色顶点顺序对应原图Hamilton圈的正序或者逆序，因此$G$也有Hamilton圈。

证明：$3-SAT{\le }_P有向图的Hamilton圈$

\quad 证明太难暂且放过。

证明：$无向图的Hamilton圈{\le }_{P}TSP问题$

step1：构造实例。对于图$G=(V,E)$，创建$n=|V|$个顶点的图$G^{\prime }$，$G^{\prime }$中两两边之间的权重$d(u,v)$如下：

• 若$(u,v)\in E$，则$d(u,v)=1$
• 若$(u,v)\notin E$，则$d(u,v)=2$

step2：正向证明。如果$G$中有Hamilton圈，则该圈即为$G^{\prime }$中的TSP路径。
step3：反向证明。如果$G^{\prime }$中有TSP路径，则该路径长度为n，该路径即为$G$的Hamilton圈。

2、图着色问题

\quad 这是上图第三条路线的证明，包括$3-SAT{\le }_P图三点着色{\le }_P平面图的三点着色$。

证明：$3-SAT{\le }_P图三点着色$

\quad 此证明太难直接放弃

3、数字问题

\quad 上图中最右边那条线的证明，包括$3-SAT{\le }_P子数组和{\le }_P调度问题$

证明：$3-SAT{\le }_P子数组和$

\quad 子数组和问题：给出一个有n个数的数组 { w 1 , w 2 , ⋯   , w n } \{w_1,w_2,\cdots,w_n\} {w1​,w2​,⋯,wn​}和一个数$W$，问存不存在该数组的子数组使得子数组和为$W$。

证明：$子数组和问题{\le }_{P}Partition问题$

\quad Partition问题：给出$m$个数 { v 1 , v 2 , ⋯   , v m } \{v_1,v_2,\cdots,v_m\} {v1​,v2​,⋯,vm​}，能将这些数划分为两个子集，使得这两个子集中数的和相同。

• 构造实例：给出子数组和实例 { w 1 , w 2 , ⋯   , w n } \{w_1,w_2,\cdots,w_n\} {w1​,w2​,⋯,wn​}和其相加的目标$W$，我们可以这样构造Partition的实例：Partition实例包含$n=m+2$个元素，$v_1=w_1,\cdots ,v_n=w_n,v_{n+1}=2{\sum }_i(w_i)-W,v_{n+2}={\sum }_i(w_i)+W$。
• 正向证明：若子数组和问题中存在某个子数组subsetA的和为$W$，则另一个数组subsetB和为${\sum }_i(w_i)-W$。$subsetA+v_{n+1}=2{\sum }_i(w_i)=subsetB+v_{n+2}$，故而Partition问题得到解决。
• 反向证明：若Partition问题实例能分为两个和相等的子集$subsetA,subsetB$，则$v_{n+1}$和$v_{n+2}$一定分属于这两个子集，故而$subsetA-v_{n+1}=W$为原子数组和问题的解。

证明：$子数组和问题{\le }_P调度问题$

\quad 调度问题：给出n个任务，每个任务$j$包含可以开始处理的时间$r_j$，处理任务所需时间$t_j$，任务的截至时间$d_j$。这些任务在一个机器上运行，且每个任务必须在连续的$t_j$时间内运行，问是否存在一种安排方式使得这些任务都能在$[r_j,d_j]$时间内完成。

• 构造实例：给出子数组和实例 { w 1 , w 2 , ⋯   , w n } \{w_1,w_2,\cdots,w_n\} {w1​,w2​,⋯,wn​}和其相加的目标$W$，我们可以这样构造调度问题的实例：创建n个任务的处理时间$t_j=w_j$，开始时间$r_j=0$，没有截至时间$(d_j=1+{\sum }_j{w}_j)$。再额外创建一个任务$0$，这个任务开始时间为$t_0=1$,开始时间为$W$，结束时间为$W+1$。
• 如果子数组和问题能找到解，即有一个$sum(subset)=W$，则对应调度问题一定有解，将任务0放在$[W,W+1]$时间段内即可。
• 如果调度问题有解，那么任务0只能在$[W,W+1]$时间段内完成，则有若干任务刚好覆盖$[0,W]$，即原子数组和问题一定有$sum(subset)=W$。