【Treap】

【Treap浅析】

  Treap作为二叉排序树处理算法之一,首先得清楚二叉排序树是什么。对于一棵树的任意一节点,若该节点的左子树的所有节点的关键字都小于该节点的关键字,且该节点的右子树的所有节点的关键字都大于该节点的关键字,则这棵树是一棵二叉排序树。

  Treap在每一个节点中有两个最关键的元素——weight和value

  value是在创建这个新节点时赋予该节点的数值大小,Treap利用每个节点的value值将整棵树维持成一个二叉排序树

  weight是在创建这个新节点时赋予该节点的伪随机数,Treap利用每个节点的weight值将整棵树维持成一个最小堆(或最大堆)

  看似不相容的二叉排序树和堆的结合却正是Treap的关键之处。如果用递增(或递减)数列只是对单纯的二叉排序树进行插入操作的话可以想见会变成这种情况:

  此时一棵二叉搜索树就退化成了数链,每次对树上进行查询都会退化成O(N)。而利用随机数的随机性把二叉树维护成一个堆,就可以尽量使一条不严格数链维护成一棵伪平衡树。

  那Treap是如何同时维护堆和二叉搜索树的呢?这就涉及到旋转操作

  Treap涉及两种旋转操作:左旋和右旋。这里用最小堆举例子(懒得用电脑画图(逃:

  利用代码看一下左、右旋代码的实现:

  1.左旋:

 void lt(int &k){
int tmp = t[k].r;
t[k].r = t[tmp].l;
t[tmp].l = k;
t[tmp].size = t[k].size;
t[k].size = t[t[k].l].size + t[t[k].r].size + t[k].cnt;
k = tmp;
}

  2.右旋:

 void rt(int &k){
int tmp = t[k].l;
t[k].l = t[tmp].r;
t[tmp].r = k;
t[tmp].size = t[k].size;
t[k].size = t[t[k].r].size + t[t[k].l].size + t[k].cnt;
k = tmp;
}

  除了旋转之外还有许多其他的操作,结合代码看一下:

  插入节点:

 void Insert(int &k,int num){
if(!k){//如果这是一个没有被创建过的新的节点就创建一个新的节点
k = ++size;
t[k].wt = rand();//为该新节点赋予一个随机值weight
t[k].val = num;//为该节点赋予一个数值大小value
t[k].cnt = t[k].size = ;
return ;
}
++t[k].size;//插入了一个新节点,所以路径上每个结点的子树大小++
if(num == t[k].val){//如果这个数值被添加到树中过,就把那个节点处的cnt++
++t[k].cnt;
return ;
}
if(num < t[k].val){//如果要被插入的数值比当前结点数值小,向左子树寻找
Insert(t[k].l,num);
if(t[t[k].l].wt < t[k].wt)//如果左右孩子其中一个不满足最小堆,即其中一个小于父亲节点,则通过旋转使其满足最小堆
rt(k);
}
else{//如果要被插入的数值比当前结点数值大,向右子树寻找
Insert(t[k].r,num);
if(t[t[k].r].wt < t[k].wt)//维护最小堆
lt(k);
23 }

  删除节点:

  void Delete(int &k,int num){
if(!k)
return ;
if(t[k].val == num){
if(t[k].cnt > ){//如果某个数值被插入2次及以上,在节点处cnt--即可。
--t[k].cnt;
--t[k].size;
return ;
}
else if(!(t[k].l * t[k].r)){//如果那个数值只被插入了一次且左右孩子至少有一个为空,则直接把不为空的孩子接到父亲节点上。
k = t[k].l + t[k].r;
return ;
}
else{//如果两个孩子都不为空,则把两个孩子中weight较小的旋转到父亲节点,把原来的要删除的节点一直旋转成叶子节点或只有一个非空孩子的节点。
if(t[t[k].l].wt <= t[t[k].r].wt){
rt(k);
Delete(k,num);
}
else{
lt(k);
Delete(k,num);
}
}
}
else{
--t[k].size;//经过的路径size全都--
if(num < t[k].val)//判断接下来寻找num位置的走向
Delete(t[k].l,num);
else
Delete(t[k].r,num);
}
}

  求序列中某一数值在数列中的排名:

 int Rank(int &k,int num){
if(!k)
return ;
if(t[k].val == num)
return t[t[k].l].size + ;//若与当前结点相等,左节点size+1就是排名,防止t[k].cnt影响排名
else if(t[k].val > num)
return Rank(t[k].l,num);
else
return Rank(t[k].r,num) + t[t[k].l].size + t[k].cnt;//递归到右子树返回的是在右子树之内的排名,要加上父节点的cnt和左孩子的size
}

  求序列中第k大数值:

 int Search(int &k,int num){
if(!k)
return ;
if(num <= t[t[k].l].size)
return Search(t[k].l,num);
else if(num <= t[t[k].l].size + t[k].cnt)//如果排名属于(左孩子size,左孩子size + 当前结点cnt]区间内,则第k大数就是该节点的数值大小。
return t[k].val;
else
return Search(t[k].r,num - t[t[k].l].size - t[k].cnt);//进行右子树的递归,排名需剪掉左子树的size和当前结点cnt,这样才能保证在右子树找到正确结果。
}

  求前序及后序:

 int Pre(int &k,int num){
if(!k)
return -2147483648;//返回极小值避免对下方max函数产生影响
if(t[k].val >= num)
return Pre(t[k].l,num);
else
return max(t[k].val,Pre(t[k].r,num));//如果当前结点数值小于num,则在该节点右子树寻找比该节点数值更大的节点,后序同理
}
int Nex(int &k,int num){
if(!k)
return 2147483647;
if(t[k].val <= num)
return Nex(t[k].r,num);
else
return min(t[k].val,Nex(t[k].l,num));
}

  这就是比其他平衡树要好写的多的Treap了。Treap功能十分局限,但有个Treap2.0叫作无旋Treap,功能就和其他平衡树相差无几了,学了再更。

【数据结构】【平衡树】浅析树堆Treap的更多相关文章

  1. 【bzoj3196】Tyvj 1730 二逼平衡树 线段树套Treap

    题目描述 您需要写一种数据结构(可参考题目标题),来维护一个有序数列,其中需要提供以下操作:1.查询k在区间内的排名2.查询区间内排名为k的值3.修改某一位值上的数值4.查询k在区间内的前驱(前驱定义 ...

  2. BZOJ - 3196 Tyvj 1730 二逼平衡树 (线段树套treap)

    题目链接 区间线段树套treap,空间复杂度$O(nlogn)$,时间复杂度除了查询区间k大是$O(log^3n)$以外都是$O(log^2n)$的. (据说线段树套线段树.树状数组套线段树也能过?) ...

  3. bzoj 3196 && luogu 3380 JoyOI 1730 二逼平衡树 (线段树套Treap)

    链接:https://www.lydsy.com/JudgeOnline/problem.php?id=3196 题面; 3196: Tyvj 1730 二逼平衡树 Time Limit: 10 Se ...

  4. [bzoj3196][Tyvj 1730][二逼平衡树] (线段树套treap)

    Description 您需要写一种数据结构(可参考题目标题),来维护一个有序数列,其中需要提供以下操作: 1.查询k在区间内的排名 2.查询区间内排名为k的值 3.修改某一位值上的数值 4.查询k在 ...

  5. BZOJ3224/LOJ104 普通平衡树 treap(树堆)

    您需要写一种数据结构,来维护一些数,其中需要提供以下操作:1. 插入x2. 删除x(若有多个相同的数,因只删除一个)3. 查询x的排名(若有多个相同的数,因输出最小的排名)4. 查询排名为x的数5. ...

  6. 可旋转Treap(树堆)总结

    树堆,在数据结构中也称Treap,是指有一个随机附加域满足堆的性质的二叉搜索树,其结构相当于以随机数据插入的二叉搜索树.其基本操作的期望时间复杂度为O(logn).相对于其他的平衡二叉搜索树,Trea ...

  7. BZOJ_3196_二逼平衡树_(树套树,线段树+Treap)

    描述 http://www.lydsy.com/JudgeOnline/problem.php?id=3196 可以处理区间问题的平衡树. 3196: Tyvj 1730 二逼平衡树 Time Lim ...

  8. BZOJ3196 Tyvj1730 二逼平衡树 【树套树】 【线段树套treap】

    BZOJ3196 Tyvj1730 二逼平衡树 Description 您需要写一种数据结构(可参考题目标题),来维护一个有序数列,其中需要提供以下操作: 1.查询k在区间内的排名 2.查询区间内排名 ...

  9. 树堆(Treap)

    平衡树 简介: 平衡二叉树(Balanced Binary Tree)具有以下性质:它是一 棵空树或它的左右两个子树的高度差的绝对值不超过1,并且左右两个子树都是一棵平衡二叉树.平衡二叉树的常用实现方 ...

随机推荐

  1. 常见网络命令之Ping命令

    前言:计算机网络老师要求我们自己总结一下常见的网络命,然后上课可以上去讲一下这些命令使用,像我这么听话的好学生,肯定是照老师要求,认真的总结了一下,总结的过程中,我发现网上已经有的资源讲的都不是很详细 ...

  2. shellcheck 帮助你写出更好的脚本

    简介 shellcheck 是一款实用的 shell脚本静态检查工具. 首先,可以帮助你提前发现并修复简单的语法错误,节约时间.每次都需要运行才发现写错了一个小地方,确实非常浪费时间. 其次,可以针对 ...

  3. linux编程之信号

    信号(signal)机制是UNIX系统中最为古老的进程之间的通信机制,它用在一个或多个进程之间传递异步信号,信号可以由各种异步事件产生,如: 键盘中断等等,在Linux 的shell 中,也可以使用信 ...

  4. 從 kernel source code 查出 版本號碼

    kernel/Makefile 1 VERSION = 4 2 PATCHLEVEL = 4 3 SUBLEVEL = 21 4 EXTRAVERSION = 5 NAME = Blurry Fish ...

  5. 自动化测试===requests+unittest+postman的接口测试

    postman是一个跨平台的接口测试工具,下载链接在这里:https://www.getpostman.com/ unittest是一个单元测试框架,python中安装:pip install uni ...

  6. opengl基础学习专题 (一 )编程环境搭建

    题外话: 第一次在博客园上同大家分享博文.水的的地方,错别字的地方.环境交流.批评.知道了马上改. 以前在百度空间中写技术分享博文,后来百度啥也没说就把整个空间封了.当时感觉 还是有点寒心.只想黑一下 ...

  7. Leetcode 之Binary Tree Postorder Traversal(46)

    采用广度优先遍历,一个变量记录层数,一个变量记录方向. void traverse(TreeNode *root, vector<vector<int>> result, in ...

  8. java中的三元运算符

    格式: 关系表达式 ? 表达式1:表达式2 public class OperatorDemo { public static void main(String[] args){ int a = 10 ...

  9. LeetCode解题报告—— N-Queens && Edit Distance

    1. N-Queens The n-queens puzzle is the problem of placing n queens on an n×n chessboard such that no ...

  10. 【转载】Python测试框架doctest

    原文在这里 :Python测试框架doctest 先记录一下,直接复制粘贴后,排版是乱的,后续再弄.