【算法学习】Fhq-Treap(无旋Treap)
Treap——大名鼎鼎的随机二叉查找树,以优异的性能和简单的实现在OIer们中广泛流传。
这篇blog介绍一种不需要旋转操作来维护的Treap,即无旋Treap,也称Fhq-Treap。
它的巧妙之处在于只需要分离和合并两种基本操作,就能实现任意的平衡树常用修改操作。
而不需要旋转的特性也使编写代码时不需要考虑多种情况和复杂的父亲儿子关系的更新,同时降低了时间复杂度。
此外,它还可以方便地支持可持久化,实在是功能强大。
接下来系统性地介绍一下无旋Treap的原理和实现,最后讲解一下应用和例题。
一、Treap是啥?
Treap是一棵二叉查找树,满足中序遍历始终是有序的。
Treap的每个节点除了保存信息外,还要保存一个值\(pri\)。
这个\(pri\)存储的是这个节点的优先级。
它是干嘛用的呢?
实际上,Treap除了是一个二叉查找树之外,它在另一个意义下还是一个堆。
每个节点的子节点,一定要满足子节点的\(pri\)比父节点的\(pri\)小。\(pri\)越大的点越往上放。
这有什么意义呢?为什么要这样定义?
事实上,\(pri\)值是程序随机指派的,每个点的\(pri\)值是与这个点的权值无关的,是随机的。
这样随机化就可以保证Treap的深度是\(O(log\;n)\),这就是随机化的力量。
而且可以保证这样建树一定不会出现矛盾,现在模拟一下建树的过程:
先把所有节点按照中序遍历排好,然后找到其中\(pri\)最大的,把它作为整个Treap的根,左边的节点形成左子树,右边的节点形成右子树。再对左右子树递归处理。
这样最终就能建好一棵Treap。
二、Treap的基本操作
讲完了Treap的定义,来看看Treap的两个基本操作:
分离(Split)和合并(Merge)。
分离:指的是将一棵Treap按照中序遍历的顺序,分割成左右两半,满足左右两半组成的Treap的所有值都不变。
合并:指的是将两棵Treap(一般是从原先的TreapSplit出来的)合并在一起,按照中序遍历的顺序,并且所有节点的值都不变。
Split操作比较简单,先讲讲如何实现:当然,Split之前要先指定一个值k,表示Split出这个Treap的中序遍历中的前k个数作为第一棵Split出的Treap。
从这个Treap的根开始,看它的左子树的大小是否大于等于k,如果是,那么说明右子树和根都在第二棵中,继续递归到左子树中。
如果不是,那么说明左子树和根都在第一棵Treap中,继续递归到右子树中,而且k要减去左子树的大小加一。
代码:
void Split(int rt,int k,int&rt1,int&rt2){
if(!rt) {rt1=rt2=0; return;}
if(k<=siz[ls[rt]]){
Split(ls[rt],k,rt1,rt2);
ls[rt]=rt2;
combine(rt);
rt2=rt;
}
else{
Split(rs[rt],k-siz[ls[rt]]-1,rt1,rt2);
rs[rt]=rt1;
combine(rt);
rt1=rt;
}
}
其中,rt是根,k是分出的第一棵子树的大小,rt1和rt2用来返回。
combine函数用来维护节点的大小。
接下来看Merge操作:
有两棵Treap,假设要把第二棵接到第一棵后面,那么应该怎么合并呢?
考虑两个根节点的\(pri\)值,因为第一棵在第二棵前面,所以要不然rt1(第一棵的根)在rt2(第二棵的根)的左子树,要不然rt2在rt1的右子树。
但是因为有了\(pri\)的影响,所以只能rt1和rt2中\(pri\)较大的那个作为根。
如果rt1为根,那么有rt1的右子树和rt2合并作为rt1的现在的右子树。
如果rt2为根,那么有rt2的左子树和rt1合并作为rt2的现在的左子树。
两种情况都递归进子树中即可。
代码如下:
int Merge(int rt1,int rt2){
if(!rt1) return rt2;
if(!rt2) return rt1;
if(pri[rt1]<pri[rt2]){
rs[rt1]=Merge(rs[rt1],rt2);
combine(rt1);
return rt1;
}
else{
ls[rt2]=Merge(rt1,ls[rt2]);
combine(rt2);
return rt2;
}
}
这就是两种Treap的基本操作,实现时要注意当树为空时,做特殊处理。
三、主要操作
看完了这两种操作,你肯定会问:这有个鬼用?
没法插入删除查询前驱后继排名位置的平衡树,只能分分合合的平衡树,我才不要!
但是,以上的所有操作,其实都能通过这两种基本操作实现:
查询小于等于val的数的个数:考察根节点的值和val,如果val小于根节点,递归进左子树,否则递归进右子树。
这个查询操作命名为Rank,代码:
int Rank(int rt,int v){
if(!rt) return 0;
if(v<val[rt]) return Rank(ls[rt],v);
else return siz[ls[rt]]+Rank(rs[rt],v)+1;
}
插入val:先查询Rank(val),然后按照rank把整个TreapSplit成两个,把val做成一个新节点,Merge到里面即可。
void Insert(int v){
val[++cnt]=v, pri[cnt]=ran(), siz[cnt]=1;
int rank=Rank(Root,v);
int rt1,rt2;
Split(Root,rank,rt1,rt2);
Root=Merge(Merge(rt1,cnt),rt2);
}
删除val:先查询Rank(val),然后按照rank把整个TreapSplit成三个,删除需要的点,最后Merge剩下两个。
void Delete(int v){
int rank=Rank(Root,v);
int rt1,rt2,rt3,tmp;
Split(Root,rank,rt1,rt2);
Split(rt1,rank-1,rt3,tmp);
Root=Merge(rt3,rt2);
// Memory Recycle?
}
查询第K个值:把整个TreapSplit成三个,输出需要的值,最后合并起来。
int Kth(int k){
int rt1,rt2,rt3,c;
Split(Root,k,rt1,rt2);
Split(rt1,k-1,rt3,c);
Root=Merge(rt3,Merge(c,rt2));
return val[c];
}
前驱:Kth(Rank(val-1))。
后继:Kth(Rank(val)+1)。
还有很多很多操作,供大家脑补。
四、区间操作
无旋Treap和旋转Treap的更重要区别是,无旋Treap可以很方便地支持区间的操作。
如何支持?你已经看到了,Split操作分离出的就是一个个区间啊!把一整棵Treap分离出来一段区间,在上面尽情地修改吧。不过要记得像线段树写好区间pushdown哦!
比如区间翻转,就是左右子树调换,并且打上标记。区间加减乘除更不用说。
记得在Split,Merge和Rank三个函数内部加上pushdown!
五、实战应用
有很多平衡树的题目,都能用Treap解决。
推荐几道题:
Luogu P3369 测试你的Treap普通操作的熟练程度。
Luogu P3391 区间操作的应用。
Luoge P3165 区间操作和其他技巧。
【算法学习】Fhq-Treap(无旋Treap)的更多相关文章
- fhq Treap(无旋Treap)
先吹一波fhq dalao,竟然和我一个姓,我真是给他丢脸. 昨天treap就搞了一下午,感觉自己弱爆了.然后今天上午又看了一个上午的无旋treap再次懵逼,我太弱了,orzorz. 所以写个博客防止 ...
- 浅谈无旋treap(fhq_treap)
一.简介 无旋Treap(fhq_treap),是一种不用旋转的treap,其代码复杂度不高,应用范围广(能代替普通treap和splay的所有功能),是一种极其强大的平衡树. 无旋Treap是一个叫 ...
- [转载]无旋treap:从单点到区间(例题 BZOJ1500&NOI2005 维护数列 )
转自ZZH大佬,原文:http://www.cnblogs.com/LadyLex/p/7182631.html 1500: [NOI2005]维修数列 Time Limit: 10 Sec Mem ...
- [转载]无旋treap:从好奇到入门(例题:bzoj3224 普通平衡树)
转载自ZZH大佬,原文:http://www.cnblogs.com/LadyLex/p/7182491.html 今天我们来学习一种新的数据结构:无旋treap.它和splay一样支持区间操作,和t ...
- [您有新的未分配科技点]无旋treap:从好奇到入门(例题:bzoj3224 普通平衡树)
今天我们来学习一种新的数据结构:无旋treap.它和splay一样支持区间操作,和treap一样简单易懂,同时还支持可持久化. 无旋treap的节点定义和treap一样,都要同时满足树性质和堆性质,我 ...
- Luogu 3369 / BZOJ 3224 - 普通平衡树 - [无旋Treap]
题目链接: https://www.lydsy.com/JudgeOnline/problem.php?id=3224 https://www.luogu.org/problemnew/show/P3 ...
- [您有新的未分配科技点] 无旋treap:从单点到区间(例题 BZOJ1500&NOI2005 维护数列 )
1500: [NOI2005]维修数列 Time Limit: 10 Sec Memory Limit: 64 MB Description Input 输入的第1 行包含两个数N 和M(M ≤20 ...
- HNOI2012 永无乡 无旋Treap
题目描述 永无乡包含 nnn 座岛,编号从 111 到 nnn ,每座岛都有自己的独一无二的重要度,按照重要度可以将这 nnn 座岛排名,名次用 111 到 nnn 来表示.某些岛之间由巨大的桥连接, ...
- [Bzoj3224][Tyvj1728] 普通平衡树(splay/无旋Treap)
题目链接:https://www.lydsy.com/JudgeOnline/problem.php?id=3224 平衡树入门题,学习学习. splay(学习yyb巨佬) #include<b ...
随机推荐
- InvalidArgumentError: You must feed a value for placeholder tensor 'Placeholder_1' with dtype float and shape [?,10]
在莫烦Python教程的“Dropout 解决 overfitting”一节中,出现错误如下: InvalidArgumentError: You must feed a value for plac ...
- BZOJ3243 NOI2013向量内积(随机化)
考虑奇技淫巧. 首先是k=2.对向量维护一个前缀和,每次将当前向量与前缀和点乘.如果点乘结果不等于i-1&1,说明当前向量至少和之前的某个向量的数量积是2的倍数,暴力找就可以了.当然等于i-1 ...
- MT【142】Bachet 问题,进位制
问题: 满足下面两种限制条件下要想称出40以内的任何整数重量,最少要几个砝码: i)如果砝码只能在天平的某一边; ii)如果砝码可以放在天平的两边. 提示:对于 i)先证明如下事实: \[\textb ...
- java追加写入txt文件
整理了下网上的资料,数据追加写入txt文件有三种方式,见下面代码: 方法一: public void method1() { FileWriter fw = null; try { //如果文件存在, ...
- 【Learning】辛普森积分
辛普森积分 这种积分法很暴力:只要求你实现出函数求值\(f(x)\). 使用辛普森积分,我们可以求出函数一段区间\([l,r]\)的近似积分.记\(mid=\frac{l+r}2\),有: \[ \i ...
- loj2537 「PKUWC2018」Minimax 【概率 + 线段树合并】
题目链接 loj2537 题解 观察题目的式子似乎没有什么意义,我们考虑计算出每一种权值的概率 先离散化一下权值 显然可以设一个\(dp\),设\(f[i][j]\)表示\(i\)节点权值为\(j\) ...
- dubbo与springcloud对比与面试
对比:具体见此博客: http://www.sohu.com/a/108961261_468650 dubbo:组装机 springcloud:品牌机 打个不恰当的比喻:使用Dubbo构建的微服务架构 ...
- poj 2396 Budget
一个m行n列的矩阵,给出每行每列中元素的和,以及对一些格子的大小限制,求一个可行方案,输出矩阵. 大小限制形如:严格大于i,严格小于i,等于i. 1<=m<=200.1<=n< ...
- 【leetcode】 Spiral Matrix
Spiral Matrix Given a matrix of m x n elements (m rows, n columns), return all elements of the matri ...
- Hadoop生态圈-Hbase的协处理器(coprocessor)应用
Hadoop生态圈-Hbase的协处理器(coprocessor)应用 作者:尹正杰 版权声明:原创作品,谢绝转载!否则将追究法律责任.