和数据备份差不多

设二元组(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
    
     #include
     
      #include
      
       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
       
        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;}