算法设计与分析之NP完全性

多项式时间变换

设判定问题$Ⅱ_1 = <D_1,Y_1>,Ⅱ_2 = <D_2,Y_2>$.如果函数$f: D_1→D_2$满足条件：
(1). f是多时相时间可计算的，即存在计算f的多项式时间算法.
(2). 对所有的$I\in D_1,I\in Y_1\iff f(I)\in Y_2$，

$D_1$中判定输出”Yes”的实例，经过函数$f$的多项式变换，就可以构造成为判定问题$D_2$中输出”Yes”的实例，我们称$f是Ⅱ_1到Ⅱ_2$的多项式时间变换。

如果存在$Ⅱ_1$和$Ⅱ_2$的多项式时间变换，则称$Ⅱ_1$可以多项式时间变换到$Ⅱ_2$，记作$Ⅱ_1 {\leqslant _p}Ⅱ_2$,其中的p表示polynomial，即多项式。

证明一个问题$Ⅱ_2$是NP完全的方法

1.证明$Ⅱ_2\in NP$.
2.找到一个已知的NP完全问题$Ⅱ_1$，并证明$Ⅱ_1 {\leqslant _p}Ⅱ_2$

已知的NP完全问题

1.可满足性（SAT）任给一个合取范式F，问F是可满足的吗？

2.最大可满足性：任给关于变元$x_1,x_2,...,x_n$的简单析取式$C_1,C_2,...,C_m$以及正整数K，问存在关于变元$x_1,x_2,...,x_n$的赋值使得$C_1,C_2,...,C_m$中至少有K个为真的吗？

利用SAT问题证明3SAT问题是NP完全
1.由于3SAT是SAT问题的特殊情况，所以 $3SAT\in NP$.
为了证明3SAT是NP完全问题，即证明 $SAT{\leqslant _p}3SAT$.具体证明如下：
假设任给一个合取范式F，要构造对应的3元合取范式$F^{'} = f(F)$,使得F是可满足的当且仅当$F^{'}$是可满足的，具体构造如下：
设$F = C_1\bigwedge C_2\bigwedge...\bigwedge C_m$是简单析取式，对应的$F^{’} = F^{’}_1\bigwedge F^{’}_2\bigwedge...\bigwedge F^{’}_m$，其中$F^{'}_j$对应于$C_j$，是3元合取范式，并且：
$C_j$是可满足的当且仅当$F^{'}_j$是可满足的。(*)
下面分情况构造$F^{'}_j$，其中$z_i$表示文字，即某个变元$x_k$或者它的否定$\overline{x_k}$.
1. $C_j = z_1$.引入两个新变元$y_{j1},y_{j2}$,令
$F^{'}_j = (z_1\bigvee y_{j1}\bigvee y_{j2}){\bigwedge}(z_1\bigvee \overline{ y_{j1}}\bigvee y_{j2}){\bigwedge}(z_1\bigvee { y_{j1}}\bigvee \overline{y_{j2}}){\bigwedge}(z_1\bigvee { \overline{y_{j1}}}\bigvee \overline{y_{j2}})$
上式中由于$(y_{j1}\bigvee y_{j2})$, $(\overline{ y_{j1}}\bigvee y_{j2})$, $({ y_{j1}}\bigvee \overline{y_{j2}})$, $(\overline{ y_{j1}} \bigvee \overline{y_{j2}})$不能同时为真，故$F^{'}_j$为真当且仅当$z_1=1$，从而(*)式成立。

2.$C_j = z_1\bigvee z_2$,引入另外一个变元，令
$F^{'}_j = (z_1\bigvee z_2\bigvee y_j){\bigwedge}(z_1\bigvee z_2\bigvee \overline {y_{j}})$
显然当且仅当$z_1\bigvee z_2$为真，$F^{'}_j$为真，从而(*)式成立。

3.$C_j = z_1\bigvee z_2 \bigvee z_3$,令$F^{'}_j = C_j$,这种情况(*)显然成立

4.$C_j = z_1 \bigvee z_2 \bigvee ...\bigvee z_k, k\geq4$引入k-3个新变元$y_{j1},y_{j2},...,y_{j3},$令
$F^{'}_j = (z_1\bigvee z_2\bigvee y_{j1}){\bigwedge}(\overline{y_{j1}} \bigvee z_3\bigvee \overline{ y_{j2}})\bigwedge(\overline y_{j2} \bigvee z4 \bigvee y_{j3})\bigwedge...\bigwedge(\overline{y_{j(k-4)}} \bigvee z_{k-2} \bigvee y_{j(k-3)}) \bigwedge (\overline{y_{j(k-3)}} \bigvee z_{k-1} \bigvee z_{k})$,
要使得$C_j$成立，只需其中$z_i = 1$即可，
当$i = 1$或2时，令$t(y_{js}) = 0 (1\le i \le k)$;
当$i = k-1$或k时，令$t(y_{js}) = 1 (1\le s \le k-3)$;
当$3\le i \le k-2$时，$z_i=1$，此时$y_{j(i-1)}$和$z_i$在同一个析取式中，

令$y_js = 0$,当$i-1\le s\le k-3$
令$y_js = 1$,当$1\le s\le i-2$

例如当.$C_j = z_1 \bigvee z_2 \bigvee z_3 \bigvee z_4 \bigvee z_5$引入2个新变元,得到下式：
$F^{'}_j = (z_1\bigvee z_2\bigvee y_{j1}){\bigwedge}(\overline{y_{j1}} \bigvee z_3\bigvee { y_{j2}})\bigwedge(\overline {y_{j2}} \bigvee z4 \bigvee z_5)$,
若$z_i = 1$使得C_j成立，此时若$i = 1$或2，则令$y_{j1} = 0,y_{j2}=1$。
若$z_3 = 1$使得C_j成立，此时令出现在$z_3$之前的变元为1，出现在$z_3$之后的变元为0。
若$z_i = 1$使得C_j成立，此时若$i = 4$或5，则令$y_{ji} =1$。

当且仅当互为充要条件，因此当SAT成立时，根据上述变换方式可以使得3SAT成立，
而当3SAT成立时，根据其中变元的赋值，可以设置SAT的取值使之满足，因此可以在多项式时间内根据SAT构建出3SAT，因此证明3SAT是多项式NP完全问题。