$2-SAT$问题指的是对于若干限制求出一组可行解的问题. 考虑对于$n$个值域为${0,1}$的变量$x_1 , x_2 ,...,x_n$ 满足若干限制: 若 $x_i = p$ 则 $x_j = q ( i,j\in[1,n],p,q \in \{0,1\})$ 我们考虑对于每一个变量$x_i$开一个值域$x_{i,0} , x_{i,1}$表示第$i$个变量取值为$0/1$的点. 然后考虑每一组命题, 若 $x_i = p$ 则 $x_j = q , i,j\in[1,n],p,q \i…