摘要： 
# 2-SAT问题 有 $n$ 个布尔变量 $x_1 \sim x_n $，另有 $m$ 个需要满足的条件，每个条件的形式都是 「$x_i$ 为 `true` / `false` 或 $x_j$ 为 `true` / `false`」。比如 「$x_1$ 为真或 $x_3$ 为假」、「$x_7$ 为 阅读全文
# 2-SAT问题 有 $n$ 个布尔变量 $x_1 \sim x_n $，另有 $m$ 个需要满足的条件，每个条件的形式都是 「$x_i$ 为 `true` / `false` 或 $x_j$ 为 `true` / `false`」。比如 「$x_1$ 为真或 $x_3$ 为假」、「$x_7$ 为 阅读全文