动态区间第k小【主席树套树状数组 模板】

P2617 Dynamic Rankings

我们知道主席树有静态查询第k小的优良性质。
对于动态查询我们当然可以暴力修改，但是主席树暴力修改的会卡成屑。
所谓动态区间第k小呢，就是支持修改原数组的操作。

• 树状数组
• 权值线段树
• 可持久化线段树（主席树）
• 会静态区间第k小(主席树的解法)

请确保以上都熟练才看得懂模板
因为这个是核心思想就是利用树状数组前缀和的性质与主席树的求静态区间第k小
注意：主席树的是离线操作的，还有就是原数组要进行离散化，所以我们是需要询问保存下来的。

#include<bits/stdc++.h>

using namespace std;

const int N=1e5+100;

//快读
#define gc getchar
int read(){
    int f=1,res=0;
    char ch=gc();
    while(!isdigit(ch)) f^=ch=='-',ch=gc();
    while(isdigit(ch)) res=(res<<1)+(res<<3)+(ch^48),ch=gc();
    return f?res:-res;  
}

int root[N];
int n,len,m;
int a[N];
int b[N*3];//记得多开几倍，因为查询也要离线
struct ques{
    int op,i,j,k;
}q[N];

#define lc t[p].l
#define rc t[p].r

struct Segment{
    int l,r,dat;
}t[N*500];
int tot=0;
int clone(int now){t[++tot]=t[now];return tot;}
int update(int now,int l,int r,int x,int v){
    int p=clone(now);
    t[p].dat+=v;
    if(l==r) return p;
    int mid=(l+r)>>1;
    if(x<=mid) lc=update(t[now].l,l,mid,x,v);
    else rc=update(t[now].r,mid+1,r,x,v);
    return p;
}

//树状数组，把每颗主席树看成点权值,用树状数组来维护此操作
int lowbit(int x){return x&-x;}
void update_bit(int pos,int x,int val){
    for(int i=pos;i<=n;i+=lowbit(i))
        root[i]=update(root[i],1,len,x,val);
}

int rt1[N],rt2[N],cnt1,cnt2;//先保存记录主席树根号，为接下来的查询操作做准备
void query_pre(int l,int r){
    cnt1=cnt2=0;
    for(int i=l-1;i;i-=lowbit(i))
        rt1[++cnt1]=root[i];
    for(int i=r;i;i-=lowbit(i))
        rt2[++cnt2]=root[i];
}

int query(int l,int r,int k){
    if(l==r) return l;
    int mid=(l+r)>>1;
    int suml=0;
    //类比一下，静态区间第k小就懂了
    for(int i=1;i<=cnt1;i++) 
        suml-=t[t[rt1[i]].l].dat;
    for(int i=1;i<=cnt2;i++)
        suml+=t[t[rt2[i]].l].dat;
    if(k<=suml){
        for(int i=1;i<=cnt1;i++)
            rt1[i]=t[rt1[i]].l;
        for(int i=1;i<=cnt2;i++)
            rt2[i]=t[rt2[i]].l;
        return query(l,mid,k);
    }
    else{
        for(int i=1;i<=cnt1;i++)
            rt1[i]=t[rt1[i]].r;
        for(int i=1;i<=cnt2;i++)
            rt2[i]=t[rt2[i]].r;
        return query(mid+1,r,k-suml);
    }
}

int main(){
    n=read(),m=read();
    len=0;
    for(int i=1;i<=n;i++){
         a[i]=read();
         b[++len]=a[i];
    }
    for(int i=1;i<=m;i++){
        char op;
        cin>>op;
        if(op=='Q'){
            q[i].op=0;
            q[i].i=read(),q[i].j=read(),q[i].k=read();
        }
        else{
            q[i].op=1;
            q[i].i=read(),q[i].k=read();
            b[++len]=q[i].k; //修改操作也要离线。
        }
    }
    sort(b+1,b+1+len);
    len=unique(b+1,b+1+len)-b-1;
    for(int i=1;i<=n;i++)
        a[i]=lower_bound(b+1,b+1+len,a[i])-b;
    for(int i=1;i<=m;i++){
        if(q[i].op) q[i].k=lower_bound(b+1,b+1+len,q[i].k)-b; //修改操作也要离散化
    }
    for(int i=1;i<=n;i++)
        update_bit(i,a[i],1);
    for(int i=1;i<=m;i++){
        if(q[i].op){
            update_bit(q[i].i,a[q[i].i],-1); 
            a[q[i].i]=q[i].k;//此步骤不可忽略
            update_bit(q[i].i,q[i].k,1);
        }
        else{
            query_pre(q[i].i,q[i].j);
            int ans=b[query(1,len,q[i].k)];
            printf("%d\n",ans);
        }
    }
    return 0;
}