标签：http ar c r ef acm php tt hdu
http://acm.hdu.edu.cn/showproblem.php?pid=3622
又是各种逗。。
2-SAT是一种二元约束，每个点可以置于两种状态，但只能处于一种状态，然后图是否有解就是2-SAT啦。
看白书吧。
x1和x2分别表示x处于1和x
【HDU】3622 Bomb Game（2-SAT）
原文地址：http://www.cnblogs.com/iwtwiioi/p/4003726.html
