POJ3678KatuPuzzle(2:POJ 3678 Katu Puzzle(2-SAT) http://poj.org/problemid=3678 题意: 一个N个顶点和M条边的有向图,每个顶点能取0或1两个.现在每条边被一个操作符(or,and,xor)以及一个(0或1)标记了,表示a与b按操作符运算的结果是(0或1).问你该有向图是否有可行解