Zeardoe

摘要： 1 2-SAT 问题 1.1 什么是 2-SAT $n$ 个 bool 变量，有 $m$ 个限制，形如：“第 $i$ 个变量的真假性为 $s$，那么第 $j$ 个变量的真假性需要为 $t$”，其中 $i, j \in [1, n], s, t \in {0, 1}$。求这些变量的一组合法取值，使得满 阅读全文