【算法概论】习题8.12证明题

《算法概论》习题8.12证明题

题目

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

解答

（a）一个搜索问题的定义是：任何可能解的正确性都能快速地被验证，而快速指的是能够在多项式时间内被验证。证明k-生成树问题是一个搜索问题，对于给定的一个可能解G’ = (V’, E’)，需要证明一下三点：
1. V′=