2-SAT问题相关算法与题目讲解（O(n*m)与O(m)）

2-SAT问题 信息学竞赛 OI ACM O(m) O(nm)

---

2-SAT问题

张天翔

blog.csdn.net/hzoi_ztx
ztx97@qq.com

---

前置技能

• 拓扑排序
• 基本逻辑运算
• 强联通分量

---

问题模型

给出n个布尔值组成的序列$\{A_i\}$，给出一些限制，每个限制最多针对两个元素（故称为“2-SAT”），先要求确定$A$序列的值以满足所有限制关系。

---

问题分析

首先列出7种有意义的限制（其实真正有意义的为5个），如下：

-1: $A_i = 1$
-2: $A_i = 0$
-3: $A_i\ AND\ A_j = 0$
-4: $A_i\ OR\ A_j = 1$
-5: $A_i\ OR (NOT\ A_j) = 1$
-6: $A_i\ XOR\ A_j = 1$
-7: $A_i\ XOR\ A_j = 0$

所有可能的限制条件如下

01: $A_i = 1$ 有意义
02: $A_i = 0$ 有意义

03: $A_i\ AND\ A_j = 1\Leftrightarrow (A_i = 1) AND (A_j = 1)(两个限制-1)$
04: $A_i\ AND\ A_j = 0$有意义
05: $A_i\ AND (NOT\ A_j) = 1\Leftrightarrow (A_i=1)AND(A_j=0)(限制-1,-2)$
06: $A_i\ AND (NOT\ A_j) = 0\Leftrightarrow (A_i=0)OR(A_j=1)\Leftrightarrow(NOT\ A_i)OR\ A_j = 1(限制-5)$
07: $(NOT\ A_i) AND\ A_j = 1\Leftrightarrow 限制05$
08: $(NOT\ A_i) AND\ A_j = 0\Leftrightarrow 限制06$
09: (N