2-SAT简介

前方是2-SAT蒟蒻版（大雾）

蒟蒻不会打代码啊QAQ,代码有参考

配合洛谷食用风味更佳

2-SAT, 就是2-Satisfiability。 Satisfiability，可满足性。

背景故事

我要请大家开party！–$Oblia$

$Oblia$这样想。

因为$Oblia$是萌妹子同时是OIer和MOer，所以她可以同时邀请到OI和MO的神犇们。又因为所有已经接受$Oblia$邀请的OIer和MOer数量总共$2n$个，但party会场最多只能来$n$个人，所以她已经先在考虑之后给大家编号并且构建了$n$个集合，每个集合里面只有两个人，她准备在每个集合中挑选一个人参加party。公平起见，她采用了随机数的方式。

$Oblia$已经生成了一个序列。正在她准备发出邀请函之前，学姐$LeDevia$告诉她，这些人之间是有矛盾的！

热心的$LeDevia$为$Oblia$给出了$m$组的矛盾关系$(a,b)$，也就是说，$a$和$b$是不可以同时参加Party的~~（否则就会搞事情）~~

于是爱好和平的$Oblia$就来找了$Tynn$解决问题。

拒绝别人是不好的。说不定还可以暗箱操作一下

---

思路

$Tynn$是以神奇方法和龟速出名的dalao。

他是这样想的：

我们假设$x$所在的集合里面的另外一个元素是$x^{\prime }$

因为每一个集合都要选一个人，而对于每一组矛盾关系，$(a,b)$不能同时选择。所以，如果选择了$a$，那就必须要选择$b^{\prime }$，

上面那个命题的逆命题是：如果选择了$b^{\prime }$,就必须选择$a$

那么，该命题的逆否命题就是，不选择$b^{\prime }$，就不可以选择$a$

由于逆否命题恒成立，所以不选择$b^{\prime }$，就不可以选择$a$一定是对的

因为每个集合必须选一个，所以不选$b^{\prime }$就要选$b$，不选$a$就必须选$a^{\prime }$.

所以，选择了$b$就必须选择$a^{\prime }$

（对吧 ^o）

这个“必须”的关系是可以传递的吧……

dalao就是dalao，$Tynn$马上想到了图论。

每一条“必须”都构边，就变成了有向图。

于是我们发现，这一个图有很强的对称性。

“tarjan陪伴强联通分量
----《膜你抄》

$Tynn$开始哼歌，于是就发现了这一句歌词

强连通分量！！

开始强连通分量缩点。

对于一个强连通分量中的所有元素，只要选择了一个，就必须选择剩下的所有元素。

$Tynn$试了几次，发现$Tarja$