摘要：今天学习图论的时候，碰到了2sat问题 虽然不是很难理解，感觉很精妙 ▄█▀█● 用的LRJ白书上的模板。 套路如下： 2 - SAT就是2判定性问题，是一种特殊的逻辑判定问题。 选择的置为1，未选的置为0 对于2SAT，每组矛盾都会有四种情况（2*2），题目会限制一种不成立，我们要做的就是找出这一 阅读全文