ljc20020730

摘要： $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 阅读全文