Splay入门详解

Splay入门详解

写在前面

听说平衡树是一种强大的数据结构，听同年级或高年级大佬们讲起来也感觉很牛笔的亚子，而最近XC又叫我们去学习一下$LCT$！？
又因为$Splay$是学习$LCT$的基础，而且又比较脍炙人口，于是我便学了一下，经过一个白天的努力，也终于是学会了一点皮毛。
为了加深我对$Splay$的理解，把网上一些讲得有点模糊的知识点给没看懂的同学讲解清楚，于是我就写了这篇博客，保证大家都可以入门 （不行也别怪我哦）

Splay是神马东东？

给出百度的解释：$Splay$
下面我用简单易懂的语言来简单介绍一下：
首先$Splay$是一棵二叉查找树，之后$Splay$又可以通过各种骚操作（主要是旋转操作）使得整棵树仍然满足二叉查找树的性质，并且保持相对的平衡，不至于退化成链而大大提高复杂度，这个神奇的东西是由Daniel Sleator 和 Robert Tarjan这两位大神发明的
那二叉查找树又是神马呢？
首先他肯定是一棵二叉树 （废话）
而且这棵树有一个非常厉害的性质：能够在这棵树上查询到的节点一定满足：左子树任意节点的值$<$根节点的值$<$右子树任意节点的值

例题 LOJ #104.普通平衡树

这道题的题目大意就是有n个操作，一共有6种操作，对应1~6编号：
1.插入$x$数
2.删除$x$数(若有多个相同的数，因只删除一个)
3.查询$x$数的排名(排名定义为比当前数小的数的个数+1)
4.查询排名为$x$的数
5.求$x$的前驱(前驱定义为小于 $x$，且最大的数)
6.求$x$的后继(后继定义为大于 $x$，且最小的数)
之后对于3,4,5或6操作的结果进行输出

详解Splay操作

接下来我们来结合我的解析和代码对Splay的操作进行了解

变量

int n;//操作个数
int son[N][2];//该节点的左/右儿子的编号，0表示左儿子，1表示右儿子
int fa[N];//该父亲节点
int cnt;//节点的总数
int tot[N];//该节点权值出现的次数
int size[N];//以该节点为根的子树大小
int root;//根节点
int val[N];//该节点的权值

三个最基本的操作

• 改变节点在树中的位置之后，更新该节点的$size$值：$maintain(x)$

inline void maintain(int x) {
   size[x]=size[son[x][0]]+size[son[x][1]]+tot[x];}
//左子树的大小加上右子树的大小在加上该节点的值的个数

• 判断该节点是父亲的左儿子还是右儿子：$get(x)$

inline bool get(int x) {
   return x==son[fa[x]][1];}
//如果跟右儿子相等则返回1，否则返回0

• 销毁该节点：$clear(x)$

inline void clear(int x) {
   size[x]=fa[x]=son[x][0]=son[x][1]=tot[x]=val[x]=0;}
//该节点的所有数据全部清除

旋转操作 rotate(x)

这个操作是为了使$Splay$保持平衡而产生的，其本质是将某个节点上移一个位置
旋转操作需要保证：

• 整棵$Splay$ 中序遍历（就是先遍历左儿子，再遍历根节点，最后遍历右儿子） 的顺序不变（为了不破坏二叉查找树的性质）
• 旋转后受到影响的节点所维护的信息仍然是正确有序的
• $root$必须变成旋转过后的根节点

$Splay$中的旋转分为左旋和右旋两种，如图所示：

我们来分析一下旋转具体操作（这里以右旋为例子，假设需要旋转的节点为$x$，其父亲为$y$，如果是左旋则所有方向相反）：

1. 将$x$的右儿子交给$y$当它的左儿子，将$x$的右儿子的父亲赋值为$y$
2. 将$y$赋值为$x$