zlasd的博客

支配集问题算法概论习题8.20 　　在一个无向图G=(V, E)中，我们称V的一个子集D为一个占优集，是指每个（v属于V）都属于D或与D中一个节点为邻。在占优集问题中，输入为一个图和预算b，目标是求图的一个规模不超过b的占优集——如果该集存在。证明该问题是NP-完全的。 　　注: 占优集即为支配集，是dominating set的另一种译法. 　　证明 　　我们不妨只考虑连通图，对于非连通图