11 2013 档案

摘要:http://poj.org/problem?id=2296很好的一道2-SAT题取上为1,取下为0两个新规则:a = 0: 这个等价于加边!a->aa = 1: 这个等价于加边a->!a当二者y差值 3 #include 4 #include 5 #include 6 #include 7 #include 8 #include 9 #include 10 #include 11 #include 12 #include 13 #include 14 #include 15 #include 16 #include 17 using namespace std; 18 type. 阅读全文
posted @ 2013-11-02 17:54 xysmlx 阅读(227) 评论(0) 推荐(0) 编辑
摘要: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 阅读全文
posted @ 2013-11-01 09:32 xysmlx 阅读(287) 评论(0) 推荐(0) 编辑
摘要: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... 阅读全文
posted @ 2013-11-01 09:29 xysmlx 阅读(184) 评论(0) 推荐(0) 编辑

点击右上角即可分享
微信分享提示