2-SAT 解法浅析

2—sat建图总结


1.元素关系有以下11种


A[x]
NOT A[x]
A[x] AND A[y]
A[x] AND NOT A[y]
A[x] OR A[y]
A[x] OR NOT A[y]
NOT (A[x] AND A[y])
NOT (A[x] OR A[y])
A[x] XOR A[y]
NOT (A[x] XOR A[y])
A[x] XOR NOT A[y] 


And 结果为1：建边 ~x->y, ~y->x (两个数都为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 , ~x->y , ~y->x , y -> ~x (两个数一个为0，一个为1)


XOR 结果为0：建边 x->y , ~x->~y , y->x ~y->~x(两个数同为1或者同为0)