平衡树 - FHQ 学习笔记
本片文章的姊妹篇:平衡树 - Splay 学习笔记。
感觉完全不会平衡树,又重新学习了一遍 FHQ,一口气把常见套路都学完了。
一、大致内容及分类
FHQ(???),全称非旋转 Treap,是一种可以用于维护按权值、排名分裂的数据结构。它相比与 Splay 虽然常数较大,但是实现起来代码难度相对容易,而且由于它非旋的特点,也可以用来实现可持久化。
既然叫做非旋 Treap,它兼有 Treap 的特点又有非旋转独特的优势。
- 从 Treap 角度看,他们同样都是依赖修正值
rnd
是随机的,用将他们按照rnd
形成一个小根堆。与 Treap 相同,它也满足笛卡尔树的性质,它的中序遍历和它的插入顺序相同,即 \(1\) 到 \(n\) 的序列。 - 从非旋角度看,FHQ 直接通过
split
和merge
操作实现添加、删除元素,不用再树上旋转了。
根据不同题目要求,将平衡树分为序列平衡树和权值平衡树。
- 序列平衡树的中序遍历为每个元素在序列中的下标,权值为每个元素具体的值,常见题型为区间翻转等。
- 权值平衡树的中序遍历是所有元素从小到大排序,即按照中序遍历提取所有元素后元素权值递增,常见操作为第 \(k\) 大等。
如果毒瘤出题人同时综合了以上两种操作,即区间翻转 \(+\) 区间第 \(k\) 大,应该怎么做呢?好吧,如果真是这样,这篇文章可能不能够帮到你,直接上一个根号做法!
二、基本操作
FHQ 的核心操作就是 split
出操作区间,操作完后 merge
回去。
下边讲解中默认的平衡树类型为权值平衡树,序列平衡树其实是将某些 \(val\) 改为了 \(siz\)。
分裂 split
无论是按照排名还是权值分裂,他们都是将原树分为左右两半,可以利用中序遍历的性质进行分裂。
具体操作时,我们新建两个临时变量 \(x,y\) 分别表示分裂出来的左边、右边的那颗平衡树。
如果我们遇到一个应该属于 \(x\) 树的节点,就将这个点以及这个点的左子树加入 \(x\) 树中,并递归分裂右子树;如果遇到属于 \(y\) 的,就将这个点与它的右子树加入 \(y\) 树中,并递归分裂左子树。
需要注意到是,如果使用序列平衡树,下面和 \(k\) 的大小判断应该变为 \(ls.siz+1\le k\)。
\(\bigstar\texttt{Attention}\)