摘要: http://acm.hdu.edu.cn/showproblem.php?pid=3622又是各种逗。。2-SAT是一种二元约束,每个点可以置于两种状态,但只能处于一种状态,然后图是否有解就是2-SAT啦。看白书吧。这个图的边的概念一定要弄懂!以下的x'表示x的另一个点边(x, y)表示取了x就一... 阅读全文
posted @ 2014-10-02 00:00 iwtwiioi 阅读(463) 评论(0) 推荐(0) 编辑