【洛谷 P3369】 普通平衡树【平衡树 Treap】

---

解题思路

平衡树：利用BST性质查询和修改，利用随机和堆优先级来保持平衡，把树的深度控制在log N，保证了操作效率
基本平衡树有以下几个比较重要的函数：新建，插入，删除，旋转
节点的基本属性有val(值)，dat(随机出来的优先级)
通过增加属性，结合BST的性质可以达到一些效果，如size(子树大小，查询排名)，cnt(每个节点包含的副本数)等

由于每个操作用代码比较好介绍，这里就直接放代码介绍：

int ch[maxn][2];//[i][0]代表i左儿子，[i][1]代表i右儿子

新增节点

int New(int v){
	val[++tot] = v;//节点赋值
	dat[tot] = rand();//随机优先级
	size[tot] = 1;//目前是新建叶子节点，所以子树大小为1
	cnt[tot] = 1;//新建节点同理副本数为1
	return tot;
	}

和线段树的pushup更新一样

void pushup(int id){
	size[id] = size[ch[id][0]] + size[ch[id][1]] + cnt[id];//本节点子树大小 = 左儿子子树大小 + 右儿子子树大小 + 本节点副本数
	}

初始加入两个“哨兵”一样的鬼东西

void build(){
	root = New(-INF),ch[root][1] = New(INF);//先加入正无穷和负无穷，便于之后操作(貌似不加也行)
	pushup(root);//因为INF > -INF,所以是右子树，
	}

旋转

void Rotate(int &id,int d){//id是引用传递，d(irection)为旋转方向，0为左旋，1为右旋
	int temp = ch[id][d ^ 1];//旋转理解：参见上图
	ch[id][d ^ 1] = ch[temp][d];
	ch[temp][d] = id;
	id = temp;//比如这个id，在上一行才被记录过，ch[temp][d]、ch[id][d ^ 1]也是一样的
	pushup(ch[id][d]),pushup(id);//旋转以后size会改变，看图就会发现只更新自己和转上来的点，pushup一下,注意先子节点再父节点
	}//旋转实质是({在满足BST的性质的基础上比较优先级}通过交换本节点和其某个叶子节点)把链叉开成二叉形状(从而控制深度)，可以看图理解一下

插入

void insert(int &id,int v){//id依然是引用，在新建节点时可以体现
	if(!id){
		id = New(v);//若节点为空，则新建一个节点
		return ;
		}
	if(v == val[id])cnt[id]++;//若节点已存在，则副本数++;
	else{//要满足BST性质，小于插到左边，大于插到右边
		int d = v < val[id] ? 0 : 1;//这个d是方向的意思，按照BST的性质，小于本节点则向左，大于向右
		insert(ch[id][d],v);//递归实现
		if(dat[id] < dat[ch[id][d]])Rotate(id,d ^ 1);//(参考一下图)与左节点交换右旋，与右节点交换左旋
		}
	pushup(id);//现在更新一下本节点的信息
	}

删除

void Remove(int &id,int v){//最难de部分了
	if(!id)return ;//到这了发现查不到这个节点，该点不存在，直接返回
	if(v == val[id]){//检索到了这个值
		if(cnt[id] > 1){cnt[id]--,pushup(id);return ;}//若副本不止一个，减去一个就好
		if(ch[id][0] || ch[id][1]){//发现只有一个值，且有儿子节点,我们只能把值旋转到底部删除
			if(!ch[id][1] || dat[ch[id][0]] > dat[ch[id][1]]){//当前点被移走之后，会有一个新的点补上来(左儿子或右儿子)，按照优先级，优先级大的补上来
				Rotate(id,1),Remove(ch[id][1],v);//我们会发现，右旋是与左儿子交换，当前点变成右节点；左旋则是与右儿子交换，当前点变为左节点
				}
			else Rotate(id,0),Remove(ch[id][0],v);
			pushup(id);
			}
		else id = 0;//发现本节点是叶子节点，直接删除
		return ;//这个return对应的是检索到值de所有情况
		}
	v < val[id] ? Remove(ch[id][0],v) : Remove(ch[id][1],v);//继续BST性质
	pushup(id);
	}

查询 x 数的排名

int get_rank(int id,int v){
	if(!id)return -2;//若查询值不存在，返回；因为最后要加一排除哨兵节点，想要结果为-1这里就返回-2
	if(v == val[id])return size[ch[id][0]] + 1;//查询到该值，由BST性质可知：该点左边值都比该点的值(查询值)小，故rank为左儿子大小 + 1
	else if(v < val[id])return get_rank(ch[id][0],v);//发现需查询的点在该点左边，往左边递归查询
	else return size[ch[id][0]] + cnt[id] + get_rank(ch[id][1],v);//若查询值大于该点值。说明询问点在当前点的右侧，且此点的值都小于查询值，所以要加上cnt[id]
	}

