算法概论8章，部分习题证明

8.3 STINGY SAT问题定为NP-complete
证明：首先，这个问题能在多项式时间内验证一个指派是否是解。另外SAT问题是它的特例，所以是NP-complete的。

8.8 EXACT 4SAT问题为 NP-complete
证明:首先，这个问题能在多项式时间内验证一个指派是否是解。我们只需证明3SAT问题能规约到它即可。对于一个逻辑表达式$x$,它等价于$(x \vee w) \wedge (x \vee \bar{w})$。所以3SAT问题中每个clause都能通过增加变量，拆分成若干个4项析取表达式的合取。故3SAT问题能规约成EXACT 4SAT问题。这个过程显然在多项式时间可以完成。

8.9 HITTING SET问题
证明：显然，这个问题能在多项式时间内验证一个指派是否是解。我们证明vertex cover 问题能够规约到HITTING SET问题。只要对于图的每条边对应的两个点，我们用一个集合S表示。有多少条边就有多少个集合，显然求解HITTING SET问题得到的HITTINGSET就是原VERTEX COVER问题的选择的顶点。显然能够在多项式时间内转换。