考虑什么时候满足
在每个 \(2 \times 2\) 矩阵种, 两种类型的种类相同
有一个性质, 对于合法的矩阵, 其行和列必定有一个是间隔放置的
这个可以看 Luogu 题解区 的证明, 证明之后思路就显然了
贪心是显然的
略
看不出来, 就是菜, 保留在这里当一种 \(\rm{trick}\) 处理
不会做简单题, 考虑推性质
