【发布时间】:2011-07-15 21:29:55
【问题描述】:
问题来了。我想知道是否有一个清晰有效的证明:
顶点覆盖:输入无向G,整数k > 0。是否有一个子集 顶点 S,|S|
支配集:输入无向G,整数k > 0。是否存在 顶点 S,|S|
一个顶点覆盖它的入射边并支配它的邻居和它自己。
假设VC是NPC,证明DS是NPC。
【问题讨论】:
-
这可能有助于en.wikipedia.org/wiki/…
-
NP-Complete 的支配集问题是最小尺寸支配集,而不仅仅是一个图是否有支配集。为了证明 NPC 是或否的问题,因此使用连通图中的所有顶点本质上是一个支配集。哪个不是 NPC。
标签: np-complete reduction