BZOJ 1150 [CTSC2007]数据备份Backup

Description
　　你在一家 IT 公司为大型写字楼或办公楼（offices）的计算机数据做备份。然而数据备份的工作是枯燥乏味
的，因此你想设计一个系统让不同的办公楼彼此之间互相备份，而你则坐在家中尽享计算机游戏的乐趣。已知办公
楼都位于同一条街上。你决定给这些办公楼配对（两个一组）。每一对办公楼可以通过在这两个建筑物之间铺设网
络电缆使得它们可以互相备份。然而，网络电缆的费用很高。当地电信公司仅能为你提供 K 条网络电缆，这意味
着你仅能为 K 对办公楼（或总计2K个办公楼）安排备份。任一个办公楼都属于唯一的配对组（换句话说，这 2K
个办公楼一定是相异的）。此外，电信公司需按网络电缆的长度（公里数）收费。因而，你需要选择这 K 对办公
楼使得电缆的总长度尽可能短。换句话说，你需要选择这 K 对办公楼，使得每一对办公楼之间的距离之和（总距
离）尽可能小。下面给出一个示例，假定你有 5 个客户，其办公楼都在一条街上，如下图所示。这 5 个办公楼分
别位于距离大街起点 1km, 3km, 4km, 6km 和 12km 处。电信公司仅为你提供 K=2 条电缆。
　　上例中最好的配对方案是将第 1 个和第 2 个办公楼相连，第 3 个和第 4 个办公楼相连。这样可按要求使用
K=2 条电缆。第 1 条电缆的长度是 3km-1km=2km ，第 2 条电缆的长度是 6km-4km=2km。这种配对方案需要总长
4km 的网络电缆，满足距离之和最小的要求。

---

【题目分析】
各路巨犇都是用可修正的贪心算法的。orzzzzzzzzzz，长跪不起/
**每次贪心选取距离最小的点，可能会影响到上下的点，那我就加入一个新节点 len[l]+len[r]-len[c]，以防以后后悔
什么意思呢，就是发现取了c点，再取一个另外的点不如取 l和r优，这时候就反悔，选上 后来加入的c点，距离刚好是len[l]+len[r]
以后发现再不对了，就再修改，正确性是显然的。**

---

【代码】（借鉴来自zyf-zyf）

#include<cstdio>
#include<cmath>
#include<queue>
#include<cstring>
#include<algorithm>
#include<iostream>
#define inf 1000000000
#define maxn 100000+1000
#define pa pair<int,int>
using namespace std;
priority_queue<pa,vector<pa>,greater<pa> > q;
int n,m,len[maxn],pre[maxn],nxt[maxn];
int main()
{
    scanf("%d",&n);scanf("%d",&m);int x=0,y;
    for (int i=1;i<=n;++i)scanf("%d",&y),len[i]=y-x,pre[i]=i-1,nxt[i]=i+1,x=y;
    pre[2]=0; nxt[n]=0;
    int ans=0;
    for (int i=2;i<=n;++i) q.push(pa(len[i],i));
    for (int i=1;i<=m;++i)
    {
        while(q.top().first!=len[q.top().second])q.pop();
        int c=q.top().second,l=pre[c],r=nxt[c];
        ans+=len[c];q.pop();
        pre[nxt[c]=nxt[r]]=c;nxt[pre[c]=pre[l]]=c;
        len[c]=l&&r?min(inf,len[l]+len[r]-len[c]):inf;
        len[l]=len[r]=inf;
        q.push(pa(len[c],c));
    }
    printf("%d\n",ans);
    return 0;
}