2-SAT问题

首先推荐两个资料：

伍昱 由对称性解2-sat问题（ppt）

赵爽 2-sat解法浅析（pdf）

概念：

       要知道2-sat是什么，我们先要知道什么是适定性（Satisfiability）问题，适，就是合适，定，就是确定，适定性问题通俗的说就是确定是否可以满足所有的条件？或者说就是确定一个满足所有条件的方案。取英文的前三个字母，简称sat问题。

　　通俗的sat问题表述一般是这样的：有很多个集合，每个集合里面有若干元素，现给出一些取元素的规则，要你判断是否可行，可行则给出一个可行方案。如果所有集合中，元素个数最多的集合有k个，那么我们就说这是一个k-sat问题，同理，2-sat问题就是k=2时的情况。

解法一：O(nm)的复杂度

传送门

解法二：O(m)的复杂度

算法流程：

1.构图

2.缩点

Tarjan算法缩点，将所有的边反过来

3.判可行

枚举集合的两个元素，看其是否处于不同的块内，若否的话则给出不可行信息

4.记录矛盾
这里所说的矛盾不是题中给出的两个人之间有仇恨，那样的边是实际存在，我们这里说的矛盾是指若两个块分别含有两个对立节点，也就是说一个集合的两个元素分布在了两个不同的块中，那么这两个块就是矛盾的，即不可能同时被选择，这样一种矛盾关系是不存在于边中的，是不依赖于输入的数据的，我们要找到与一个块对立的块，并把它们保存下来。

5.拓扑排序
将缩点后的图进行拓扑排序（排的是块而不是节点）

6.构造方案
　　按照拓扑序列的顺序，依次访问所有块，若一个块未被标记，将其标记为“选择”，不传递“选择”标记，将被选块的对立块标记为“不选择”，将其“不选择”标记沿着边正向传递。