[bzoj3196][Tyvj 1730][二逼平衡树] (线段树套treap)

Description

您需要写一种数据结构（可参考题目标题），来维护一个有序数列，其中需要提供以下操作：
1.查询k在区间内的排名
2.查询区间内排名为k的值
3.修改某一位值上的数值
4.查询k在区间内的前驱(前驱定义为小于x，且最大的数)
5.查询k在区间内的后继(后继定义为大于x，且最小的数)

Input

第一行两个数 n,m 表示长度为n的有序序列和m个操作
第二行有n个数，表示有序序列
下面有m行，opt表示操作标号
若opt=1 则为操作1，之后有三个数l,r,k 表示查询k在区间[l,r]的排名
若opt=2 则为操作2，之后有三个数l,r,k 表示查询区间[l,r]内排名为k的数
若opt=3 则为操作3，之后有两个数pos,k 表示将pos位置的数修改为k
若opt=4 则为操作4，之后有三个数l,r,k 表示查询区间[l,r]内k的前驱
若opt=5 则为操作5，之后有三个数l,r,k 表示查询区间[l,r]内k的后继

Output

对于操作1,2,4,5各输出一行，表示查询结果

Sample Input

Sample Output

HINT

1.n和m的数据范围：n,m<=50000

2.序列中每个数的数据范围：[0,1e8]

3.虽然原题没有，但事实上5操作的k可能为负数

Solution

#include <stdio.h>
#include <stdlib.h>
#define N 50010
#define inf 0x7fffffff
#define opp 0x80000000
#define mid ((x>>1)+(y>>1)+(x&y&1))
#define dmax(x,y) ((x)>(y)?(x):(y))
#define dmin(x,y) ((x)<(y)?(x):(y))
#define RG register
#define inline __inline__ __attribute__((always_inline))

inline int Rin(){
    RG int x=,c=getchar(),f=;
    for(;c<||c>;c=getchar())
        if(!(c^))f=-;
    for(;c>&&c<;c=getchar())
        x=(x<<)+(x<<)+c-;
    return x*f;
}

int n,m,a[N];

namespace Seg{
    struct Treap{
        struct Nt{
            Nt*ch[];
            int s,w,v,r;

            Nt(RG int v,RG Nt*_) : v(v),r(rand()) {
                s=w=;
                ch[]=ch[]=_;
            }

            inline void maintain(){
                s=w+ch[]->s+ch[]->s;
            }
        }*root,*null;

        Treap(){
            null=new Nt(,0x0);
            null->s=null->w=;
            null->r=inf;
            null->ch[]=null->ch[]=null;
            root=null;
        }

        void rotate(RG Nt*&o,RG int d){
            Nt*k=o->ch[^d];
            o->ch[^d]=k->ch[d];
            k->ch[d]=o;
            o->maintain();
            k->maintain();
            o=k;
        }

        void insert(RG Nt*&o,RG int v){
            if(o==null){
                o=new Nt(v,null);
                return;
            }
            o->s++;
            if(v==o->v)
                o->w++;
            else{
                RG int d=v > o->v;
                insert(o->ch[d],v);
                if(o->ch[d]->r < o->r)
                    rotate(o,^d);
            }
        }

        void remove(RG Nt*&o,RG int v){
            if(o==null)
                return;
            if(o->v==v){
                if(o->w>){
                    o->s--;
                    o->w--;
                    return;
                }
                if(o->ch[]!=null && o->ch[]!=null){
                    RG int d=o->ch[]->r > o->ch[]->r;
                    rotate(o,d);
                    remove(o->ch[d],v);
                }
                else o=o->ch[o->ch[]==null];
            }
            else{
                o->s--;
                remove(o->ch[o->v < v],v);
            }
            if(o!=null)
                o->maintain();
        }

        inline int pre(RG int v){
            RG int ans=opp;
            for(RG Nt*o=root;o!=null;)
                v > o->v ? (ans=dmax(ans,o->v),o=o->ch[]) : o=o->ch[];
            return ans;
        }

