无旋Treap——FHQ Treap

FHQ Treap是一种无旋的Treap数据结构,由范浩强提出,通过分裂和合并操作保持平衡。它不再依赖旋转,而是利用随机堆值保持平衡。本文介绍了FHQ Treap的基本操作,包括结点信息、新建、分裂、合并、插入、删除、返回第k个节点、求前驱与后继以及按排名找值等。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

基本介绍

 我们知道,有旋TreapTreapTreap通过旋转操作来维护树的平衡。但是实际上也有不用旋转就能维护树的平衡的TreapTreapTreap。它就是FHQ  TreapFHQ\;TreapFHQTreap。一个很牛逼的东西。

FHQ  TreapFHQ\;TreapFHQTreap又称无旋TreapTreapTreap,由范浩强发明。它不再使用旋转操作,改用分裂(split)(split)(split)合并(merge)(merge)(merge)两个操作维护树的平衡。

前置基本知识:Treap的原理

 通俗的将:Treap=Tree+HeapTreap=Tree+HeapTreap=Tree+Heap,即这是一棵具有树的性质又具有堆的性质的东西。
 平衡树上的每个节点放两个东西:树的值valvalval和节点随机的堆值keykeykey。我们对于valvalval值,维护查找树的性质,对于keykeykey值,我们维护堆的性质。

 我们又知道,普通的BSTBSTBST在插入有序序列的情况下树会退化成一条链,从而导致复杂度直接从O(log⁡n)O(\log n)O(logn)上升到O(n)O(n)O(n)。但是TreapTreapTreap就不会(异或说很难,下文有解释)发生这种情况。堆的随机值等价于随机打乱有序序列插入的顺序。

 例如,我们要在TreapTreapTreap中插入一个有序序列1  2  3  4  5  61\;2\;3\;4\;5\;6123456,如下图所示:
在这里插入图片描述
 上图中浅绿色部分就是堆的随机值,原本插入有序序列1  2  3  4  5  61\;2\;3\;4\;5\;612

### FHQ Treap 数据结构概述 FHQ Treap 是一种无需旋转操作即可保持平衡的二叉查找树(BST),其特性在于既遵循 BST 的性质,即对于任意节点 \(N\),左子树上的所有键值均小于该节点的键值而右子树上的所有键值则都更大;同时也维持着堆的属性——每个节点拥有一个额外分配给它的优先级(通常通过随机数生成),使得父节点总是有着不低于子女们的优先级别[^1]。 这种双重约束确保了即使是在最坏情况下插入序列也能接近理想的对数时间复杂度性能表现。具体而言,当构建一棵由 \(n\) 个互异关键字组成的 FHQ Treap 并且这些关键字对应的优先级被独立均匀分布赋予时,则此树的高度预期大约为 \(\log{n}\)[^3]。 ### FHQ Treap 基本操作解析 #### 插入 Insertion 为了向 FHQ Treap 中添加新元素,在找到合适位置之后并非简单地创建新的叶子节点而是利用分裂(split)与合并(merge)机制完成: - **Split**: 将现有树依据目标数值切割成两部分; - **Merge**: 新建含待插值及其随机化后的高优先生存概率的新根节点连接两侧分割所得之子树形成更新版整体结构。 ```cpp void insert(int& root, int value){ if (!root){ root = new_node(value); return; } int L, R; split(root, value, L, R); root = merge(L, merge(new_node(value), R)); } ``` 这里 `new_node` 函数负责初始化带有指定 key 和随即产生的 priority 的全新节点实例[^4]。 #### 删除 Deletion 移除特定项的过程同样依赖上述提到的基础组件: - 首先定位到需删除的目标节点; - 接下来执行 Split 来分离出含有目标节点的小范围区间; - 最终借助 Merge 方法重组剩余片段而不保留已被剔除的部分。 ```cpp void erase(int& root, int value){ if (!root) return; int L, M, R; split(root, value - 1, L, R); // 左边全部小于value split(R, value, M, R); // 右边全部大于value root = merge(L, R); // 不再包含M中的target node } ``` 以上代码展示了如何高效安全地处理动态集合内的成员变更请求,同时维护良好的渐近运行效率[^5]。 ### 关联功能展示 除了基础 CRUD 外,FHQ Treap 还支持诸如查询第 k 小/大元素、统计某个范围内共有多少条目等高级应用接口的设计实现。这类扩展性得益于灵活运用内部提供的辅助工具函数如 `split()` 和 `merge()`, 它们允许开发者轻松操纵整棵树或其中一部分的状态变化以适应各种实际需求场景下的算法逻辑编写工作。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值