摘要：
2-SAT问题：有n个bool变量x1,x2....xn，还有一些必须满足的条件。这些条件列如“x1为假或x2为真”，即“x1假x2假”、“x1假x2真”、“x1真x2真”。求解2-SAT问题的算法有很多，有一种效率还不错，实现方便又理解方便的算法。注意例子中的那个条件“x1为假或x2为真”，在x1为假的时候x2可以为任意值，但在x1为真的时候,x2为满足条件必须是真。也就是说x1为真可以推导出x2为假、x2为假可以推导出x1为真。换成一般的情况，已知xa→xb'，则xb→xa'、已知xa'→xb,则xb'→xa（xi表示真xi'表示假）这个称为对称性， 阅读全文