        inline int nxt(RG int v){
            RG int ans=inf;
            for(RG Nt*o=root;o!=null;)
                v < o->v ? (ans=dmin(ans,o->v),o=o->ch[]) : o=o->ch[];
            return ans;
        }

        inline int rank(RG int v){
            RG int ans=;
            for(Nt*o=root;o!=null;){
                RG int d= v==o->v? - : (o->v < v);
                if(d==-){
                    ans+=o->ch[]->s;
                    break;
                }
                d?(ans+=o->ch[]->s+o->w,o=o->ch[]):o=o->ch[];
            }
            return ans;
        }
    }rt[N<<];

    void build(RG int x,RG int y,RG int k){
        for(RG int i=x;i<=y;i++)
            rt[k].insert(rt[k].root,a[i]);
        if(x<y){
            build(x,mid,k<<);
            build(mid+,y,k<<|);
        }
    }

    void modify(RG int x,RG int y,RG int k,RG int pos,RG int num){
        rt[k].remove(rt[k].root,a[pos]);
        rt[k].insert(rt[k].root,num);
        if(x<y)
            pos<=mid ? modify(x,mid,k<<,pos,num):
                modify(mid+,y,k<<|,pos,num);
    }

    int getrank(RG int x,RG int y,RG int k,RG int l,RG int r,RG int num){
        if(x==l && y==r)
            return rt[k].rank(num);
        if(r<=mid)
            return getrank(x,mid,k<<,l,r,num);
        if(l>mid)
            return getrank(mid+,y,k<<|,l,r,num);
        return getrank(x,mid,k<<,l,mid,num)+getrank(mid+,y,k<<|,mid+,r,num);
    }

    int getpre(RG int x,RG int y,RG int k,RG int l,RG int r,RG int num){
        if(x==l && y==r)
            return rt[k].pre(num);
        if(r<=mid)
            return getpre(x,mid,k<<,l,r,num);
        if(l>mid)
            return getpre(mid+,y,k<<|,l,r,num);
        return dmax(getpre(x,mid,k<<,l,mid,num),getpre(mid+,y,k<<|,mid+,r,num));
    }

    int getnxt(RG int x,RG int y,RG int k,RG int l,RG int r,RG int num){
        if(x==l && y==r)
            return rt[k].nxt(num);
        if(r<=mid)
            return getnxt(x,mid,k<<,l,r,num);
        if(l>mid)
            return getnxt(mid+,y,k<<|,l,r,num);
        return dmin(getnxt(x,mid,k<<,l,mid,num),getnxt(mid+,y,k<<|,mid+,r,num));
    }

    inline int getkth(RG int l,RG int r,RG int k){
        RG int x=,y=1e8;
        while(x<=y)
            getrank(,n,,l,r,mid) < k ?
                x=mid+:
                y=mid-;
        if(getrank(,n,,l,r,x)>=k)
            x=getpre(,n,,l,r,x);
        return x;
    }
}

int main(){
    srand('K'+'a'+'i'+'b'+'a');
    n=Rin(),m=Rin();
    for(int i=;i<=n;i++)
        a[i]=Rin();
    Seg::build(,n,);
    while(m--){
        RG int x,y,k,c=Rin();
        switch(c){
            case  :
                x=Rin(),y=Rin(),k=Rin();
                printf("%d\n",Seg::getrank(,n,,x,y,k)+);
                break;
            case  :
                x=Rin(),y=Rin(),k=Rin();
                printf("%d\n",Seg::getkth(x,y,k));
                break;
            case  :
                x=Rin(),k=Rin();
                Seg::modify(,n,,x,k);
                a[x]=k;
                break;
            case  :
                x=Rin(),y=Rin(),k=Rin();
                printf("%d\n",Seg::getpre(,n,,x,y,k));
                break;
            case  :
                x=Rin(),y=Rin(),k=Rin();
                printf("%d\n",Seg::getnxt(,n,,x,y,k));
                break;
            default : break;
        }
    }
    return ;
}