算法概论 第八章习题

8.3
首先，易知STINGY SAT 的解是可在多项式时间内验证的，因此属于NP。另外，很容易可以将SAT 归约到STINGY SAT（将k 设为所有变量的总个数即可），于是可知STINGY SAT 为NP 完全问题。

8.8
首先很显然，EXACT 4SAT 属于NP。现在通过将3SAT 归约到EXACT 4SAT 来证明后者的NP 完全性。对于任意一个3SAT 实例，如果其中某个子句中包含了同一文字多次，那么可以缩减为一次，如果同时包含了某个变量的肯定及否定，那么可以将这个变量去掉。然后，可以再在每个子句中可以添加一些哑变量（即没用的辅助变量），这样就可以将每个子句所包含的文字数目扩充到四个。至此，即已将该3SAT 实例转化成了一个EXACT 4SAT 问题。

8.9
很容易将最小顶点覆盖归约到HITTING SET。假设要求图G 的最小顶点覆盖，可以建立一个HITTING SET 实例，其中S1 , S2 ，… ， Sn 即是图G的各条边，比如{v1,v2}，{v3,v4}，… 。通过二分式的询问，可以找到一个与Si 都相交的最小集合H ，这正好就是图G 的最小顶点覆盖。

8.10
a) 令图G 为一个环，环上的顶点数等于图H 的顶点数。那么若G 是H 的同构子
图，则说明H 存在Rudrata 回路。于是知Rudrata 回路事实上是子图同构问题的
一个特例。
b) 如果令g = V −1，即得到一条 Rudrata 路径。
c) 令 g 为子句的总数，即成SAT。
d) 令b = a(a-1) / 2 ，此时这a 个顶点两两相连，于是即