摘要：
这两天学习了一下2-SAT，主要参考了以下两个资料： 《由对称性解2-SAT问题》 《2-SAT解法浅析》 另外还有这个博客我觉得讲得挺白话的。建图： 2-SAT问题远没有网络流那样复杂，只要抓住关系建好图基本就直接可以解了，在这类问题中建边的规则就是“必须”，对于边<i，j>，它的意义就是选择了i就必须选j。 对于题目中给出的每对关系都可以化成下面的几种形式： A,B不能同时取 <A,B'><B,A'> A,B不能都不取 <A',B><B',A> A,B必须都取或者都不取 <A,B>< 阅读全文
