参考：http://blog.csdn.net/Regina8023/article/details/44158947
神奇的做法。题意相当于若干个数取不相邻的k个使最小。先把数组差分，len表示这段空的长度。设二元组(i,len[i])，开一个小根堆把二元组塞进去，以len排序。每次取出一个二元组，因为单纯的贪心是不行的，所以设计一个“反悔”操作。记录二元组的前驱pr后继ne，把拿出来的二元组的len加进答案，然后把当前二元组和它的前驱后继当成一个，也就是len[x]=len[pr[x]]+len[ne[x]]-len[x]，相应修改前驱后继，然后“删掉”前驱后继的二元组，这样的意思是如果再次选了修改过的二元组x，就意味着退还掉x，选择它的前驱后继，易证这样个数和ans都不会受影响。
至于用stl如何执行删除？可以把要的点的len设为inf，这样每次操作前先弹掉x与len[x]不符的点就相当于删除操作了。
#include<iostream>
#include<cstdio>
#include<queue>
using namespace std;
const int N=100005,inf=1e9;
int n,m,a[N],pr[N],ne[N],len[N],ans;
priority_queue<pair<int,int>,vector<pair<int,int> >,greater<pair<int,int> > >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();
for(int i=1;i<=n;i++)
{
len[i]=a[i]-a[i-1];
pr[i]=i-1;
ne[i]=i+1;
if(i>1)
q.push(make_pair(len[i],i));
}
pr[2]=0,ne[n]=0;
for(int i=1;i<=m;i++)
{
while(len[q.top().second]!=q.top().first)
q.pop();
int x=q.top().second,l=pr[x],r=ne[x];
ans+=len[x];
q.pop();
pr[ne[x]=ne[r]]=x;
ne[pr[x]=pr[l]]=x;
len[x]=l&&r?min(len[l]+len[r]-len[x],inf):inf;
len[l]=len[r]=inf;
q.push(make_pair(len[x],x));
}
printf("%d
",ans);
return 0;
}