摘要：
POJ 2-sat 六题第二题http://blog.sina.com.cn/s/blog_64675f540100k15b.html题目描述：一些点，点的取值可以是0或者1，没有告诉你具体取值。一些边，有权值，有运算方式（并，或，异或），要求和这条边相连的两个点经过边上的运算后的结果是边的权值。问你有没有可能把每个点赋值满足所有边的要求。解题报告：每个点只有0，1两种值，并且和边对面的点有约束条件，所以可以转化为2-sat问题。令i表示点i去0，i + n表示点i取1.点i与点j and 等于0时。 i + n -> j, j + n -> iand 等于 1时，要求i和j必须为 阅读全文
