bzoj 2151: 种树【贪心+堆】

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