P6136 【模板】普通平衡树（数据加强版）题解

Link

P6136 【模板】普通平衡树（数据加强版）

Solve

一道平衡树的板子题，注意开高精度，我写的是(Treap)，效率比较低下，可能写(splay)会快点

码量比较大

Code

#define LL long long
#include<bits/stdc++.h>
using namespace std;
const LL maxn=1100005,INF=(LL)1<<60;

struct Treap{
	LL l,r;
	LL val,dat;
	LL cnt,size;
}a[maxn];

LL tot,N,root,lst,ANS,Q;

inline LL read(){
	LL ret=0,f=1;char ch=getchar();
	while(ch<'0'||ch>'9'){if(ch=='-')f=-f;ch=getchar();}
	while(ch<='9'&&ch>='0')ret=ret*10+ch-'0',ch=getchar();
	return ret*f;
}

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

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

void Build(){
	New(-INF);New(INF);
	root=1;a[1].r=2;
	Update(1);
}

LL GetRankByVal(LL p,LL val){
	if(p==0)
		return 1;
	if(val==a[p].val)
		return a[a[p].l].size+1;
	if(val<a[p].val)
		return GetRankByVal(a[p].l,val);
	return GetRankByVal(a[p].r,val)+a[a[p].l].size+a[p].cnt;
}

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

void zig(LL &p){//right
	LL q=a[p].l;
	a[p].l=a[q].r,a[q].r=p,p=q;
	Update(a[p].r);Update(p);
}

void zag(LL &p){
	LL q=a[p].r;
	a[p].r=a[q].l;a[q].l=p;p=q;
	Update(a[p].l);Update(p);
}

void Insert(LL &p,LL val){
	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);
}

LL GetPre(LL val){
	LL ans=1;//a[1].val=-INF;
	LL p=root;
	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;
}

LL GetNext(LL val){
	LL ans=2;
	LL p=root;
	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(LL &p,LL val){
	if(p==0)return ;
	if(val==a[p].val){
		if(a[p].cnt>1){
			a[p].cnt--;Update(p);
			return ;
		}
		if(a[p].r||a[p].l){
			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(){
	freopen("Permutation.in","r",stdin);
	freopen("Permutation.out","w",stdout);
	Build();
	N=read();Q=read();
	for(LL i=1;i<=N;i++){
		Insert(root,read());
	}
	for(LL i=1;i<=Q;i++){
		LL op=read(),x=read()^lst;
 		     if(op==1) Insert(root,x);
		else if(op==2) Remove(root,x);
		else if(op==3) {lst=(GetRankByVal(root,x)-1);ANS^=lst;}
		else if(op==4) {lst=GetValByRank(root,x+1);ANS^=lst;}
		else if(op==5) {lst=GetPre(x);ANS^=lst;}
		else if(op==6) {lst=GetNext(x);ANS^=lst;}
	}
	printf("%d
",ANS);
	return 0;
}