随笔分类 -  2-sat

 
2-sat
摘要：http://blog.sina.com.cn/s/blog_64675f540100k2xj.htmlhttp://www.cppblog.com/MatoNo1/archive/2011/07/13/150766.aspx讲解看的这两篇博客，其实最好直接去看国家集训队的论文，别的抄来抄去想找个原... 阅读全文
posted @ 2014-05-07 17:22 LegendaryAC 阅读(153) 评论(0) 推荐(0)
HDU 3062
摘要：http://acm.hdu.edu.cn/showproblem.php?pid=30622sat判定性问题模板#include #include #include #include #include #include using namespace std ;struct node { i... 阅读全文
posted @ 2014-05-07 13:55 LegendaryAC 阅读(212) 评论(0) 推荐(1)