2sat的基礎(chǔ)建邊

AND = 1 : ~x -> x ,~y -> y ? (兩個數(shù)必須全為1)

AND = 0 ： y -> ~x ,x -> ~y ?(兩個數(shù)至少有一個為0)
OR ?= 1 ： ~x -> y ,~y -> x ?(兩個數(shù)至少有一個為1)
OR ?= 0 ： x -> ~x ,y -> ~y ?(兩個數(shù)全為0)?
XOR = 1 ： x -> ~y ,y -> ~x ,~y -> x ,~x -> y（兩個數(shù)不同）
XOR = 0 ： x -> y ,~x -> ~y ,y -> x ,~y -> ~x（兩個數(shù)相同）

x,y不能都選是（基礎(chǔ)的矛盾） ： ?x -> ~y ,y -> ~x?
x,y不能都選否 ? ? ? ? ? ? ? ：~x -> y ,~y -> x
不能同時x選是，y選否 ? ? ? ?：x -> y ,~y -> ~x
不能同時x選否，y選是 ? ? ? ?：~x -> ~y ,y -> x

總結(jié)

以上是生活随笔為你收集整理的2sat建边总结的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯，歡迎將生活随笔推薦給好友。