NPC规约问题 - 8.20

一、题目大意

证明支配集 (Dominanting Set) 问题是一个 NP 完全问题。

支配集的定义如下：

对于一个无向图 G=(V,E)，对于 D⊆V，如果图 D 是图 V 的一个支配集，则对于 V 中的任意一个顶点 v，总有 1 或 2 成立。
1. v 是图 D 中的顶点；
2. v 与图 D 相邻。

支配集问题是指给出一个图 G 和一个预算 b，如果存在顶点数不大于 b 的支配集，找出其中一个；否则证明不存在满足预算的支配集。

二、规约目标

将 3SAT 问题规约为支配集问题。

三、构造方法

以一个例子说明构造方法，示例 3SAT 问题为 (a∨b∨c)∧(b∨~c∨d)∧(~a∨c∨d)。

如上图所示，对逻辑式中出现的每一个变量 v，构建一个 3 阶完全图，三个节点分别为 v、~v、v'，分别表示 v 为真、v 为假、v不确定；称 v、