算法作业：证明题（5）-- 8.12

问题摘要：

证明如下问题是NP-完全问题，给定一个无向图G=（V，E）和整数k，求G中一个规模为k的团以及一个规模为k的独立集

证明：

a）对于团，因为对于V的子集V’，其每一对节点是由边集一条边相连，则团为G完全子图。又对于一个给定图G，对于顶点子集V’的任一对顶点（u，v），判断其是否属于E，可在多项式事件确定V’是否为团

设φ= C1∧C2∧C3...∧Ck为3-CNF中一个具有k子句的布尔公式，每个子有三个不同文字l1，l2，l3。要构造满足φ的图G，当且仅当G包含一个k规模的团。

其中，图G构造方式为，对于φ的每个子句Cr将三个顶点V1，V2，V3组成的三元组放入V，设立以下两个条件

1）Vi，Vj处于不同三元组

2）Vi，Vj相应文字一致

当满足1,2条件时，则则在Vi，Vj设立一条边（Vi，Vj）。再证明图G满足要求，假定φ有可满足性赋值，每个子句Cr至少包含一个文字li，赋值为1，对应一个顶点Vi，从每个子句挑选赋值为1的文字得到k个顶点，记k顶点构成集合V’，任两点都有边，这对应第一个条件V'构成G的一个规模为k的团

如果G中有规模为K的团V’，对构图G条件1，V’顶点对应文字都不在一个子句，因此V’顶点恰好 包含k个子句，将V’顶点对应的文字赋值为真。对于条件2，所有边相连顶点相应文字一致，同时赋值为1，就找到一组满足φ的赋值条件，所以φ可满足

b）对于独立集，依据图G中，存在规模为k的团，当且仅当G中存在k规模独立集，因此，独立集问题也为NP-完全问题