一些小证明

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

然后任取一个点$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)$这个组合即可得正

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