bzoj 1150: [CTSC2007]数据备份Backup【链表+堆】

参考：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\n",ans);
	return 0;
}