2sat建边总结

2sat的基础建边


AND = 1 : ~x -> x ,~y -> y   (两个数必须全为1)

AND = 0 : y -> ~x ,x -> ~y  (两个数至少有一个为0)
OR  = 1 : ~x -> y ,~y -> x  (两个数至少有一个为1)
OR  = 0 : x -> ~x ,y -> ~y  (两个数全为0) 
XOR = 1 : x -> ~y ,y -> ~x ,~y -> x ,~x -> y(两个数不同)
XOR = 0 : x -> y ,~x -> ~y ,y -> x ,~y -> ~x(两个数相同)

x,y不能都选是(基础的矛盾) :  x -> ~y ,y -> ~x 
x,y不能都选否               :~x -> y ,~y -> x
不能同时x选是,y选否        :x -> y ,~y -> ~x
不能同时x选否,y选是        :~x -> ~y ,y -> x







评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值