2-SAT问题就是类似于给出一个合取的布尔表达式,每个字句中有且只有两个变量(p、q),且每个字句代表一条限制条件,问是否存在一种解释使该式子是有效的。
解决方法:
①抽象出2-SAT模型,以及限制条件;
②根据限制条件们构图(忽略方向时图对称);(目前:*********难点*********,对于题目所给条件能表达出几个蕴涵关系不清楚)
③tarjan求该有向图的强联通分量们;(tarjan所求出来的强联通分量的标号即拓扑序列号);
④如果有某一变量与其否定在同一强联通分量中,说明无解,即该布尔表达式恒为矛盾式。
如果没有的话:
根据拓扑序取点,每取出一个没标记过的点,就将该点标记为0,代表在可行解(可行解之一)的路径上,同时其对立节点标记为1,表示不在该可行解的路径上。
暴力一点的方法是在③之后,对原图缩点同时计算各点出度,然后拓扑排序再取点。
但考虑到“tarjan所求出来的强联通分量的标号即拓扑序列号”的性质,我们只需要枚举1~n个变量然后比较该变量与其反变量所述的SSC的标号大小即可,标号越小在拓扑序列中位置越靠前,所以靠前的那个肯定标记为0,靠后的那个标记为1.
⑤输出答案:遍历节点1~n,如果该节点被标记为0,就选该节点,否则,选择其对立节点。
The end;