3678 Katu Puzzle
解法
変数がN<=1000こあり,
a op b = c
1 <= a, b <= N, op = OR | AND | XOR, c = 0 | 1
と言う式が1000000個与えられる.
これらの式を充足出来るか答える.
解法
2-satになる.
変数がN<=1000こあり,
a op b = c
1 <= a, b <= N, op = OR | AND | XOR, c = 0 | 1
と言う式が1000000個与えられる.
これらの式を充足出来るか答える.
2-satになる.