[BZOJ 1150] 数据备份

Link：https://www.lydsy.com/JudgeOnline/problem.php?id=1150

Solution：

思路和洛谷P1484完全相同

只不过将求最大不相邻的点权改为最大不相邻的边权

（[P1484] 种树：http://www.cnblogs.com/newera/p/8977924.html）

但在边界条件上还是卡了好长时间，也许一开始我就理解错了

正解应该是将a[0]=INF，保证选过a[1]后绝不选a[2]，因为a[1]在不影响剩余点的位置的前提下比a[2]更优

我一开始认为可以由a[1]转移到a[2]，于是把left[0]=1

这明显是没有必要的，但为什么会WA？以后再看吧

Code：

#include <bits/stdc++.h>

using namespace std;
#define F first
#define S second
typedef long long ll;
typedef pair<ll,int> P;

const int MAXN=1e5+;
priority_queue<P,vector<P>,greater<P> > que;
int n,k,dat[MAXN],l[MAXN],r[MAXN],vis[MAXN];
ll d[MAXN],res=;

int main()
{
    scanf("%d%d",&n,&k);
    for(int i=;i<=n;i++) scanf("%d",&dat[i]);
    for(int i=;i<=n;i++)
        l[i-]=i-,r[i-]=i,d[i-]=dat[i]-dat[i-],que.push(P(d[i-],i-));

    d[]=d[n]=1e17;  //边界处理
    while(k--)
    {
        while(vis[que.top().S]) que.pop();
        P t=que.top();que.pop();
        res+=t.F;vis[l[t.S]]=vis[r[t.S]]=true;

        d[t.S]=t.F=d[l[t.S]]+d[r[t.S]]-d[t.S];que.push(t);        

        l[t.S]=l[l[t.S]];r[t.S]=r[r[t.S]];
        r[l[t.S]]=t.S;l[r[t.S]]=t.S;
    }

    printf("%lld",res);
    return ;
}