ACM- 2-SAT问题

前言：这篇文章是参考着饶齐的总结写出来的，但只有一些文字性的描述类似。

 

现在有一个由N个布尔值组成的序列A，给储户一些限制关系

比如 A[x] AND A[y] =0 、A[x] OR A[y] OR A[z] =1等，

要确定A[0...N-1]的值，使其满足所有限制关系。这个问题称为2-SAT问题

特别的，若每种限制关系中最多只对两个元素进行限制，则称为2-SAT问题。

由于在2-SAT问题中，最多只对两个元素进行限制，所以可能的限制关系共有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]

进一步，A[x] AND A[y]相当于(A[x]) AND (A[y])（也就是可以拆分成A[x]与A[y]两个限制关系），NOT(A[x]OR A[y])相当于NOT A[x] AND NOT A[y]（也就是可以拆分成NOT A[x]与NOT A[y]两个限制关系）。因此，可能的限制关系最多只有9种。

        在实际问题中，2-SAT问题在大多数时候表现成以下形式：有N对物品，每对物品中必须选取一