[ 可并堆 贪心 ] [ Baltic2004 ] BZOJ1367

论文例题。
但论文中 $z_i$ 是单调不减的。
只要将 $t_i$ 减去 $i$ ，这样相当于求出 $z_i$ 后再加上 i <script type="math/tex" id="MathJax-Element-5">i</script> ，就是严格单调递增的了。

#include<bits/stdc++.h>
using namespace std;
inline char nc(){
    static char buf[100000],*p1=buf,*p2=buf;
    return p1==p2&&(p2=(p1=buf)+fread(buf,1,100000,stdin),p1==p2)?EOF:*p1++;
}
inline void Read(int& x){
    char c=nc();
    for(;c<'0'||c>'9';c=nc());
    for(x=0;c>='0'&&c<='9';x=(x<<3)+(x<<1)+c-48,c=nc());
}
const int N=1000010;
typedef long long ll;
int n,m,p,a[N];
int Rt[N],ls[N],rs[N],v[N],d[N],sz[N],s[N];
int top;
ll Ans;
int Merge(int x,int y){
    if(!x||!y)return x+y;
    if(v[x]<v[y])swap(x,y);
    rs[x]=Merge(rs[x],y);
    if(d[rs[x]]>d[ls[x]])swap(ls[x],rs[x]);
    d[x]=d[rs[x]]+1;
    return x;
}
inline void Pop(int& x){
    x=Merge(ls[x],rs[x]);
}
inline int Abs(int x){
    return x<0?-x:x;
}
int main(){
    Read(n);
    for(int i=1;i<=n;i++)Read(a[i]),a[i]-=i;
    for(int i=1;i<=n;i++){
        v[i]=a[i];
        Rt[++top]=i;
        sz[top]=s[top]=1;
        while(top>1&&v[Rt[top]]<v[Rt[top-1]]){
            top--;
            Rt[top]=Merge(Rt[top],Rt[top+1]);
            sz[top]+=sz[top+1];s[top]+=s[top+1];
            while(sz[top]>(s[top]+1)>>1)Pop(Rt[top]),sz[top]--;
        }
    }
    int j=1;
    for(int i=1;i<=top;i++){
        int x=v[Rt[i]];
        for(int k=0;k<s[i];k++){
            Ans+=Abs(x-a[j++]);
        }
    }
    cout<<Ans<<endl;
    return 0;
}