[hdu4747]Mex

首先计算出以1为左端点的所有区间的mex，考虑删除左端点仍然维护这个序列：设当前删除点下一次出现在y，y~n的mex不变，从左端点到y的点中大于删除值的点要变成删除值，因为这个是不断递增的，所以是一段区间，可以用线段树来维护。

#include<bits/stdc++.h>
using namespace std;
#define N 200005
#define L (k<<1)
#define R (L+1)
#define mid (l+r>>1)
int n,a[N],fi[N],nex[N],laz[N<<2],ma[N<<2],vis[N];
long long ans,f[N<<2];
void update(int k,int l,int r,int x){
    laz[k]=ma[k]=x;
    f[k]=x*(r-l+1);
}
void down(int k,int l,int r){
    if (laz[k]==-1)return;
    update(L,l,mid,laz[k]);
    update(R,mid+1,r,laz[k]);
    laz[k]=-1;
}
void up(int k){
    f[k]=f[L]+f[R];
    ma[k]=max(ma[L],ma[R]);
}
void update(int k,int l,int r,int x,int y,int z){
    if ((l>y)||(x>r))return;
    if ((x<=l)&&(r<=y)){
        update(k,l,r,z);
        return;
    }
    down(k,l,r);
    update(L,l,mid,x,y,z);
    update(R,mid+1,r,x,y,z);
    up(k);
}
int query(int k,int l,int r,int x){
    if (l==r)return l+(ma[k]<x);
    down(k,l,r);
    if (ma[L]>x)return query(L,l,mid,x);
    return query(R,mid+1,r,x);
}
int main(){
    while (scanf("%d",&n)!=EOF){
        if (!n)return 0;
        ans=0;
        for(int i=1;i<=n;i++){
            scanf("%d",&a[i]);
            if (a[i]>n)a[i]=n;
        }
        memset(vis,0,sizeof(vis)); 
        for(int i=0;i<=n;i++)fi[i]=n+1; 
        memset(laz,-1,sizeof(laz));
        for(int i=n;i;i--){
            nex[i]=fi[a[i]];
            fi[a[i]]=i;
        }
        for(int i=1,j=0;i<=n;i++){
            vis[a[i]]=1;
            while (vis[j])j++;
            update(1,1,n,i,i,j);
        }
        for(int i=1;i<n;i++){
            ans+=f[1]+i-1;
            update(1,1,n,i,i,-1);
            update(1,1,n,query(1,1,n,a[i]),nex[i]-1,a[i]);
        }
        printf("%lld\n",ans+(a[n]==0));
    }
}