算法:POJ 3678 Katu Puzzle(2-SAT判断)
2017-02-05
15
算法:POJ 3678 Katu Puzzle(2-SAT判断)2014-01-10 csdn shuangde800【题目大意】有一个有向图G(V,E),每条边e(a,b)上有一个位运算符op(AND, OR或XOR) 和一个值c(0或1)。问能不能在这个图上的每个点分配一个值X(0或1),使得每一条边e(a,b)满 足 Xa op Xb = c【思路】每一个点上只能取0或者1,显然是2-SAT模型。关键是怎样建边。对于两个点a和 b, a有两个值a1...