按位拆开然后 \(\text{2-SAT}\),有的值提前确定为 0 则 1 点向 0 点连边,这样就能保证这个值一定为 0。 一有提前确定的值就不知道咋构造方案了我真的菜
不会 \(O(n^2)\) 我真的菜。
一眼题,套个矩乘完了。 一眼秒了后面不知道在想什么我真的菜。