摘要： 关于2-sat，其实就是一些对于每个问题只有两种解，一般会给出问题间的关系，比如and，or，not等关系，判定是否存在解的问题。。具体看http://blog.csdn.net/jarjingx/article/details/8521690，该博客写得很不错的。下面是LRJ白书上给的2-sat，... 阅读全文