Acwing253. 普通平衡树

您需要写一种数据结构（可参考题目标题），来维护一些数，其中需要提供以下操作：

插入数值x。
删除数值x(若有多个相同的数，应只删除一个)。
查询数值x的排名(若有多个相同的数，应输出最小的排名)。
查询排名为x的数值。
求数值x的前驱(前驱定义为小于x的最大的数)。
求数值x的后继(后继定义为大于x的最小的数)。

注意： 数据保证查询的结果一定存在。
输入格式
第一行为n，表示操作的个数。
接下来n行每行有两个数opt和x，opt表示操作的序号(1<=opt<=6)。
输出格式
对于操作3,4,5,6每行输出一个数，表示对应答案。
数据范围
n≤100000n≤100000,所有数均在−107−107到107107内。
输入样例：
8
1 10
1 20
1 30
3 20
4 2
2 10
5 25
6 -1

输出样例：
2
20
20
20

Treap

#include<iostream>
using namespace std;
#define N 100010
struct BST{
    int l,r;
    int val,dat;
    int cnt,size;
}a[N];
int tot,r,INF=0x3f3f3f,n;

int New(int val){
    a[++tot].val=val;
    a[tot].dat=rand();
    a[tot].cnt=a[tot].size=1;
    return tot;
}

void update(int p){
    a[p].size=a[a[p].l].size+a[a[p].r].size+a[p].cnt;
}

void build(){
    New(-INF),New(INF);
    r=1,a[1].r=2;
    update(r);
}


int getrank(int p,int val){//3
    if(p==0) return 0;
    if(val==a[p].val) return a[a[p].l].size+1;
    if(val<a[p].val) return getrank(a[p].l,val);
    return getrank(a[p].r,val)+a[a[p].l].size+a[p].cnt;
}

int getval(int p,int rank){//4
    if(p==0) return INF;
    if(a[a[p].l].size>=rank) return getval(a[p].l,rank);
    if(a[a[p].l].size+a[p].cnt>=rank) return a[p].val;
    return getval(a[p].r,rank-a[a[p].l].size-a[p].cnt);
}

void zig(int &p){
    int q=a[p].l;
    a[p].l=a[q].r,a[q].r=p;
    p=q;
    update(a[p].r),update(p);
}

void zag(int &p){
    int q=a[p].r;
    a[p].r=a[q].l,a[q].l=p,p=q;
    update(a[p].l),update(p);
}

void insert(int &p,int val){//1
    if(p==0){
        p=New(val);
        return ;
    }
    if(val==a[p].val){
        a[p].cnt++,update(p);
        return ;
    }
    if(val<a[p].val){
        insert(a[p].l,val);
        if(a[p].dat<a[a[p].l].dat) zig(p);
    }
    else{
        insert(a[p].r,val);
        if(a[p].dat<a[a[p].r].dat) zag(p);
    }
    update(p);
}

int getpre(int val){//5
    int ans=1;
    int p=r;
    while(p){
        if(val==a[p].val){
            if(a[p].l>0){
                p=a[p].l;
                while(a[p].r>0) p=a[p].r;
                ans=p;
            }
            break;
        }
        if(a[p].val<val&&a[p].val>a[ans].val) ans=p;
        p=val<a[p].val?a[p].l:a[p].r;
    }
    return a[ans].val;
}

int getnext(int val){//6
    int ans=2;
    int p=r;
    while(p){
        if(val==a[p].val){
            if(a[p].r>0){
                p=a[p].r;
                while(a[p].l>0) p=a[p].l;
                ans=p;
            }
            break;
        }
        if(a[p].val>val&&a[p].val<a[ans].val) ans=p;
        p=val<a[p].val?a[p].l:a[p].r;
    }
    return a[ans].val;
}

void remove(int &p,int val){//2
    if(p==0) return ;
    if(val==a[p].val){
        if(a[p].cnt>1){
            a[p].cnt--,update(p);
            return ;
        }
        if(a[p].l||a[p].r){
            if(a[p].r==0||a[a[p].l].dat>a[a[p].r].dat){
                zig(p),remove(a[p].r,val);
            } else
                zag(p),remove(a[p].l,val);
            update(p);
        }
        else p=0;
        return ;
    }
    val<a[p].val?remove(a[p].l,val):remove(a[p].r,val);
    update(p);
}

int main()
{
    build();
    cin>>n;
    while(n--){
        int o,x;
        cin>>o>>x;
        switch(o){
            case 1:
                insert(r,x);
                break;
            case 2:
                remove(r,x);
                break;
            case 3:
                cout<<getrank(r,x)-1<<endl;
                break;
            case 4:
                cout<<getval(r,x+1)<<endl;
                break;
            case 5:
                cout<<getpre(x)<<endl;
                break;
            case 6:
                cout<<getnext(x)<<endl;
                break;
        }
    }
    return 0;
}