loj 120 可持久化序列

https://loj.ac/problem/120 

这是一道模板题。

您需要维护一个序列，其中需要提供以下操作：

1. 插入一个数到序列的第t版本使其成为序列的第k项，这个数为 x；
2. 删除序列的第t版本的第x项；
3. 查询序列的第t版本的第x项。

第0个版本为空序列。修改操作不会影响被修改的版本，而总是产生一个新版本。

 

fhq treap 注意split和merge的时候要新建节点。  

#include<bits/stdc++.h>
using namespace std;  
int const N=300000+10;  
int val[N*20],sz[N*20],ch[N*20][2],rt[N],n,sum,cnt,key[N*20]; 
void inline update(int x){
    sz[x]=sz[ch[x][0]]+sz[ch[x][1]]+1;  
}
int inline mr(int v){
    int x=++cnt;val[x]=v;sz[x]=1;ch[x][0]=ch[x][1]=0;key[x]=rand(); return x;   
}
void inline copy(int x,int y){
    val[x]=val[y]; ch[x][0]=ch[y][0];ch[x][1]=ch[y][1];sz[x]=sz[y];key[x]=key[y];    
}
void split(int now,int k,int &x,int &y){
    if(!now)  x=y=0;  
    else {
        if(sz[ch[now][0]]>=k){
            y=++cnt;copy(y,now); 
            split(ch[now][0],k,x,ch[y][0]);  
            update(y);
        }else{
            x=++cnt;copy(x,now);  
            split(ch[now][1],k-sz[ch[now][0]]-1,ch[x][1],y);  
            update(x);  
        }
    }
}
int merge(int x,int y){
    if(!x || !y) return x+y;  
    else {
        if(key[x]<key[y]){
            ch[x][1]=merge(ch[x][1],y);  
            update(x); return x;  
        }else{
            ch[y][0]=merge(x,ch[y][0]);  
            update(y); return y;  
        }
    }
}
int getkth(int x,int k){
    while (x){
        if(sz[ch[x][0]]>=k) x=ch[x][0];  
        else if(sz[ch[x][0]]+1==k) return val[x];  
        else k-=sz[ch[x][0]]+1,x=ch[x][1];  
    }
}
int main(){
    scanf("%d",&n);  
    rt[0]=0;
    int x,y,z,t,k,v,opt;    
    while (n--){
        scanf("%d",&opt);  
        if(opt==1){
            scanf("%d%d%d",&t,&k,&v);  
            split(rt[++sum]=rt[t],k-1,x,y);  
            rt[sum]=merge(merge(x,mr(v)),y);  
        }
        if(opt==2){
            scanf("%d%d",&t,&k);  
            split(rt[++sum]=rt[t],k,x,y);  
            split(rt[sum],k-1,x,z);  
            rt[sum]=merge(x,y);  
        }
        if(opt==3){
            scanf("%d%d",&t,&k);  
            printf("%d\n",getkth(rt[t],k)); 
        }
    }
    return 0;  
}