2-SAT

         2-SAT问题就是类似于给出一个合取的布尔表达式，每个字句中有且只有两个变量（p、q），且每个字句代表一条限制条件，问是否存在一种解释使该式子是有效的。

 

          解决方法：

①抽象出2-SAT模型，以及限制条件；

②根据限制条件们构图（忽略方向时图对称）；（目前：*********难点*********，对于题目所给条件能表达出几个蕴涵关系不清楚）

③tarjan求该有向图的强联通分量们；（tarjan所求出来的强联通分量的标号即拓扑序列号）；

④如果有某一变量与其否定在同一强联通分量中，说明无解，即该布尔表达式恒为矛盾式。

如果没有的话：

根据拓扑序取点，每取出一个没标记过的点，就将该点标记为0，代表在可行解（可行解之一）的路径上，同时其对立节点标记为1，表示不在该可行解的路径上。

暴力一点的方法是在③之后，对原图缩点同时计算各点出度，然后拓扑排序再取点。

但考虑到“tarjan所求出来的强联通分量的标号即拓扑序列号”的性质，我们只需要枚举1~n个变量然后比较该变量与其反变量所述的SSC的标号大小即可，标号越小在拓扑序列中位置越靠前，所以靠前的那个肯定标记为0，靠后的那个标记为1.

⑤输出答案：遍历节点1~n，如果该节点被标记为0，就选该节点，否则，选择其对立节点。

 

 

 

The end；