[近似算法] NP-hard 问题求解

问题背景

若某NPH问题q有多项式时间算法，则任一NP问题皆可多项式时间归约到q，故任一NP问题也是多项式时间可解的，由此可得NP=P. 传统时间复杂度中n表示数据输入的规模，如排序中n表示被排序的数据元素个数。但这不够严谨，其标准化的定义应该是：一个问题的输入规模是保存输入数据所需要的位数（bit），在此基础上定义的时间复杂度是标准的时间复杂度。
若一个算法的传统时间复杂度是多项式时间而其标准的时间复杂度不是多项式时间的，则该算法是伪多项式时间的。（例如朴素的素数判定算法）, 一个具有伪多项式时间复杂度的NPC问题称为弱NPC问题，否则为强NPC问题

现实中许多优化问题是NP-hard的，由复杂性理论知：若P≠NP(并且很可能为真)，就不可能找到多项式时间的算法来对问题的所有输入实例求出最优解。但若放松要求，就可能存在有效求解算法。
1.超多项式时间启发
不再要求多项式时间算法，有时求解问题存在超多项式时间算法，实用中相当快。例如，0/1背包问题是NPC问题，但存在1个伪多项式时间算法很容易解决它. 缺点：该技术只对少数问题有效（弱NPC问题）

2.启发式概率分析
不再要求问题的解满足所有的输入实例。在某些应用中，有可能输入实例的类被严格限制，对这些受限实例易于找到其有效算法。而这种结果往往归功于对输入实例约束的概率模型。缺点：选取一个特殊的输入分布往往是不易的。

3.近似算法
不再要求总是找到最优解。在实际应用中有时很难确定一个最优解和近似最优解(次优解)之间的差别，因问题的输入实例数据本身就可能是近似的。设计一个算法能够求出所有情况下的次优解来解NP-hard问题往往是真正有效的手段。

近似算法基本概念

