一些小证明

画一条数轴，在上面标上红色的点，表示后缀最大值（一下说的后缀最大值为...都是只得下标）

然后任取一个点\(i\)，设这个点后面第一个后缀最大值为\(j\)，任取一个点\(k\)（\(k＞i\)）

不一定\((i,j)\)组合比\((i,k)\)组合优，但是在这种策略下，如果\((i,k)\)组合更优的话可以找到比这个组合更优的

具体的，设\(k\)左边第一个后缀最大值为\(m\)，右边第一个为\(p\)。

然后分类讨论\(a_{i},a_{j},a_{k}\)的大小（其中\(a_{j}\)一定大于\(a_{k}\)），然后加进来\((m,p)\)这个组合即可得正

其实得证的是：最优解一定不会漏掉