三体系列NOIP模拟题----神

本文深入探讨了2-SAT问题的解决方法,详细解释了如何通过建立图论模型来判断问题是否有解,以及在有解的情况下如何进一步确定解的数量。文章提供了具体的算法步骤,包括如何从正点建向负点的边,以及如何利用这些边来判断解的存在性和数量。

如今很少见到这样真诚的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,否则无解

这道题就结束了

评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值