部分转自https://blog.csdn.net/jarjingx/article/details/8521690
博主讲的真的太棒了
2-sat
定义：
有一些集合,每个集合里面有且仅有两个元素,且不能同时选取两个元素,集合间的元素存在一定的选择关系,求解可行解以及可行方案
// 如果元素最多的集合里面有k个元素,则称其为k-sat问题,可以证明是NP完全问题(出门右转百度百科)
方法：
1.连边
2.tarjan缩点,连反边
3.判断可行性,即同一集合中的两点是否属于一个强联通分量
4.拓扑排序,若当前节点没有被访问过,则选择该点，不选择其他的点
5.构造方案
连边
算法本身并不难,关键在于连边,充分理解好边的概念:a->b表示选a必选b
a,b不能同时取 :a->b',b->a'
a,b不能同时不取 :a'->b,b'->a
a,b要么都取要么都不取 :a->b,b->a,a'->b',b'->a'
a,b必须同时取 :同上
a必须取 :a->a'
缩点
tarjan缩点,将所有边反过来
#以下将强联通分量简称为分量
判断可行性
枚举每个集合,判断其两个元素是否在同一个分量内,若在同一个内则不可行
拓扑排序
将缩点后的分量进行排序
构造方案
按照拓扑后的顺序依次访问所有分量,若某个分量没有被访问则将其标记为"选择",不传递"选择"标记,将被选分量的对立分量标记为"不选择",将其"不选择"的标记沿着传递(注意边已经反过来了)