FHQ-Treap小记

最新推荐文章于 2024-08-15 14:40:56 发布

loceaner

最新推荐文章于 2024-08-15 14:40:56 发布

阅读量3k

点赞数

本文链接：https://blog.csdn.net/Loceaner/article/details/106689578

版权

本文介绍了FHQ-Treap这一无旋平衡树的数据结构，重点讲解了分裂、合并等核心操作，并提供了包括新建节点、插入、删除、查询在内的其他操作的实现。博主在学习过程中参考了gyh等人的博客，强调了FHQ-Treap的码量小、易理解以及支持序列维护和持久化的优点。

摘要由CSDN通过智能技术生成

写在前面

参考资料&&orz gyh

嘤

博主是在 $g y h$ 大佬的博客的帮助下，学会了 $\text{FHQ-Treap}$ 咋么写的，博文链接如下

Luckyblock—FHQ-Treap

感谢 $g y h$ 大佬， $g y h$ 永远滴神！

另外的参考资料

Shiina_Mashiro—平衡树（Splay、fhq Treap）

ctjcalc—【数据结构】FHQ Treap 详解

关于

$\text{FHQ-Treap}$ ，又名无旋 $\text{Treap}$ ，是一种不需要旋转的平衡树~~（废话！）~~，是由范浩强基于 $\text{Treap}$ 发明的，以分裂、合并为核心操作，有码量小、易理解的优势，其操作方式使它天生支持维护序列、可持久化等特性。

直接上操作和代码吧，暂时还没有写操作的原理，~~以后会补~~

操作

核心操作

分裂

分裂分为按值分裂和按大小分裂两种，下面给出的代码是按值分裂

void split(int rt, int val, int &x, int &y) {
   
	if (!rt) {
    x = y = 0; return; }
	if (t[rt].val <= val) x = rt, split(t[rt].son[1], val, t[rt].son[1], y);
	else y = rt, split(t[rt].son[0], val, x, t[rt].son[0]);
	update(rt);
}

合并

int merge(int x, int y) {
   
	if (!x || !y) return x + y;
	if (t[x].ran < t[y].ran) {
   
		t[x].son[1] = merge(t[x].son[1], y), update(x);
		return x;
	}
	else {
   
		t[y].son[0] = merge(x, t[y].son[0]), update