[HEOI2014]南园满地堆轻絮（无代码）

例题

题目

做法

做法1

考虑二分答案，枚举答案为 $K$ ，考虑一下如果一个位置在保证前面依旧是非递减时要怎样才能减轻后面变成非递减的压力？

显然的一件事情是要让数字变得尽量的小，直接二分+贪心。

老了老了，这个SB做法想了一个小时

$O(n\log n)$

做法2

这个做法看题解的，挺妙的。

直接贪心，答案为差值最大的逆序对的一半。

时间复杂度 $O(n)$。

这个应该就是能够在 $LOJ$ AC的做法了。

当然，这个的证明我就阿巴一下吧。

定理

一个数列的最大值是 $va{l}_{max}$，存在一个最优方案使得变换后的非递减数列的最大值小于等于 $va{l}_{max}$ 。

假设存在一个位置变换后的值大于了 $va{l}_{max}$ ，那么变成 $va{l}_{max}$ 显然只会更优或者不变。

最小值也是同理。

证明

考虑最大逆序对在数列中的位置为 $x_1,x_2$ ，且对应的值为 $y_1,y_2$ （注：这里要求 $x_1$ 前不存在一个值大于 $y_1$ ，$x_2$ 同理 ）

那么显然，在 $[x_1,x_2]$ 区间中最小的变化就是 $\lceil \frac{y2-y1}{2}\rceil$ ，那么只需要证明这个最小变化可以推广到 $[1,n]$ 即可。

我们将 $[x_1,x_2]$ 中的 $y$ 值全部变成 $\lceil \frac{y2+y1}{2}\rceil$。

然后递归处理 $[1,x_1-1],[x_2+1,n]$ ，显然，结论成立。（省略具体细节，因为确实比较显然，当然，这里需要用到上面提到的定理来处理一下）