求证明或证伪

我的想法是这样子的：

正着考虑操作。以行为单位，维护以每个位置为左上角的最大正方形边长。

考虑增加一次操作。它对于每一行的影响应当都是一个连续段，且从下往上段的左端点不断变大，右端点不断变小。可以暴力双指针状物维护左右端点。

然后考虑每一段会被变成什么。不难发现一段会被分成前后两个部分，前半部分横向被限制，表达在数组上是一个公差为 -1 的等差数列。后半部分纵向被限制，表达在数组上是一个平台。

每一行开一个 odt 维护等差数列段，再开一个 multiset 维护所有段的起始位置。总段数是 $O(nm+kn)$ 的。每次询问暴力查找每个 multiset 的最大值，所以总时间复杂度没算错的话应该是 $O(n^2\log n)$。

不知道做法是不是对的，但是我现在要睡觉了。

minstdfx过来做题