通过3SAT证明支配集是NPC问题

往期文章：

1. NPC简介

2. NP-hard问题证明

3. NPC 证明（一）

4. NPC 证明（二）

本文介绍如何通过3SAT归约，进而证明支配集是NPC问题。

3SAT问题

$\to$ 3-Satisfiability (3Sat)

给定一个有穷的布尔变量集合 X = { x 1 , x 2 , … , x n } X=\lbrace x_1,x_2,\ldots,x_n \rbrace X={ x1​,x2​,…,xn​}，变量$x_i$取值为1或者0，另有一组子句 C = { c 1 , c 2 , … , c m } C=\lbrace c_1,c_2,\ldots,c_m \rbrace C={ c1​,c2​,…,cm​}，$\mathbb{C}=c_1\wedge c_2\wedge \dots \wedge c_m$， c i = x j