优化问题近似解分类
1）容易近似
Knapsack，Scheduling，Bin Packing等
2）中等难度
Vertex Cover，Euclidean TSP，Steiner Trees等
3）难于近似 (这类问题即使找到很差的近似解也是NP-hard
Graph Coloring，TSP，Clique等

Def1 一个优化问题$\prod$由三部分构成：
实例集$D$：输入实例的集合
解集$S(I)$：输入实例$I∊D$的所有可行解的集合
解的值函数$f$：给每个解赋一个值，$f：S(I)\to R$

Def2 若一个NPH判定问题${\Pi }_1$是多项式可归约为计算一个优化问题${\Pi }_2$的解，则${\Pi }_2$是NPH的 。

Def3 一个近似算法A，是一个多项式时间求解优化问题$\Pi$的算法，使得对一个给定的$\Pi$的输入实例$I$，它输出某个解$\sigma ∊S(I)$。通常，我们用$A(I)$表示算法A所获得的解的值$f(\sigma )$

近似算法的性能
算法质量(measure of goodness)是在最优解和近似解之间建立某种关系，这种度量也称为性能保证(Performance guarantees)。

最大值优化问题$\prod$是：
对于给定的I∊D，找一个解${\sigma }_{opt}^I\in S(I)$使得: $\forall \sigma \in S(I),f({\sigma }_{opt}^I)\ge f(\sigma )$
可以称为最优解的值$OPT(I)\triangleq f\left({\sigma }_{opt}^I\right)$

装箱问题（BP）
非形式地，给定一个size在0,1之间的项的集合，要求将其放入单位size的箱子中，使得所用的箱子数目最少。故有最小优化问题：

1. 实例: I = { s 1 , s 2 , … , s n } I=\{s_1, s_2, … , s_n\} I={s1​,s2​,…,sn​}, 满足$\forall i,s_i\in [0,1]$
2. 解: σ = { B 1 , B 2 , … , B k } σ=\{B_1, B_2, … ,B_k\} σ={B1​,B2​,…,Bk​}是 I 的一个不相交的划分，使得$\forall i,B_i\subset I$ 且${\sum }_{j\in B_i}{s}_j\le 1$ (说明任一箱子中所装的所有物品size之和不超过1
3. 解的值：使用的箱子数,即f(σ)=│σ│=k

在可行的时间内，求装箱问题的最优解是不可能的，但可求次最优解. 显然，比最优解多使用1个箱子的解是次最优的。一般地，我们希望找到1个近似解，其值与最优解的值相差某一小的常数.

Def4 绝对性能度量: 一个绝对近似算法是优化问题$\Pi$的多项式时间近似算法A，使得对某一常数 $k>0$ 满足：$\forall I\in D，|A(I)-OPT(I)|\le k$. 这里$k$也称为算法A的绝对误差.
(显然, 我们期望对任何NP-hard问题都有一个绝对近似算法，但是对于大多数NP-hard问题，仅当P=NP时，才能找到绝对近似算法(多项式时间), 但是P=NP时近似算法就没用了, 所以绝对近似算法也只能解决部分问题

绝对近似算法

图的顶点着色
使用最少的颜色数来为图G的顶点上色，使得所有相邻的顶点均有不同的颜色，即使G是平面图，该问题的判定版本也是NP-hard的，但它有1个绝对近似算法.

近似算法$A(G)$ { // 对任意平面图G染色

1. 检验G是否可2染色(即判断G是否为二部图), 若是则G可2染色;
2. 否则, 计算5染色; //可在多项式时间内, 任何平面图G是可5染色的 (实际上四色定理告诉我们G是可4染色的)

} // 这就证明了算法A比最优解多用的颜色数不会超过2

Th1：判定一个平面图是否可3着色的问题是NPC的
Th2：对给定的任意平面图G，近似算法A的性能满足: $|A(G)-OPT(G)|\le 2$

图的边着色
使用最少的颜色为图的边上色，使得所有相邻的边有不同的颜色
Th3 Vizing定理：任一图至少需要Δ，至多需要Δ+1种颜色为边着色
Vizing定理的证明给出了一个多项式时间的算法A找到Δ+1边着色，但令人惊奇的是边着色问题即使是很特殊的情况也是NP-hard的
Th4 Holyer定理：确定一个3正则平面图所需的边着色数问题是NPH的 (正则图是每个顶点都有相同数目的邻居的图，即每个顶点的度相同。若每个顶点的度均为k，称为 k-正则图。
Th5：近似算法$A$有性能保证：$|A(G)-OPT(G)|\le 1$

小结
这两个例子似乎说明只有很特殊的一类优化问题可能有绝对近似算法：已知最优解的值或值所在的小范围。但最优解的值不易确定时是否有绝对近似算法仍然是未解决的问题.

所以对于研究近似算法的研究者而言, 为了避免做无用功, 在寻找目标问题的绝对近似算法之前, 应该先尝试判断目标绝对近似算法的存在性. 于是引入绝对近似算法的否定问题: 证明问题的绝对近似算法不存在.

0/1背包问题
项 集： I = { 1 , 2 , … , n } I=\{1,2,…,n\} I={1,2,…,n}
大 小：$s_1,s_2,\dots ,s_n$
利 润：$p_1,p_2,\dots ,p_n$
背包容量：$B$
问题的一个可行解是子集$I’\subseteq I，{\sum }_{i\in I^{\prime }}{s}_i\le B$, 问题的最优解是使得$f\left({\mathbf{I}}^{\prime }\right)={\sum }_{i\in I^{\prime }}{p}_i$最大化的可行解

0/1背包问题是NP-hard的，除非存在多项式时间算法能够找到最优解，否则不存在绝对近似算法

Th6 若$P\ne NP$，则对任何确定的k，找不到近似算法A可解背包问题使得：$|A(I)-OPT(I)|\le k$
证明: 使用扩放法反证。 假定存在算法A具有性能保证k（k是正整数
设 $\forall I∊D$，可构造新实例$I’$使得 $s_i’=s_i,p_i’=(k+1)p_i,fori∊[1,n]$
即：除了利润扩放$k+1$倍之外，其余参数不变。故$I$的可行解也是$I’$的可行解，反之亦然。只是解的值相差 $k+1$ 倍。
在$I’$上运行算法A获得解$A(I’)$，设A在实例$I$上的解是$\sigma$：$|A(I’)-OPT(I’)|\le k\Rightarrow |(k+1)f(\sigma )-(k+1)OPT(I)|\le k\Rightarrow |f(\sigma )-OPT(I)|\le k/(k+1)\Rightarrow |f(\sigma )-OPT(I)|=0$
说明我们的绝对近似算法找到了问题的最优解, 那么这个多项式时间算法解决了NPH问题, 则$P=NP$与前提矛盾, 所以不可能存在绝对近似算法求解0/1背包问题, 定理得证.

小结
这里的例子说明在纯组合问题上，依然可用scaling扩放性质, 那么对于非数字问题是否可以继续使用scaling性质, 下面在团问题中讨论

团(Clique)问题
找图G中最大团（最大完全子图），该问题是NP-hard的 (顶点集C被称为无向图 G=(V,E) 的团，如果C是顶点集V的子集(C⊆V)，而且任意两个C中的顶点都有边连接。即C中顶点及其连接这些顶点的边构成的子图是完全图 。极大团是指增加任一顶点都不再符合团定义的团，即极大团不能被任何一个更大的团所包含.

最大团是一个图中顶点数最多的团。图G的团数（clique number）ω(G) 是指G中最大团的顶点数。图G的边团覆盖数（edge clique cover number）是指覆盖G中所有的边所需要的最少的团的数目。图G的二分维数（bipartite dimension）是指覆盖G中所有边所需要的最少的二分团的数目，其中二分团（biclique）就是完全二 分子图 。而分团覆盖问题 （Clique cover problem）所关心的是用最少的团去覆盖G中所有的顶点。
独立集（independent set）是刚好和团相反的概念，因为图G中的团和图G的补图中的独立集是一一对应的。

Th7 若$P\ne NP$，则对于团问题不存在绝对近似算法
定义图的m次幂$G^m$：取G的m个拷贝，连接位于不同副本里的任意两顶点
比如下面$G^2$是$G$的两份拷贝并且不同拷贝副本之间任意两点连通

可证命题: G中最大团的size为α当且仅当Gm里最大团的size是mα
该命题直接给出了最优解之间的scaling性质：$OPT(G^{K+1})=(k+1)OPT(G)$

Th7 证明
反证：设G是任意的无向图，近似算法A给出的绝对误差是k。在$G^{k+1}$上运行A，若$G$中最大团size为$\alpha$,则我们有 $|A(G^{k+1})-OPT(G^{k+1})|\le k\Rightarrow |A(G^{k+1})-(k+1)OPT(G)|\le k$
对于任给的$G^m$中体积为$\beta$的团，易于用多项式时间在$G$中找到一个体积为$\beta /m$的团。因此我们能够在$G$中找到一个团$C$，使得$|A(G^{k+1})-(k+1)OPT(G)|=|(k+1)|C|-(k+1)OPT(G)|\le k\Rightarrow ||C|-OPT(G)|\le k/(k+1)$
因为$|C|$和$OPT(G)$均是整数，故$A(G)=|C|$ 是最优团。即：多项式时间内找到了$G$的最优解$A(G)$. 则该绝对近似算法是多项式时间可解NPH问题的确定性算法, 则$P=NP$与前提矛盾, 命题得证.

总结

虽然我们渴望得到绝对性能保证，但是较难的优化问题很难找到绝对近似算法。因此，需要放松对“好的近似算法”的要求。所以除了绝对性能度量方法 (对某一常数 $k>0$ 满足：$\forall I\in D，|A(I)-OPT(I)|\le k$) 之外, 还需要引入相对性能度量, 可见下篇: 多机调度问题