摘要：
【2-sat】专题～2-sat是一个逻辑性很强的算法，但是其套路比较固定，所以不是很热，题目很少，但也不乏AC后让人大呼爽快的好题，下面放出两篇极品论文还有几道题目的题解以供交流～～2-sat学习：对称性解决2-sat的ppt赵爽的2-SAT解法浅析论文强连通判是否存在解：HDU 3062Party [入门]2-sat入门题，建图后求强连通判断是否有解即可View Code 1 #include<cstdio> 2 #include<cstring> 3 usingnamespace std; 4 #define MIN(x,y) (x<y?x:y) 5 #def 阅读全文