2-SAT学习整理
Posted MSPqwq
tags:
篇首语：本文由小常识网(cha138.com)小编为大家整理，主要介绍了2-SAT学习整理相关的知识，希望对你有一定的参考价值。
关于2-SAT 问题给出的证明和思路就不再赘述
核心是对于问题给出的条件建图,然后跑tarjan缩点
(在一个强联通分量里bool值是相同的)
看集合两个元素是否在一个强联通分量来判断是否合法
利用强联通分量是拓扑序的逆序可以进行方案的选择
2-SAT 问题代码一般比较短,重点是建图
一般来说对于一对点(i,i+n)可以表示为一个集合里的两个点,或者一对矛盾的点
这样对于题目给出的关系就可以建图了
建图方法参见数学的充要条件
以上是关于2-SAT学习整理的主要内容，如果未能解决你的问题，请参考以下文章