【杂谈】Treap 和 SBT 偏好

这是一篇不需要 $\mathrm{h}\mathrm{e}\mathrm{a}\mathrm{d}\mathrm{l}\mathrm{i}\mathrm{n}\mathrm{e}$ 的杂谈文章。

天下的平衡树众多，究竟该用哪一个？这个问题困扰了我很久了。

上网查资料，竟然众说纷纭。讲 $\text{Leafy Tree}$ 的论文表示红黑树最快、$\text{SBT}$ 次之，而 $\text{Treap}$ 和 $\text{Splay}$ 分别为倒数第二和最慢。利用在线测评网站做评估的结果相似。讲 $\text{SBT}$ 的论文则说 $\text{SBT}$ 快于 $\text{AVL}$ 。

这个较久远的帖子却说替罪羊最快，接下来依次是 $\text{Treap}$，$\text{AVL}$ 和 $\text{SBT}$，与上面的结论相反。替罪羊比较快、$\text{Splay}$ 慢，这是共识。然而 $\text{Treap}$ 和 $\text{SBT}$ 究竟慢不慢？

刚好该文章进行了比较后，给出了测试包。我干脆自己也测一测。反正我只会写 $\text{Treap}$ 和 $\text{SBT}$ 欸 🤣

表中 $\text{Splay}$ 代码为测试包内原有代码，在 C++11 -O2 环境下测试，$\text{Intel(R) Core(TM) i7-8565U}$，$\text{64-bit Windows10}$ 。

	$\text{SBT}$	$\text{Treap}$	$\text{Splay}$
$\text{pushUp}$ 次数	9436871	57125119	80662645
$\text{insert}$	0.968	1.796	2.281
$\text{insert+erase}$	0.796	0.953	1.578
有序数据（平均值）	0.450	0.174	0.090

上表中 $\text{pushUp}$ 次数对应 $\text{insert+erase}$ 组数据。运行时间会有 $0.1\mathrm{s}$ 左右浮动。

• 线段树是最快的平衡树。在不需要某些动态特性时，优先选用。几乎总是快一倍。
• $\text{Splay}$，请你只局限于 $\text{LCT}$ 和启发式合并吧！
• $\text{Treap}$ 在非随机数据上表现好（本来它的核心思想就是使得数据随机），随机数据上则不如 $\text{SBT}$ 了。卡 $\text{Treap}$ 可用 “两头往中间走” 的值（每次 $\text{split}$ 两边大小较平均）。
• $\text{SBT}$ 不在意数据，并且 $\text{pushUp}$ 次数明显较少。如果 $\text{pushUp}$ 涉及乘法（比加法慢 $20$ 倍）那可能 $\text{SBT}$ 会是很不错的选择。
• 在随机数据下 $\text{BST}$ 最快，比线段树还快。就看你胆子够不够大。

所以最快的方法是：先用 BST，发现数据不随机就用 Treap？

出于代码熟练度的考虑，其实我会优先选择 $\text{Treap}$ 的。把 $\text{SBT}$ 玩熟之后就不一定了 😏