CF1592F2 Alice and Recoloring 2

标签：二分图匹配。

延续 F1 的观察，但是现在 4 操作不一定只用一次了。

我们发现如果 \(c_{x-1,y-1},c_{x-1,m},c_{n,y+1}\) 这些位置不是都有值，那么一定是不优的，因为可以用 1 操作代替。

然后对于这样的位置，我们发现 \((x,y)\) 这个行列只能覆盖一次，那么实际上是一个二分图的形式，可以连边 \((x,y)\)。

然后最大匹配就是右下角操作的数量，判断一下 \(c_{n,m}\) 的情况即可。