Open OkazakiYumemi opened 4 years ago
https://okazakiyumemi.github.io/blog/CF641F/
题意简述CF 641F 对于 $n$ 个布尔元素 $a(x), x\in [0, n)$,给定两个 2-SAT 问题,问是否解集相同,否则构造一组解使得其仅为其中之一的解。 两个 2-SAT 均形如 $\land{i = 0}^{m - 1}(f(x{i, 0})\lor f(x{i, 1}))$。 其中 $x{i, j}\in[0, 2n)$,并有恒等式 $a(x) = \lnot f(
https://okazakiyumemi.github.io/blog/CF641F/
题意简述CF 641F 对于 $n$ 个布尔元素 $a(x), x\in [0, n)$,给定两个 2-SAT 问题,问是否解集相同,否则构造一组解使得其仅为其中之一的解。 两个 2-SAT 均形如 $\land{i = 0}^{m - 1}(f(x{i, 0})\lor f(x{i, 1}))$。 其中 $x{i, j}\in[0, 2n)$,并有恒等式 $a(x) = \lnot f(