摘要：
http://acm.hdu.edu.cn/showproblem.php?pid=1814裸的2-SAT版题(模板得到的方案是按字典序得到的)(调试调到死。。。)直接按照输入按AND=1的规则加边，然后跑2-SAT输出即可2-SAT原理详见kuangbin大神的博客：http://www.cnblogs.com/kuangbin/archive/2012/10/05/2712429.html 1 //#pragma comment(linker, "/STACK:102400000,102400000") 2 #include 3 #include 4 #include 阅读全文
摘要：
http://poj.org/problem?id=3207两条边不能相交->两条边仅能存1->两条边XOR=1明显的2-SAT如果扫描到两条边可能相交就按XOR=1的规则加边，然后用2-SAT判可行性即可可能相交条件：1 bool check(int i,int j)2 {3 return (node[i].x 3 #include 4 #include 5 #include 6 #include 7 #include 8 #include 9 #include 10 #include 11 #include 12 #include 13 #include 14 #in... 阅读全文