如今很少见到这样真诚的2-SAT题目了
然而我没有珍惜机会,还是WA了
题解写得很好,我就充当一回搬运工吧
先进行2-SAT建图
本身无解时,答案为0
否则的话,我们可以发现边只能由正点建向负点
如果-x可以到达x
只用建一条x到-x的边
如果x可以到达-x
且-x有一条回到正点y的边
则必定有一条-y到x的边
只用建一条边y到-y
否则无解
如果-x不可以到达x且x不可以到达-x
当-x有一条回到正点y的边时
解为2,否则无解
这道题就结束了
如今很少见到这样真诚的2-SAT题目了
然而我没有珍惜机会,还是WA了
题解写得很好,我就充当一回搬运工吧
先进行2-SAT建图
本身无解时,答案为0
否则的话,我们可以发现边只能由正点建向负点
如果-x可以到达x
只用建一条x到-x的边
如果x可以到达-x
且-x有一条回到正点y的边
则必定有一条-y到x的边
只用建一条边y到-y
否则无解
如果-x不可以到达x且x不可以到达-x
当-x有一条回到正点y的边时
解为2,否则无解
这道题就结束了