BZOJ[1367][Baltic2004]Sequence 可并堆

题目链接http://www.lydsy.com/JudgeOnline/problem.php?id=1367

Description

Input

Output
一个整数R

Sample Input
7
9
4
8
20
14
15
18

Sample Output

13

HINT
所求的Z序列为6,7,8,13,14,15,18.
R=13


先考虑两种特殊情况：
①若$t_1<t_2<t_3<…<t_n$
则对于每一个$z_i=t_i$，此时最小$R$为$0$
②若$t_1>t_2>t_3>…>t_n$
则对于每一个$z_i=(t_1…t_n)$的中位数，此时$R$最小，
下面是我瞎证明的过程：

对于情况②，我们对每一个$z_i$取中位数(红色部分)，则$R$为这些绿色部分


如改变所取的值(如图，取较大于中位数的数)，则会发现前面的数减少了棕色部分，后面的数减小了紫色部分，发现这两部分事实上是相等的，前后的总和并没有改变，但R值却多了中间的那一部分(画圈部分)，得证，偶数情况与其类似，在此不做赘述

我们可以将原序列分割成许多单调递减的序列，这些序列所有数都取他们的中位数
但是我们要求的是上升序列而不是不下降序列，所以需要将输入的$t_i$处理成$t_i-i$

首先我们把$a_k+_1$作为一个新区间直接加入队尾，令$w_m+_1=a_k+_1$，然后不断检查队尾两个区间的中位数$w_m$和$w_m+_1$，如果$w_m>w_m+_1$，我们需要将最后两个区间合并，并找出新区间的最优解（也就是序列a中，下标在这个新区间内的各项的中位数）。重复这个合并过程，直至$w_1≤w_2≤…≤w_m$时结束，然后继续处理下一个数。

代码如下：

#include<algorithm>
#include<cstdlib>
#include<cstdio>
#define N 1000600
using namespace std;
int size[N],ch[N][2],a[N],root[N],l[N],r[N],tot[N],top,n;
long long ans=0ll;
int merge(int x,int y){
    if(!x) return y;if(!y) return x;
    if(a[x]<a[y]) swap(x,y);
    ch[x][1]=merge(ch[x][1],y);
    size[x]=size[ch[x][1]]+size[ch[x][0]]+1;
    swap(ch[x][0],ch[x][1]);
return x;
}
int main(){
    scanf("%d",&n);
    for(int i=1;i<=n;i++) scanf("%d",a+i),a[i]-=i;//要求单调递增
    for(int i=1;i<=n;i++){//root:这段区间的中位数
        l[++top]=r[top]=root[top]=i;//l:这段区间包含的最左边的点,r：这段区间包含的最右边的点
        tot[top]=size[i]=1;//tot:这个区间包含多少个数 size:
        while(top>1&&a[root[top-1]]>a[root[top]]){
            r[--top]=r[top+1]; tot[top]+=tot[top+1];
            root[top]=merge(root[top],root[top+1]);//将这个点合并到上一个序列里
            //下面的过程是将中位数调到堆顶(不断删除堆顶)
            while(size[root[top]]*2>tot[top]+1) root[top]=merge(ch[root[top]][0],ch[root[top]][1]);
        }
    }
    for(int i=1;i<=top;i++)
        for(int j=l[i];j<=r[i];j++)
            ans+=(long long)abs(a[j]-a[root[i]]);
return printf("%lld",ans),0;
}

附：不同可并堆的效率比较：
从上到下：斜堆，左偏树，随机堆(19260817)
左偏树还是稳定啊(笑)