简介orm
二叉排序树（Binary Sort Tree）又称二叉查找树（Binary Search Tree），亦称二叉搜索树。blog
二叉排序树或者是一棵空树，或者是具备下列性质的二叉树：排序
若左子树不空，则左子树上全部结点的值均小于或等于它的根结点的值；若右子树不空，则右子树上全部结点的值均大于或等于它的根结点的值；左、右子树也分别为二叉排序树教程
一样的序列，由于排序不一样，可能会生成不一样的二叉排序树，查找效率性对就不必定了。若是是二叉排序树退化成一条链，效率就很低。队列
伸展树（Splay）是一种平衡二叉树，即优化后的二叉查找树。伸展树能够自我调整，这就要依靠伸展操做Splay(x,S)，使得提高效率。图片
多图预警
图片均为原创，协议为CC0，尽可能保留原地址。
劼司机的图片风格太赞啦
前置技能
线段树。
变量定义
N：常量，节点个数。
ch[N][2]：二维数组，ch[x][0]表明x的左儿子，ch[x][1]表明x的右儿子。
val[N]：一维数组，val[x]表明x存储的值。
cnt[N]：一维数组，cnt[x]表明x存储的重复权值的个数。
par[N]：一维数组，par[x]表明x的父节点。
size[N]：一维数组，size[x]表明x子树下的储存的权值数（包括重复权值）。
各类操做
chk操做
辅助操做，查询一个节点位于其父节点的方向。
pushup操做
辅助操做，更新size数组的值。
旋转(rotate)
Splay使用旋转保持平衡。因此旋转是最重要的操做，也是最核心的操做。
Splay旋转后，中序遍历和Splay的合法性不变。
好比最开始的树是这样子的：
如今咱们想把2号点搞到号点的位置。
那么2下面的子树就有1,3,4,5。一种比较优秀的玩法是这样的：
那么咱们能够考虑这么操做：
先把4→2的边改为4→3。再把6→4的边改为6→2。最后把2→3的边改为2→4。
第一次连边
第二次连边
第三次连边
连边前(原图)
旋转操做有四种。自行模拟后发现：
旋转后，父节点会将连向需旋转的该子节点的方向的边连向该子节点位于其父节点方向的反方向的节点。
令x = 该节点, y = par[x], k = chk(x), w = ch[x][k^1]，则ch[y][k] = w; par[w] = y;
旋转后，爷爷节点会将连向父节点的边连向需旋转的该节点。
ch[z][chk(y)] = x; par[x] = z;
旋转后，需旋转的该节点会将连向该子节点位于其父节点方向的反方向的子节点的边连向其父节点。
ch[x][k^1] = y; par[y] = x;
综合一下，获得下列代码(可见天然语言是多么的无力)：
伸展(splay)
将一个节点一路rotate到指定节点的儿子。
注意，若是该节点、该父节点和该爷爷节点「三点一线」，那么应该先旋转父节点。
此处进行的操做是将3 splay到根节点。
原图
旋转父节点后
旋转自身后
剩下的状况自行模拟(没图片)了。
而且注意处理爷爷节点已是目标的状况。
find操做
辅助操做，将最大的小于等于的数所在的节点splay到根。
插入(insert)
从根节点开始，一路搜索下去。若是节点存在则直接自增cnt的值。不然新建节点并与父节点连边。
由于新建节点时可能会拉出一条链，因此新建节点后须要将该节点splay到根节点。沿途的rotate操做可使平衡树恢复平衡。
查询k大(kth)
从根节点开始，一路搜索下去。每次判断要走向哪一个子树。注意考虑重复权值。
查询rank(rank)
并不须要专门写操做。将该节点find到根后返回左子树的权值数便可。
前驱(pre)
将该节点find到根后返回左子树最右边的节点便可。
后继(succ)
同理，返回右子树最左边的节点便可。
删除(remove)
显然，任何一个数的前驱和后继之间只有它自身。
令该点的前驱为，后继为。
那么能够考虑把前驱splay到根，后继splay到前驱的右儿子，那么后继的左儿子就是要删除的点。
最后判特判权值数大于的状况便可。
区间反转
考虑线段树维护区间标记的方法，将其移植到Splay便可。
打标记时，将和分别旋转到根节点和根节点右儿子处，那么的左子树便是区间。在其根处打上标记而后在查询大和输出中序遍历时下传标记便可。
// 这张图有点小
区间打标记
平衡树像线段树同样，能够打标记。可是有一个不一样点，就是平衡树的每一个节点都有权值。因此更新标记时和线段树不同，要考虑自身节点的权值。
由于Splay能够直接提取指定区间，因此Splay的区间操做在某些意义上比线段树还好写。
例题 P2042 维护数列(https://www.luogu.org/problemnew/show/P2042)
策爷：“splay/块状链表的自虐题。”
看到插入、删除、反转就很容易想到fhq-treapSplay。
简化版问题
若是只考虑修改、求和、求最大子段和，就能够直接用线段树解决。
考虑维护la[N]、ra[N]、gss[N]、sum[N]、upd[N]，分别表明最大前缀和、最大后缀和、最大子段和、区间和和修改标记。
初始化la、ra时，在选与不选之间取max便可。gss则初始化为叶子的值便可。
la[x] = ra[x] = max(0, sum[x]); gss[x] = sum[x];
考虑如何维护la、ra、gss和sum。
再考虑如何维护upd。
upd的存储方式其实有两种：一种是把须要更新的值存储起来，另外一种是修改时直接更新完毕，而后再打上bool标记。这里我采用的是后者。
下传也简单。将整个区间set成同一个值后，la、ra和gss的更新与初始化有些类似。
la和ra的代码不变，gss改为在选所有与选一个之间取max(题目要求必须选一个)。
没了？固然还有。
完整版问题
如今多了插入、删除和区间反转，维护方法类似。这里咱们先考虑每一个点都有权值后的变化。
其中用括号括起来的是增长的部分。
考虑同时下传反转和set两个标记。若是区间所有设置为一个值，反转也就没有意义了。因此处理顺序是set→反转。
pushdown的完整代码以下：
垃圾回收
这个毒瘤题很是恶心，卡我空间，只好写个辣鸡垃圾回收。
删除的时候，把要删除的节点所有加到一个队列里。等到要插入的时候，优先使用队列里的点。
代码很好理解。
其余用途
Splay由于其超强的区间操做能力，因此也做为LCT的辅助树使用。
Splay也能够搭配仙人掌剖分树链剖分，把一些序列上的题目出到仙人掌树上。
代码
下面附上我那常数巨大的代码，供参考用：
普通平衡树
文艺平衡树
P2042
本文发布于洛谷日报，特约做者：tiger0132
原文地址：https://tiger0132.blog.luogu.org/slay-notes