1150: [CTSC2007]数据备份Backup

1150: [CTSC2007]数据备份Backup

Time Limit: 10 Sec   Memory Limit: 162 MB
Submit: 1714   Solved: 671
[ Submit][ Status][ Discuss]

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 ≤100 000）表示办公楼的数目，k（1≤ k≤ n/2）表示可利用

的网络电缆的数目。接下来的n行每行仅包含一个整数（0≤ s ≤1000 000 000）, 表示每个办公楼到大街起点处

的距离。这些整数将按照从小到大的顺序依次出现。

Output

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

Sample Input

5 2
1
3
4
6
12

Sample Output

4

HINT

Source

[ Submit][ Status][ Discuss]
并没想到是贪心。。 首先可以确定的是，每一对连线一定是取相邻两栋楼 如果我们每次都贪心地去取当前最优的那对，很容易构造出错误的例子。。 但是往下想，如果当前有一个很小的东西你不去取，那一定是为了取它左右两边，因为这样才可能更优 维护一个双向链表，每次取出第i个位置，那么就把pre[i]和nex[i]删除 并往堆中新增一个元素a[pre[i]] + a[nex[i]] - a[i] 代表取反

bo函数里也应该是pre和nex呀。。。真是脑残了

 #include<iostream>
#include<cstdio>
#include<queue>
#include<vector>
#include<bitset>
#include<algorithm>
#include<cstring>
#include<map>
#include<stack>
#include<set>
#include<cmath>
#include<ext/pb_ds/priority_queue.hpp>
using namespace std;

const int maxn = 1E5 + 10;
const int INF = 1E9 + 1;

struct data{
	int va,num;
	data(){}
	data(int va,int num): va(va),num(num){}
	bool operator < (const data &b) const {return va > b.va;}
};
typedef __gnu_pbds::priority_queue<data,less<data>,__gnu_pbds::pairing_heap_tag> Heap;

int n,m,ans,pre[maxn],nex[maxn],d[maxn],a[maxn];
bool bo[maxn];

Heap Q;

int main()
{
	#ifdef DMC
		freopen("DMC.txt","r",stdin);
	#endif
	
	cin >> n >> m;
	for (int i = 1; i <= n; i++) scanf("%d",&d[i]);
	for (int i = 1; i < n; i++) {
		a[i] = d[i+1] - d[i];
		Q.push(data(a[i],i));
	}
	a[0] = a[n] = INF; nex[n] = n;
	for (int i = 1; i <= n; i++) pre[i] = i-1;
	for (int i = 0; i < n; i++) nex[i] = i+1;
	while (m--) {
		data k;
		for (;;) {
			k = Q.top(); Q.pop();
			if (bo[k.num]) continue;
			else break;
		}
		ans += k.va;
		int tot = -k.va;
		tot += a[pre[k.num]];
		tot = min(tot,INF);
		tot += a[nex[k.num]];
		tot = min(tot,INF);
		a[k.num] = tot;
		bo[pre[k.num]] = bo[nex[k.num]] = 1;
		nex[pre[pre[k.num]]] = k.num;
		pre[k.num] = pre[pre[k.num]];
		pre[nex[nex[k.num]]] = k.num;
		nex[k.num] = nex[nex[k.num]];
		Q.push(data(tot,k.num));
	}
	cout << ans;
	return 0;
}