分级

再提供一种证明方法，画的图跟Y总一样

那个红框框里面，我们任选一个点，比如中间那个点，设为$b[i]$，我们将其向靠近$a[i]$移动（不妨设为向上），在移动过程中，有可能会导致后面一些比$b[i]$大的$b$跟着往上面移动，然后改变和值，当整体往上移动会导致和值变大时，我们将整体往下移动就会导致和值变小

在向下移动的过程中同理，一个更大的整体可以会在移动一步之后让和值变大，这个时候我们在让这个更大的整体向上移动

然后我们一直这么向上向下移动，由于粉色框框里面的$b$是有限的，最后的一个整体肯定要么往上移动会更优，要么往下移动会更优（也有可能和值不变），无论怎么样都可以让$b$全部变成$a$的某一个元素

update 2024.6.25

如果要进行滚动数组优化