2-sat相关复习
noi曾经考过，谁能说得准呢
sat问题
通俗的sat问题表述一般是这样的：有很多个集合，每个集合里面有若干元素，现给出一些取元素的规则，要你判断是否可行，可行则给出一个可行方案。如果所有集合中，元素个数最多的集合有k个，那么我们就说这是一个k-sat问题。
k-sat是NP问题，当k>2时,所以在OI里，我们只讨论2-sat问题的解决。
能干啥
一般形式(模板):n个点，每个点有个01变量，给出m个限制，让你找出符合限制的一组合法解
限制条件一般为(x_{0} oplus {y_{0}}=0,x_1&y_0=1)之类的.
如何做
我们利用限制条件来构出图来
一个限制条件如果是 选(a)则必须选(b)
那么，
(a -> b)(显性条件)
(b' -> a')(隐性条件)
就是说第一条边就是限制条件所说。
第二条边就是说选了(b')，则再选择了(a)会与条件矛盾，所以只能选择(a')
这样我们构出的图就有对称性了
2-sat的构图总是有对称性的
判定&&求解
举例子
选1不选4，选2不选3，选7不选3
我们首先选1，则3,8是必须选的(4,7必须不选)，5，6随便选一个
矛盾的情况就是一个组都选了(上下两个点)
然后枚举一组没有确定过的点，进行判定，如果矛盾，则选另一个a',不矛盾就选择a。
得不到答案无解，得到就是一组解
为何上面没被确定的点就可以继续判定，
也就是说这组点没有被之前的点所连，他们与之前的组是没有关系的(边即关系)
这也是得到一组字典序最小解的方法(应该是求字典序最小的唯一方法)
复杂度(O(n*m))
优化求解（利用对称性）
我们发现，一个环内，要不都不要，要不都要，就是说这些点都可以用一个点表示
喂喂喂，你别忘了这是2-sat问题诶，你一个点要有两个属性诶，缩点了如何保证啊。
emm，不用管。
我们之前建边的对称有啥用呢?
如果一个环是a->b->c->d->e->a
那么根据前面建边的对称，一定有a'<-b'<-c'<-d'<-e'<-a'
那么我们就说这两个环对称
那么我们建立的新图自然就是对称的，也就保证了2-sat的两个属性。
环内如果一组都在里面，则无解（因为两个点必须有一个选和一个不选）。
那么我们先tarjan缩下点，判一下无解
我们选择了一个点，则它的所有连接着的点都要被选(还有连接着的连接着的点……)，很麻烦
那我们先找入读为0的点，这么就没影响了。
就是拓扑排序，不过拓扑的是反图(边都反过来)。
不过tarjan的时候就是按拓扑序来的，所以根本不用再在写拓扑了(写也没关系啦)，嘻嘻。