查询排名为 x 的数

int get_val(int id,int rank){
	if(!id)return INF;//一直向右找找不到，说明是正无穷
	if(rank <= size[ch[id][0]])return get_val(ch[id][0],rank);//左边排名已经大于rank了，说明rank对应的值在左儿子那里
		else if(rank <= size[ch[id][0]] + cnt[id])return val[id];//上一步排除了在左区间的情况，若是rank在左与中(目前节点)中，则直接返回目前节点(中区间)的值
	else return get_val(ch[id][1],rank - size[ch[id][0]] - cnt[id]);//剩下只能在右区间找了，rank减去左区间大小和中区间，继续递归
	}

找前驱和后继

int get_pre(int v){
	int id = root,pre;//递归不好返回，以循环求解
	while(id){//查到节点不存在为止
		if(val[id] < v)pre = val[id],id = ch[id][1];//满足当前节点比目标小，往当前节点的右侧寻找最优值
		else id = ch[id][0];//无论是比目标节点大还是等于目标节点，都不满足前驱条件，应往更小处靠近
		}
	return pre;
	}
int get_next(int v){
	int id = root,next;
	while(id){
		if(val[id] > v)next = val[id],id = ch[id][0];//同理，满足条件向左寻找更小解(也就是最优解)
		else id = ch[id][1];//与上方同理
		}
	return next;
	}

---

代码

#include<iostream>
#include<cstdio>
#include<algorithm>
#include<iomanip>
#include<cstring>
#include<cmath>
#include<map>
#include<queue>
#include<set>
#include<climits>
#define ll long long
#define ldb long double
using namespace std;

const int maxn=1000019,INF=1e9;
int n,opt,x;
int size[maxn],ch[maxn][2],cnt[maxn],val[maxn],dat[maxn];
int tot,root;

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

void pushup(int x) {
	size[x]=size[ch[x][0]]+size[ch[x][1]]+cnt[x];
}

void build() {
	root=New(-INF),ch[root][1]=New(INF);
	pushup(root);
}

void rotate(int &id,int d) {
	int tmp=ch[id][d^1];
	ch[id][d^1]=ch[tmp][d];
	ch[tmp][d]=id;
	id=tmp;
	pushup(ch[id][d]);
	pushup(id);
}

void insert(int &id,int v) {
	if(!id) {
		id=New(v);
		return;
	}
	if(v==val[id])cnt[id]++;
	else {
		int d;
		if(v<val[id])d=0;
		else d=1;
		insert(ch[id][d],v);
		if(dat[id]<dat[ch[id][d]])rotate(id,d^1);
	}
	pushup(id);
}

void remove(int &id,int v) {
	if(!id)return;
	if(v==val[id]) {
		if(cnt[id]>1) {
			cnt[id]--;
			pushup(id);
			return;
		}
		if(ch[id][0]||ch[id][1]) {
			if(!ch[id][1]||dat[ch[id][0]]>dat[ch[id][1]])
				rotate(id,1),remove(ch[id][1],v);
			else rotate(id,0),remove(ch[id][0],v);
			pushup(id);	
		} 
		else id=0;
		return ;
	}
	int d;
	if(v<val[id])d=0;	else d=1;
	remove(ch[id][d],v);
	pushup(id);	
}

int get_rank(int id,int v){
	if(!id)return -2;
	if(v==val[id])return size[ch[id][0]]+1;
	if(v<val[id])return get_rank(ch[id][0],v);
	else return size[ch[id][0]]+cnt[id]+get_rank(ch[id][1],v);
}

int get_val(int id,int v){
	if(!id)return INF;
	if(v<=size[ch[id][0]])
		return get_val(ch[id][0],v);
	else if(v<=size[ch[id][0]]+cnt[id])return val[id];
	else return get_val(ch[id][1],v-size[ch[id][0]]-cnt[id]);
		
}

int get_pre(int v){
	int id=root,pre;
	while(id)
	{
		if(val[id]<v)pre=val[id],id=ch[id][1];
		else id=ch[id][0];
	}
	return pre;
}

int get_next(int v){
	int id=root,next;
	while(id)
	{
		if(val[id]>v)next=val[id],id=ch[id][0];
		else id=ch[id][1];
	}
	return next;
}

int main() {
	build();
	scanf("%d",&n);
	for(int i=1; i<=n; i++) {
		scanf("%d%d",&opt,&x);
		if(opt==1)insert(root,x);
		if(opt==2)remove(root,x);
		if(opt==3)printf("%d\n",get_rank(root,x)-1);
		if(opt==4)printf("%d\n",get_val(root,x+1));
		if(opt==5)printf("%d\n",get_pre(x));
		if(opt==6)printf("%d\n",get_next(x));
	}
}