随笔分类 -  图论-2-SAT

摘要:"http://acm.hdu.edu.cn/showproblem.php?pid=3622" 二分答案转化成2 sat问题。 上午测试时总想二分后把它转化成最大点独立集但是不会写最大点独立集暴力又秘制写错所以就爆零啦~~~ 阅读全文
posted @ 2017-01-21 15:34 abclzr 阅读(253) 评论(0) 推荐(0)
摘要:"http://hihocoder.com/problemset/problem/1467" 2 sat模板。。。详细的题解请看题目里的提示。 tarjan模板打错again致命伤qwq c++ include include include using namespace std; const i 阅读全文
posted @ 2017-01-15 10:22 abclzr 阅读(225) 评论(0) 推荐(0)