证明题8.3，8.12

8.3 STINGY SAT is the following problem: given a set of clauses(each a disjunction of literals) ans 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.

给定一组clauses（每个clause都是literals的析取）和整数k，求一种最多有k个变量为true的满足赋值方式如果存在这样的赋值的话。证明STINGY SAT是NP完全问题。

思路：

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

证明：

• 设SAT一个有k个变量的实例f，(f,k)为STINGY SAT的一个实例，x为一组赋值，由于可以在多项式时间内验证x是否可以使(f,k)为真，所以STINGY SAT是NP问题
• 目标：SAT规约到STINGY SAT，即x是f的解当且仅当x是(f,k)的解
  充分性：假设x是f的解，则至多有k个变量为真，x赋给(f,k)也为真，所以x是(f,k)的解
  必要性：假设x是(f,k)的解，显然x也是f的解
• ∴ STINGY SAT也是一个NPC问题

---

8.12 The k-SPANNING TREE problem is the following.

• Input: An undirected graph G = (V,E)
• Output: A spanning tree of G in which each node has degree≤ k, if such a tree exists.

Show that fo rany k ≥2:

• (a) k-SPANNING TREE is a search problem.
• (b) k-SPANNING TREE is NP-complete. (Hint: Start with k = 2 and consider the relation between this problem and RUDRATA PATH.)

k-生成树的问题：
输入：无向图G=(V, E)
输出：G的一个生成树，若该树存在，其中所有节点度数都不超过k
请证明对任意的k≥2：
(a) k-生成树问题是搜索问题。
(b) k-生成树问题是NP完全的。

证明：

(a) 验证任意给定解t是否是k-生成树的过程，即确定G中的所有顶点是否都能在t中找到，t中是否有环，以及t中每个顶点度数是否小于等于k。这些都可以通过对G或t实施搜索算法（例如DFS）在多项式时间内解决，所以是搜索问题，也是NP问题。

(b) 在(a)中已证明k-生成树问题是NP问题。

• 目标：Rudrata Path规约到k-生成树，即某个k-生成树算法可以AS解决Rudrata Path问题
• 令G每条边权为1，k=2，则每个顶点度数小于等于2的树实际上为一条路径。对G实施AS算法，若AS表示2-生成树存在，则在G中存在一条包含所有顶点的无环无圈路径，也即G中存在Rudrata Path。若AS表示2-生成树不存在，也即G中没有Rudrata Path。
• 可以看出，求解是否存在 Rudrata Path的问题实际上可以用k-生成树存在算法解决，即前者可以规约到后者。
• ∴ k-生成树问题是一个NPC问题