bzoj1150: [CTSC2007]数据备份Backup 贪心

bzoj1150: [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 的网络电缆，满足距离之和最小的要求。

Input

第一行包含整数n和k
其中n（2≤n≤100000）表示办公楼的数目，k（1≤k≤n/2）表示可利用的网络电缆的数目。
接下来的n行每行仅包含一个整数（0≤s≤1000000000）,表示每个办公楼到大街起点处的距离。
这些整数将按照从小到大的顺序依次出现。

Output

输出应由一个正整数组成，给出将2K个相异的办公楼连成k对所需的网络电缆的最小总长度。

Sample Input

5 2
1
3
4
6
12

Sample Output

4

分析

一种经典的贪心做法。
一句话题意就是选择若干个不相邻的数，使这些数的和最小。
我们每次贪心的选择最小的哪一个。
然而显然不能简单的吧最小的那个旁边的两个删除。
考虑如果要“反悔”，那么一定是选这个数旁边的两个不选当前的数。如果选了旁边的两个数，那么这两个数旁边的两个数也变得不能选了。
于是我们每选一个数，就合并三个数为同一个数。
能够进行这波操作的核心是：原本一个有后效性的贪心，我们发现这个后效性问题刚刚好可以转化为和原问题子问题相同的一个问题，那么我们把这个子问题加入序列即可消去后效性
神奇！
然后这题的话，找数用堆，修改用链表即可。

代码

/**************************************************************
    Problem: 1150
    User: 2014lvzelong
    Language: C++
    Result: Accepted
    Time:764 ms
    Memory:12192 kb
****************************************************************/

#include<iostream>
#include<cstdlib>
#include<cstdio>
#include<algorithm>
#include<queue>
#define mp make_pair
#define fi first
#define se second
using namespace std;
const int N = 550000;
const long long inf = 1e18;
typedef pair<long long, int> pa;
int k, n, nx[N], pr[N];
long long t[N];
priority_queue<pa>q;
int main() {
    scanf("%d%d", &n, &k); 
    for(int i = 1; i <= n; ++i) scanf("%lld", &t[i]);
    sort(t + 1, t + n + 1);
    for(int i = 1;i < n; ++i) t[i] = t[i + 1] - t[i], nx[i] = i + 1, pr[i] = i - 1;
    nx[n - 1] = 0; long long ans = 0;
    for(int i = 1;i < n; ++i) q.push(mp(-t[i], i));
    while(k--) {
        while(q.top().fi != -t[q.top().se]) q.pop();
        int u = q.top().se, l = pr[u], r = nx[u];
        ans += t[u]; q.pop();
        pr[nx[u] = nx[r]] = u;
        nx[pr[u] = pr[l]] = u;
        t[u] = l && r ? min(inf, t[l] + t[r] - t[u]) : inf;
        t[l] = t[r] = inf;
        q.push(mp(-t[u], u));
    }
    printf("%lld\n", ans);
    return 0;
}