首页 > 代码库 > 【HDU】3622 Bomb Game(2-SAT)

【HDU】3622 Bomb Game(2-SAT)

http://acm.hdu.edu.cn/showproblem.php?pid=3622

又是各种逗。。

2-SAT是一种二元约束,每个点可以置于两种状态,但只能处于一种状态,然后图是否有解就是2-SAT啦。

看白书吧。

x1和x2分别表示x处于1和x

【HDU】3622 Bomb Game(2-SAT)