week_17_ 习题

解答：

8.14 
可以将最大团问题归约到此问题。假设要求任意图G(V, E)中大小为k 的团，可以在图G 中添加k 个相互独立的顶点，得到新图G’。这新加的k 个顶点保证了图G’存在大小为k 的独立集，同时又不影响到原图的团。

8.15 
可以将最大独立集问题归约到此问题。比如若要求任意图G(V, E)中大小为d 的独 
立集，可以令 G1= G (V, E) ，再令 G2 (V,∅) 的顶点集与G 相同，但是边集为空， 
也即是各个顶点相互独立。于是 G1 与 G2 存在着大小为d 的公共子图，当且仅当图G存在着大小为d 的独立集。

8.16 
考虑怎么把一个3SAT 实例转化成一个EXPERIMENTAL CUISINE 问题：对于任意一个 3SAT 问题，若其某一子句c 为(U ∨V ∨W)，我们可以相应地建立 7 种ingredients，分别为{U~V~Wc, ~UV~Wc, ~U~VWc, UV~Wc, ~UVWc, U~VWc, UVWc } 。这7 种ingredients 代表了使得子句c 成立的七种不同情况，比如UW~Vc 代表U 和W 同时为真，且V 为假。它们之间当然是完全不兼容的，因此将其中两两之间的discord 值设为1。现在再考虑子句与子句之间的情况，对于任意两子句i 和j ，将这两个子句中相矛盾的成分之间的discord 值设为1，比如UABi 与~UCDj 等。设子句总数为n ，再令 p = 0，若此时能选择的成份数为n，那么即说明此 3SAT 能满足。另外，判断一个3SAT 是否能满足与找出这个3SAT 的解实际上是等价的，因此若EXPERIMENTAL CUISINE 在多项式时间内可解的话，3SAT 亦然。