NP问题的证明

8.3证明NP完全问题
（1) Problem：
STINGY SAT is the following problem: given a set of clauses (each a disjunction of literals) and an integer k, find a satisfying assignment in which at most k variables are true, if such an assignment exists. Prove that STINGY SAT is NP-complete.
（2) Solution：
类似于SAT问题，显然对于给定的一组变量赋值，我们可以在多项式时间内证明是否为STINGY SAT问题的解，所以STINGY SAT问题是NP问题；
SAT问题是给定一个CNF，给出一组变量值使得所有字句为真，或者证明不存在满足的解。令k = n时，可以将SAT问题归约成STINGY SAT问题，由于SAT问题是NP完全问题，所以STINGY SAT问题也是NP完全问题。

8.10证明NP完全问题
（a）子图同构：令G是一个环，且环上的顶点数等于H上的顶点数。如果G是H的同构子图，则H中存在Rudrata回路，Rudrata回路问题是子图同构问题的一个特例，所以子图同构问题也是一个NP完全问题；
（b）最长路径：假设G=(V, E)，g=|V|-1，则G中存在Rudrata路径，Rudrata路径问题是最长路径问题的一个特例，所以最长路径问题也是一个NP完全问题；
（c&