P9869

https://www.luogu.com.cn/problem/P9869?contestId=145259 看到要给变量赋初始值，还是 T, F, U 之类的，容易想到 2-SAT。 设 \(1 \sim n + m\) 的点表示 \(x_1, x_2, \dots, x_{n + m}\) 为 ......