和數據備份差不多
設二元組(i,a[i])，開一個大根堆把二元組塞進去，以len排序，每次取出一個二元組
因為單純的貪心是不行的，所以設計一個“反悔”操作。
記錄二元組的前驅pr後繼ne，把拿出來的二元組的len加進答案，然後把當前二元組和它的前驅後繼當成一個，也就是len[x]=a[pr[x]]+a[ne[x]]-a[x]，相應修改前驅後繼，然後“刪掉”前驅後繼的二元組，這樣的意思是如果再次選了修改過的二元組x，就意味著退還掉x，選擇它的前驅後繼，易證這樣個數和ans都不會受影響。
至於用stl如何執行刪除？可以把要的點的len設為inf，這樣每次操作前先彈掉x與len[x]不符的點就相當於刪除操作了。

#include<iostream>
#include<cstdio>
#include<queue>
using namespace std;
const int N=200005;
int n,m,ans,a[N],pr[N],ne[N];
struct qwe
{
    int p,v;
    qwe(int P=0,int V=0)
    {
        p=P,v=V;
    }
    bool operator < (const qwe &b) const
    {
        return v<b.v;
    }
};
priority_queue<qwe>q;
int read()
{
    int r=0,f=1;
    char p=getchar();
    while(p>‘9‘||p<‘0‘)
    {
        if(p==‘-‘)
            f=-1;
        p=getchar();
    }
    while(p>=‘0‘&&p<=‘9‘)
    {
        r=r*10+p-48;
        p=getchar();
    }
    return r*f;
}
int main()
{
    n=read(),m=read();
    for(int i=1;i<=n;i++)
    {
        a[i]=read();
        q.push(qwe(i,a[i]));
        pr[i]=i-1,ne[i]=i+1;
    }
    pr[1]=n,ne[n]=1;
    if(2*m>n)
    {
        puts("Error!");
        return 0;
    }
    for(int i=1;i<=m;i++)
    {
        while(!q.empty()&&a[q.top().p]!=q.top().v)
            q.pop();
        int x=q.top().p,l=pr[x],r=ne[x];
        q.pop();
        ans+=a[x];
        pr[ne[x]=ne[r]]=x;
        ne[pr[x]=pr[l]]=x;
        a[x]=a[l]+a[r]-a[x];
        a[l]=a[r]=1e9;
        q.push(qwe(x,a[x]));
    }
    printf("%d\n",ans);
    return 0;
}
 

bzoj 2151: 種樹【貪心+堆】