如今很少见到这样真诚的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，否则无解
这道题就结束了
三体系列NOIP模拟题----神
猜你喜欢
转载自blog.csdn.net/ENESAMA/article/details/82962137
今日推荐
周排行