神秘。

说的不是维护凸包优化 dp 那个做法，说的是堆那个贪心，虽然两个的代码没啥区别。

首先这个堆里维护的是啥，这个最大值又是啥的最大值，最优序列中最大值最小的那个的最大值？

然后就算他维护的是这个吧，那为啥我可以把最大值直接挪下来？好就算你说可以通过代价相同的操作得到合法的序列吧，那为啥在堆里又是直接把最大值改成当前数？这为啥能使得维护的东西是对的？

四倍经验，四道题我觉得没有一个题解讲了这些。

更别提为啥这样搞一下就最优，合法性讲不清楚谈最优性都没啥意义。

有没有老哥教教我。

顺带一提的是那个整体二分做法，我也很不理解它的正确性，不过这个再说。