Files
teamnote/source/Graph/2SAT.cpp
2026-06-03 09:20:51 +09:00

5 lines
142 B
C++

ok = true; // 1<=i&&i<=n : $x$, n+1<=i&&i<=2*n : $!x$
forr(i, n) {
if (scn[i] == scn[i+n]) ok = false;
ans[i] = (scn[i] < scn[i+n]);
}