蒟蒻的splay 1---------洛谷板子题普通平衡树
前言部分
splay是个什么东西呢?
它就是个平衡树,支持以下操作
这些操作还可以用treap,替罪羊树,红黑树,multiset balabala(好像混进去什么奇怪的东西)
这里就只说一下splay(其他的窝不会)(splay窝也不会)
先来几个变量和一些辅助函数:
root:当前平衡树的根是那个节点
sz:整个平衡树的大小
ch[x][0]:x的左儿子的编号
ch[x][1]:x的右儿子的编号
size[x]:x和它的子树的大小
cnt[x]:编号为x的点的权值出现了几次
par[x]:x的父亲的编号
key[x]:编号为x的点的权值
get(x):查询x是它父亲的左儿子还是右儿子(左儿子返回0,右儿子返回1)
pushup(x):统计x的size和cnt
clear(x):将x的ch,size,cnt,key清0(删除用)
代码:
void pushup(int x)
{
size[x]=size[ch[x][]]+size[ch[x][]]+cnt[x];//左子树+右子树+自身的cnt
return ;
} void clear(int x)
{
size[x]=;ch[x][]=;ch[x][]=;key[x]=;cnt[x]=;par[x]=;
return ;//全部清0就好辣
} bool get(int x)
{
return ((ch[par[x]][]==x)?:);//如果x是自己父亲的右儿子,就返回1,否则返回0
}
正文开始
一.一些基础操作
说了辣么多,还没有介绍平衡树到底是个什么东西
不过不着急,我们先来看看二叉搜索树
二叉搜索树有一个神奇的性质:所有比当前节点x权值小的节点,都在x的左子树里面,权值比x大的点都在x的右子树里
有了这个神奇的性质,在一般情况下树高就是log级别的,查询的复杂度也就降到了log级别,这很好对不对?
但是duliu出题人总是会种出一些歪七扭八的二叉搜索树,就像下面这样(节点里面的数是权值)
对于第二种毒瘤的二叉搜索树,复杂度就退化成了O(n),这不优美。我们想让它成长,让它学会自己平衡。于是,它成长成了平衡树。
splay如何做到自己平衡?
我们看这个丑陋的树:
转一转(右旋)
我们发现,B原本的右儿子成了A的左儿子,B现在的右儿子是A,其余不变
为什么这样转?
我们把B转成了根,那么B就没有父亲了,但是多了A这个右儿子,需要处理成二叉。同时A失去了左儿子,并且A发现B还有一个原来的右儿子F,F比A小,于是A就让F当自己的左儿子
如果我们把A左旋(然后这个树就更不平衡了ρωρ)
我们发现A没有右儿子了,D的左儿子变成了A
旋转的方式和右旋差不多,这里是让D的左儿子认A当爹,让A认D当爹。
不过可惜D并没有左儿子,于是A转完了也就没有右儿子辣。
我们可以总结出旋转的规律:
现在我们要把x转到根的位置(不管现在x在哪)
我们用k表示x是它父亲的左儿子还是右儿子(0是左儿子,1是右儿子),y是x的儿子
就让y的k方向的儿子变成x的与k相反方向的儿子,y认x为爹,同时让y的父亲在y这个方向上的儿子替换成x
说人话版本:
y=par[x],z=par[y],k=get(x),e=get(y)
ch[y][k]=ch[x][k^1]
par[ch[y][k]]=y
par[y]=x
ch[x][k^1]=y
par[x]=z
ch[z][e]=x
代码版本:
void rotate(int x)
{
int y=par[x],z=par[y],k=get(x),e=get(y);
ch[y][k]=ch[x][k^];par[ch[y][k]]=y;
par[y]=x;ch[x][k^]=y;
par[x]=z;
if(z)
ch[z][e]=x;
pushup(y);pushup(x);//记得pushup回去(统计信息)
}
当然只旋转一次是肯定不够的,所以我们再来一个splay函数。
splay(x)就是把x旋转到根(当然也可以再带一个参数,让x旋转到那个参数去)
定义fa,让fa一直等于当前x的父亲,一直旋转x,直到x的父亲是0(x是根节点)
注意:如果x,x的父亲,x的爷爷在同一条线上,就先转x的父亲
void splay(int x)
{
for(int fa;fa=par[x];rotate(x))
if(par[fa])
rotate((get(x)==get(fa))?fa:x);
root=x;
}
好像有什么不对的???
貌似这些操作一个都没有实现ρωρ
那就开始讲这些操作好了
二.平衡树支持的操作
1.插入X
如果当前平衡树里面没有元素,就直接sz++,root=sz
如果当前点的权值>x,就到左子树找x,反之则到右子树找,直到找到x,然后更新cnt,size,顺便再splay一下
如果找到最后都没有x,就说明x先前不在平衡树里,就新建一个节点,其权值为x,维护cnt,size
void insert(int x)
{
if(root==)
{
sz++;
key[sz]=x;
root=sz;
cnt[sz]=;size[sz]=;
par[sz]=ch[sz][]=ch[sz][]=;
return;//这里由于只有一个节点,就不需要splay了
}
int now=root,fa=;
while()
{
if(key[now]==x)
{
cnt[now]++;
pushup(now);//先更新now,再更新fa
pushup(fa);
splay(now); //为了以后方便,我们要把当前点splay到根
return ;
}
fa=now;
now=ch[now][key[now]<x];//第二维表示的是如果key[now]<x,就返回1,否则是0
if(now==)//最终没有找着(不存在的节点默认值是0)
{
sz++;
size[sz]=;cnt[sz]=;
root=sz;
key[sz]=x;
ch[fa][key[fa]<x]=sz;
par[sz]=fa;
key[sz]=x;
pushup(fa);
splay(sz);return ;
}
}
}
插入
删除比较麻烦待会再说
2.查询x的排名
还是遵循key[now]比x小就往左子树找,否则就往右子树找的原则,直到找到
注意这里排名的定义是所有比x小的数的数量+1,如果有一个数q比x小,但是q出现了多次,那么重复出现的q也算作比x小的数(就是答案也包括那些重复出现的数辣)。
因此,往左子树搜,当前答案不变,往右子树搜,答案增加size[左子树]
因为重复的也算,所以在now转移前还要加cnt[now]
查到了要记得splay!!!
int findk(int x)
{
int rtn=;
int now=root;
while()
{
if(key[now]>x)now=ch[now][];
else
{
rtn+=(ch[now][]?size[ch[now][]]:);//先加(不管是否找到)
if(x==key[now])
{
splay(now);//记住splay
return rtn+;//记住+1
}
rtn+=cnt[now];
now=ch[now][];
}
}
}
查询x的排名
3.查询第k大的数
k边查边减
如果当前点的左子树的size>=k,则去左子树查,k-=size[左子树]
否则就去右子树查,当now的size[左子树]+cnt[now]>=k的时候就说明now的权值就是第k大的数
因为如果当前的now不是第k大的话,就会去左子树查,但是现在已经是在右子树查的阶段了
int kth(int x)
{
int now=root,rtn=;
while()
{
if(ch[now][]&&size[ch[now][]]>=x)now=ch[now][];
else
{
int temp=size[ch[now][]]+cnt[now];
if(temp>=x)
{
return key[now];//这回不用splay了
}
x-=temp;now=ch[now][];
}
}
}
kth
4.找x的前驱/后继
我们在找前驱/后继之前先把x插入原平衡树种,找完以后再删掉,会很方便。
在插入中,我们已经把x splay到根了,所以我们在找前驱的时候,就从根的左儿子开始,一路找到左儿子右子树的叶子节点,就是前驱。
后继:从根的右儿子开始,一路找到右儿子的左子树的叶子节点即可
int pre()
{
int now=ch[root][];
while(ch[now][])now=ch[now][];
return now;
}
int next()
{
int now=ch[root][];
while(ch[now][])now=ch[now][];
return now;
}
找前驱/后继
5.最复杂的删除X
情况比较多,咱慢慢来
先来一次findk(x),目的是把x旋到根(也可以直接splay(x))
1:x曾经出现过多次
对于这种情况,直接cnt--,size--
2:x只出现过1次
①:x没有儿子:直接clear(root)
②:x只有左儿子或者右儿子
让x唯一的儿子当根,并调整父子关系(x的儿子没有父亲神马的),clear(x)
③:最麻烦的情况,x两个儿子都有
把x的前驱转到根,让x的前驱继承x的右儿子(至于左儿子,在把x的前驱转到根的时候已经继承了),调整父子关系(x的右儿子认x的前驱神马的),clear(x)
void del(int x)
{
int sy=fink(x);
if(cnt[root]>)
{
cnt[root]--;pushup(root);return;
}
if(!ch[root][]&&!ch[root][])
{
clear(root);root=;return ;
}
if(!ch[root][])
{
int rt=root;root=ch[root][];par[root]=;clear(rt);return ;
}
else if(!ch[root][])
{
int rt=root;root=ch[root][];par[root]=;clear(rt);return ;
}
int rt=root;int pr=pre();
splay(pr);
ch[root][]=ch[rt][];
par[ch[rt][]]=root;
clear(rt);
pushup(root);
}
删除x
模板题:洛谷P3369普通平衡树
更难一点的窝不会的文艺平衡树
#include<bits/stdc++.h>
#define pa pair<int,int>
using namespace std;
inline int read()
{
char ch=getchar();
int x=;bool f=;
while(ch<''||ch>'')
{
if(ch=='-')f=;
ch=getchar();
}
while(ch>=''&&ch<='')
{
x=(x<<)+(x<<)+(ch^);
ch=getchar();
}
return f?-x:x;
}
const int N=;
int n,sz;
int ch[N][],par[N],key[N],cnt[N],size[N];
int root;
void pushup(int x)
{
size[x]=size[ch[x][]]+size[ch[x][]]+cnt[x];
return ;
}
void clear(int x)
{
size[x]=;ch[x][]=;ch[x][]=;key[x]=;cnt[x]=;par[x]=;
return ;
}
bool get(int x)
{
return ((ch[par[x]][]==x)?:);
}
void rotate(int x)
{
int y=par[x],z=par[y],k=get(x),e=get(y);
ch[y][k]=ch[x][k^];par[ch[y][k]]=y;
par[y]=x;ch[x][k^]=y;
par[x]=z;
if(z)
ch[z][e]=x;
pushup(y);pushup(x);
}
void splay(int x)
{
for(int fa;fa=par[x];rotate(x))
if(par[fa])
rotate((get(x)==get(fa))?fa:x); root=x;
}
void insert(int x)
{
if(root==)
{
sz++;
key[sz]=x;
root=sz;
cnt[sz]=;size[sz]=;
par[sz]=ch[sz][]=ch[sz][]=;
return;
}
int now=root,fa=;
while()
{
if(key[now]==x)
{
cnt[now]++;
pushup(now);
pushup(fa);
splay(now);//当前节点旋转
return ;
}
fa=now;
now=ch[now][key[now]<x];
if(now==)
{
sz++;
size[sz]=;cnt[sz]=;
root=sz;
key[sz]=x;
ch[fa][key[fa]<x]=sz;
par[sz]=fa;
key[sz]=x;
pushup(fa);
splay(sz);return ;
}
}
}
int fink(int x)
{
int rtn=;
int now=root;
while()
{
if(key[now]>x)now=ch[now][];
else
{
rtn+=(ch[now][]?size[ch[now][]]:);
if(x==key[now])
{
splay(now);
return rtn+;
}
rtn+=cnt[now];
now=ch[now][];
}
}
}
int kth(int x)
{
int now=root,rtn=;
while()
{
if(ch[now][]&&size[ch[now][]]>=x)now=ch[now][];
else
{
int temp=size[ch[now][]]+cnt[now];
if(temp>=x)
{
return key[now];
}
x-=temp;now=ch[now][];
}
}
}
int pre()
{
int now=ch[root][];
while(ch[now][])now=ch[now][];
return now;
}
int next()
{
int now=ch[root][];
while(ch[now][])now=ch[now][];
return now;
}
void del(int x)
{
int sy=fink(x);
if(cnt[root]>)
{
cnt[root]--;pushup(root);return;
}
if(!ch[root][]&&!ch[root][])
{
clear(root);root=;return ;
}
if(!ch[root][])
{
int rt=root;root=ch[root][];par[root]=;clear(rt);return ;
}
else if(!ch[root][])
{
int rt=root;root=ch[root][];par[root]=;clear(rt);return ;
}
int rt=root;int pr=pre();
splay(pr);
ch[root][]=ch[rt][];
par[ch[rt][]]=root;
clear(rt);
pushup(root);
}
int main()
{
n=read();
for(int i=;i<=n;i++)
{
int opt=read(),x=read();;
if(opt==)insert(x);
if(opt==)del(x);
if(opt==)printf("%d\n",fink(x));
if(opt==)printf("%d\n",kth(x));
if(opt==){insert(x);printf("%d\n",key[pre()]);del(x);}
if(opt==){insert(x);printf("%d\n",key[next()]);del(x);}
}
}
这是P3369的代码ρωρ
蒟蒻的splay 1---------洛谷板子题普通平衡树的更多相关文章
- 洛谷P3380 二逼平衡树
线段树+平衡树 我!又!被!卡!常!了! 以前的splay偷懒的删除找前驱后继的办法被卡了QAQ 放一个在洛谷开O2才能过的代码..我太菜了.. #include <bits/stdc++.h& ...
- 洛谷.3369.[模板]普通平衡树(Splay)
题目链接 第一次写(2017.11.7): #include<cstdio> #include<cctype> using namespace std; const int N ...
- 洛谷.3391.[模板]文艺平衡树(Splay)
题目链接 //注意建树 #include<cstdio> #include<algorithm> const int N=1e5+5; //using std::swap; i ...
- 【Splay】洛谷3372 【模板】线段树 1
Splay区间加,询问区间和. #include<cstdio> #include<iostream> #include<cstring> #include< ...
- 【洛谷P3391】文艺平衡树——Splay学习笔记(二)
题目链接 Splay基础操作 \(Splay\)上的区间翻转 首先,这里的\(Splay\)维护的是一个序列的顺序,每个结点即为序列中的一个数,序列的顺序即为\(Splay\)的中序遍历 那么如何实现 ...
- 【洛谷P3369】普通平衡树——Splay学习笔记(一)
二叉搜索树(二叉排序树) 概念:一棵树,若它的左子树不空,则左子树上所有结点的值均小于它的根结点的值: 若它的右子树不空,则右子树上所有结点的值均大于它的根结点的值: 它的左.右子树也分别为二叉搜索树 ...
- splay 模板 洛谷3369
题目描述 您需要写一种数据结构(可参考题目标题),来维护一些数,其中需要提供以下操作: 插入 xx 数 删除 xx 数(若有多个相同的数,因只删除一个) 查询 xx 数的排名(排名定义为比当前数小的数 ...
- 洛谷水题p1421小玉买文具题解
题目描述 班主任给小玉一个任务,到文具店里买尽量多的签字笔.已知一只签字笔的价格是1元9角,而班主任给小玉的钱是a元b角,小玉想知道,她最多能买多少只签字笔呢. 输入输出格式 输入格式: 输入的数据, ...
- 洛谷.3369.[模板]普通平衡树(fhq Treap)
题目链接 第一次(2017.12.24): #include<cstdio> #include<cctype> #include<algorithm> //#def ...
随机推荐
- IDEA使用指北教程
来自官网的指导手册: https://www.jetbrains.com/help/idea/2019.1/run-for-the-first-time.html?section=Windows 记得 ...
- tensorflow学习笔记二----------变量
tensorflow里面的变量表示,需要使用特定的语法进行.如果想构造一个行(列)向量,需要调用Variable函数进行.对两个变量进行操作,也要调用相应的函数. import tensorflow ...
- 剑指offer-栈的压入、弹出序列-栈和队列-python
题目描述 输入两个整数序列,第一个序列表示栈的压入顺序,请判断第二个序列是否可能为该栈的弹出顺序.假设压入栈的所有数字均不相等.例如序列1,2,3,4,5是某栈的压入顺序,序列4,5,3,2,1是该压 ...
- newgrp - 登录到新的用户组中
总览 (SYNOPSIS) newgrp [ group ] 描述 (DESCRIPTION) Newgrp 改变 调用者 的 用户组标识, 类似于 login(1). 调用者 仍旧 登录 在 系统 ...
- Linux架构之Nginx 高可用
第53章 Nginx之高可用Keepalived 一.Keepalived高可用基本概述 1.1)什么是高可用 一般是指2台机器启动着完全相同的业务系统,当有一台机器down机了,另外一台服务器就能快 ...
- 数据仓库Hive(一)——hive简介,产生,安装
1.Hive简介 数据仓库 解释器.编译器.优化器等 运行时,元数据存储在关系型数据库里面 1.1数据库和数据仓库的区别 数据库需要立即返回结果,数据仓库不需要 数据仓库能收纳各种数据源,而数据库只能 ...
- Codeforces 918 括号匹配 SGdp[i][j][k]
A B C #include <bits/stdc++.h> #define PI acos(-1.0) #define mem(a,b) memset((a),b,sizeof(a)) ...
- ubuntu进入纯命令行
启动按shfit 然后光标在第一行按e 倒数第二行末尾添加quiet splash $vt_handoff 3 然后按CTRL+X或F10引导系统,启动之后就是命令行模式了
- Spring MVC 使用MultipartResolver与Commons FileUpload传输文件
配置MultipartResolver:用于处理表单中的file <!-- 配置MultipartResolver 用于文件上传 使用spring的CommosMultipartResolver ...
- luogu P3601 签到题
链接P3601 签到题 求\[\sum_{i=l}^{r} i-\phi_i\] \(l,r\leq 10^{12},\ r-l\leq 10^6\) 杜教筛似乎做不了. 然后再看\(l\),\(r\ ...