种树（浅谈优先队列之后悔操作（求教大佬！！！！！！！！！））

鄙人最近做到的一个题目

题目描述
n个数里面找个m个数使之和最大，这m个数互不相邻。

这道题是一开始在洛谷里“堆”里面找到的，所以没有往DP那边想，这道题 DP也是蛮暴力的，O(nm)我就不讲了
看题解发现了这个玄妙的优先队列的后悔操作

优先队列（堆）

基于C++STL库的神奇，具体我就不讲了，自行百度

后悔

这个操作着实有一点玄妙
我先把那个题目的题解发一下

我们先进行小规模枚举：
k=1时，显然取n个数中取最大的即可（暂不考虑全负的情况）。设最大的数是a[i]。
k=2时，则有两种可能：1、另取一个与a[i]不相邻的a[j]。2、取a[i-1]和a[i+1]。
我们可以发现：如果k=1时最优解为a[i]，那么我们便可以把a[i-1]和a[i+1]进行合并，因为它们要么同时被选，要么同时落选（证明不难，请自行解决）。而且，我们还注意到：当选了a[i-1]和a[i+1]时，获利便增加了a[i-1]+a[i+1]-a[i]。所以当a[i]被选时，我们就可以删去a[i-1]和a[i+1]，并把a[i]改成a[i-1]+a[i+1]-a[i]，重新找最大的。
每次找的都是最大的数，我们便可以使用堆进行操作，直到堆中最大值小于0或取出k个数后停止。复杂度O(klogn)。

其实这一段我一开始看觉得有很多缺乏证明，如果您不是一个大佬应该也会这样的疑问？emmm？
具体我举个例子，（我直到想通的那一刻才发觉了这是如何完成局部贪心来代替动态规划的）

7 3
3 2 7 14 8 9 4

那么14入队
这里我一开始最看不懂的一步是，为什么不先把14标记掉，而是先把14标记掉而是先把14左边和右边 的7和8标记掉呢
先继续做下去
7+8=15>14
好
这里又有一处很神奇的地方
这里我们把新的元素入队，这里的入队的元素值
$id$还是14的$id$，但是这里的值变成了 7+8-14=1.
此时这个元素就是包含了 7 14 8在内的总集合
继续往下
这个时候9进队
9的左右两边不是8和4
而是1和4
（我觉得相当神奇？？？）
此时进队的却是，1+4-9=-5
再继续
3
进队的是2+0-3=-1
那么到此时
ans的值就是3+9+14？？
我突然发现我没懂？？？？