和数据备份差不多
设二元组(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;
}
