这把打得中规中矩，前期一道签到题出得有点慢了；最后一道铜牌题关键思路是对的，但还是做法有问题超时了。

inline">\(J\)：每一次考虑排好一整个前缀，那么每次操作至少会让前缀长度加

inline">\(A\)：卡了很久的一道题，最后构造出了一组很强的样例，排查出了问题。

具体思路见官解。

inline">\(G\)：无解情况很好特判，只需要关注有解情况：对于

\lfloor\frac{m}{2}\rfloor]\)，将第

inline">\(2\)，那么这两列无论哪种方案都会满足要求，不需要考虑；那么就只需要看恰好有

inline">\(1\)，那么根据初始时两个

的两行是必须都操作/不操作，还是必须只对某一行操作。

于是我们可以用二分图染色解决这个问题：将每一行当作一个点，边权

分别代表两个端点是必须都操作/不操作，还是必须只对某一行操作。

对于每个连通块，方案数只能是

inline">\(2\)，取决于这个连通块内所有边是否均满足条件。

所有连通块的方案数作乘法原理即为答案。

注意特判

关键要想到将等差数列的偏移量提前处理掉：先将所有的

inline">\(a'\)）。

这样处理后就有一个重要的性质：将

中的对应子数组变成全部相同的数（相当于操作后再将偏移量加回来）。

这样，问题就变成了：现有最大操作次数

inline">\(k\)，考虑所有子数组，求在最大操作次数以内可以变成全相同数的子数组的最大长度。

都变成序列的中位数一定更优（长度为偶数，上中位数和下中位数之间的数都可以）。

操作次数等价于求子数组后一半大

了。

事实上二分可以写成双指针（因为在某个子数组中添加一个数，操作次数一定单调不减），通过滑动窗口的方式维护上述值，进而可以省掉一个

inline">\(FHQ\)，当然是因为它强大的功能：既可以查询维护集合的第

大，也可以查询任何一个数在维护集合中的排名。

结合这两个功能，就能够实时维护子树组内添加或者删除一个数时，子数组后一半大

前一半大的值。

具体实现写得很麻烦，还要根据区间长度的奇偶性分类讨论，细节见代码。

code

---