[BZOJ 3196] 二逼平衡树 树状数组套主席树

#include <cmath>
#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
using namespace std;
#define LL long long
#define Inf 2e9
#define Lowbit(x) (x&-x)
#define ls(x) (a[x].lc)
#define rs(x) (a[x].rc)
const int maxn=55000;
struct Node{
	int lc,rc,sum;
}a[maxn*550];
struct Ques{
	int type,l,r,k;
}q[maxn];
int n,m,cnt,root[maxn],s[maxn];
int hash[maxn*2],num,b[maxn];
int ra[maxn],rb[maxn];
void Insert(int x,int add,int & rt,int l,int r,int type){
	if(!rt || type){
		a[++cnt]=a[rt];rt=cnt;
	}
	a[rt].sum+=add;
	if(l==r)return;
	int mid=(l+r)>>1;
	if(x<=mid)Insert(x,add,ls(rt),l,mid,type);
	else Insert(x,add,rs(rt),mid+1,r,type);
}
void Bit_Update(int x,int p,int add){
	for(int i=x;i<=n;i+=Lowbit(i))Insert(p,add,s[i],1,num,0);
}
int Rank(int x,int pr,int rt,int l,int r){
	if(x>r){
		int temp=a[rt].sum-a[pr].sum;
		for(int i=1;i<=ra[0];i++)temp-=a[ra[i]].sum;
		for(int i=1;i<=rb[0];i++)temp+=a[rb[i]].sum;
		return temp;
	}
	int la[30],lb[30];
	int mid=(l+r)>>1;
	for(int i=1;i<=ra[0];i++)la[i]=ra[i],ra[i]=ls(ra[i]);
	for(int i=1;i<=rb[0];i++)lb[i]=rb[i],rb[i]=ls(rb[i]);
	int sum=Rank(x,ls(pr),ls(rt),l,mid);
	if(x>mid+1){
		for(int i=1;i<=ra[0];i++)ra[i]=rs(la[i]);
		for(int i=1;i<=rb[0];i++)rb[i]=rs(lb[i]);
		sum+=Rank(x,rs(pr),rs(rt),mid+1,r);
	}
	return sum;
}
int kth(int k,int pr,int rt,int l,int r){
	if(l==r)return l;
	int temp=a[ls(rt)].sum-a[ls(pr)].sum;
	int mid=(l+r)>>1;
	for(int i=1;i<=ra[0];i++)temp-=a[ls(ra[i])].sum;
	for(int i=1;i<=rb[0];i++)temp+=a[ls(rb[i])].sum;
	if(temp>=k){
		for(int i=1;i<=ra[0];i++)ra[i]=ls(ra[i]);
		for(int i=1;i<=rb[0];i++)rb[i]=ls(rb[i]);
		return kth(k,ls(pr),ls(rt),l,mid);
	}
	else{
		for(int i=1;i<=ra[0];i++)ra[i]=rs(ra[i]);
		for(int i=1;i<=rb[0];i++)rb[i]=rs(rb[i]);
		return kth(k-temp,rs(pr),rs(rt),mid+1,r);
	}
}
void Copy(int l,int r){
	ra[0]=rb[0]=0;
	for(int i=l-1;i;i-=Lowbit(i))ra[++ra[0]]=s[i];
	for(int i=r;i;i-=Lowbit(i))rb[++rb[0]]=s[i];
}
void Init();
int main(){
	freopen("psh.in","r",stdin);freopen("psh.out","w",stdout);
	Init();
	getchar();getchar();
	return 0;
}
void Init(){
	scanf("%d%d",&n,&m);
	for(int i=1;i<=n;i++){
		scanf("%d",&b[i]);
		hash[++num]=b[i];
	}
	for(int i=1;i<=m;i++){
		scanf("%d",&q[i].type);
		if(q[i].type==3){
			scanf("%d%d",&q[i].l,&q[i].r);
			hash[++num]=q[i].r;
		}
		else{
			scanf("%d%d%d",&q[i].l,&q[i].r,&q[i].k);
			if(q[i].type!=2)hash[++num]=q[i].k;
		}
	}
	sort(hash+1,hash+num+1);
	num=unique(hash+1,hash+num+1)-hash-1;
	for(int i=1;i<=n;i++){
		int x=lower_bound(hash+1,hash+num+1,b[i])-hash;
		root[i]=root[i-1];
		Insert(x,1,root[i],1,num,1);
	}
	for(int i=1;i<=m;i++){
		int type=q[i].type;
		if(type==1){
			int x=lower_bound(hash+1,hash+num+1,q[i].k)-hash;
			Copy(q[i].l,q[i].r);
			printf("%d\n",Rank(x,root[q[i].l-1],root[q[i].r],1,num)+1);
		}
		if(type==2){
			Copy(q[i].l,q[i].r);
			printf("%d\n",hash[kth(q[i].k,root[q[i].l-1],root[q[i].r],1,num)]);
		}
		if(type==3){
			int x=lower_bound(hash+1,hash+num+1,b[q[i].l])-hash;
			int y=lower_bound(hash+1,hash+num+1,q[i].r)-hash;
			if(x==y)continue;
			Bit_Update(q[i].l,x,-1);
			Bit_Update(q[i].l,y,1);
			b[q[i].l]=q[i].r;
		}
		if(type==4){
			int x=lower_bound(hash+1,hash+num+1,q[i].k)-hash;
			Copy(q[i].l,q[i].r);
			int pos=Rank(x,root[q[i].l-1],root[q[i].r],1,num);
			Copy(q[i].l,q[i].r);
			printf("%d\n",hash[kth(pos,root[q[i].l-1],root[q[i].r],1,num)]);
		}
		if(type==5){
			int x=lower_bound(hash+1,hash+num+1,q[i].k)-hash;
			Copy(q[i].l,q[i].r);
			int pos=Rank(x+1,root[q[i].l-1],root[q[i].r],1,num);
			Copy(q[i].l,q[i].r);
			printf("%d\n",hash[kth(pos+1,root[q[i].l-1],root[q[i].r],1,num)]);
		}
	}
}