今天简单学习了一下2-SAT.现在简单地总结一下.至于定义之类的就不写了,这里就写写做法,以防以后忘记. 构图 每个值a,拆为两个点,一个表示a,一个表示^a(非a).每个点我们可以看成是一个命题(这是我的理解). 图中如果有一条边有X连向Y,表示如果X为真,那么可以推出Y为真. 注意,这里的图是有对称性的,这样下面的算法正确性才成立.举个例子,如果a连向b,那么必然有^b连向^a:如果^a连向b,那么必然有^b连向a. 算法 构好图后我们对其使用强连通分量算法.接着我们就可以得到一个有向无环图…