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;
}