Treap,简单的来说就是Tree+Heap,是一颗平衡树,每个节点有两个信息:1.key:当前节点的关键字 ;2.fix:当前节点优先级。key满足二叉排序数的性质,即左儿子都比当前节点小,右儿子都比当前节点大(或相等),fix是一个随机的数,满足小根堆(或大根堆)的性质,fix是为了防止Treap退化成链表的简单优化策略。

如下面的一颗Treap:

Treap可以进行下面几种操作:插入,查询第k大,旋转,还有其他一些基本操作和一些高级的操作,这里暂不作介绍。

1.插入元素

Treap的关联形式是链表,所以要定义一个结构体,其中包含一个指向Treap类型的指针,树的大小,左右儿子的指针。

struct Treap
{
int size,key,fix;
Treap *ch[2];
Treap(int k)//构造函数
{
size=1;
fix=rand();
key=k;
ch[0]=ch[1]=NULL;
}
int compare(int x)const
{
return key==x?-1:x<key?0:1;
}
void Maintain() //计算Treap的大小
{
size=1;
if(ch[0]!=NULL)size+=ch[0]->size;
if(ch[1]!=NULL)size+=ch[1]->size;
}
};

插入的时候,如果当前元素是空的,就用new运算符构造一颗新树(没有儿子节点),如果不是空的,就递归向下直到是 叶子节点。节点之间的联系是以链表的形式建立起来的。

如果新插入的元素的优先级不满足小根堆的性质,则要进行旋转操作,使优先级满足要求。

void insert(Treap *&t,int x)
{
if(t==NULL)t=new Treap(x);
else
{
int d=x < t->key?0:1;
insert(t->ch[d],x);
if(t->fix > t->ch[d]->fix) //破坏了优先级顺序
Rotate(t,d);
}
t->Maintain();
}

2.旋转

当优先级破坏了小根堆的性质的时候,就要进行旋转操作,使重新满足小根堆。

旋转的时候有两种情况

①:左左旋转

②:右右旋转

两种情况可以综合到一起,详细见代码。

void Rotate(Treap *&t,int d)
{
Treap *k=t->ch[d]; //临时变量
t->ch[d]=k->ch[d^1]; //用要旋转的节点的“反”儿子替换它的位置
k->ch[d^1]=t; //旋转上去
t->Maintain(); //先计算t的大小,因为现在t是k的子节点。
k->Maintain();
t=k; //根节点上移
}

这里参数的含义是,要处理的根节点是t,ch[d]需要旋转。将参数定义成指针的引用是为了方便修改t的地址。

3.查找第K大元素

利用Treap的二叉排序树的性质,左儿子都小于根节点,右儿子大于等于根节点,即可找出第K大元素。

int Kth(Treap*t,int k)
{
if(t==NULL || k<=0 || t->size<k)return -1; //找不到
if(t->ch[0]==NULL && k==1)return t->key; //是当前值
if(t->ch[0]==NULL)return Kth(t->ch[1],k-1); //在右子树找,注意要先出去根节点,所以是k-1
if(t->ch[0]->size >=k )return Kth(t->ch[0],k); //在左子树找,因为左子树上的值都小于当前节点,所以仍然是查找第K大
if(t->ch[0]->size+1==k)return t->key;
return Kth(t->ch[1],k-1-t->ch[0]->size); //注意这里k要减1
}

4.删除Treap

为了减小空间的占用,在使用完了Treap之后,要及时的把它删掉,因为是链表,所以只能一个一个的删除。

void DeleteTreap(Treap*&t)
{
if(t==NULL)return;
if(t->ch[0]!=NULL)DeleteTreap(t->ch[0]); //删除左子树
if(t->ch[1]!=NULL)DeleteTreap(t->ch[1]); //删除右子树
delete t; //释放内存
t=NULL;
}

例题:poj1442 Black Box

题目大意:给n个数,m个查询,每次查询前x个数里面第k大的数,x是升序排列的。

#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cstdlib>
#include<string>
#define rep(i,n) for(i=1;i<=n;++i)
using namespace std;
const int maxn=1000005;
int n,m,val[maxn];
struct Treap
{
int size,key,fix;
Treap *ch[2];
Treap(int k)
{
size=1;
fix=rand();
key=k;
ch[0]=ch[1]=NULL;
}
int compare(int x)const
{
return key==x?-1:x<key?0:1;
}
void Maintain()
{
size=1;
if(ch[0]!=NULL)size+=ch[0]->size;
if(ch[1]!=NULL)size+=ch[1]->size;
}
};
void Rotate(Treap *&t,int d)
{
Treap *k=t->ch[d];
t->ch[d]=k->ch[d^1];
k->ch[d^1]=t;
t->Maintain();
k->Maintain();
t=k;
}
void insert(Treap *&t,int x)
{
if(t==NULL)t=new Treap(x);
else
{
int d=x < t->key?0:1;
insert(t->ch[d],x);
if(t->fix > t->ch[d]->fix)
Rotate(t,d);
}
t->Maintain();
}
int Kth(Treap*t,int k)
{
if(t==NULL || k<=0 || t->size<k)return -1;
if(t->ch[0]==NULL && k==1)return t->key;
if(t->ch[0]==NULL)return Kth(t->ch[1],k-1);
if(t->ch[0]->size >=k )return Kth(t->ch[0],k);
if(t->ch[0]->size+1==k)return t->key;
return Kth(t->ch[1],k-1-t->ch[0]->size);
}
void DeleteTreap(Treap*&t)
{
if(t==NULL)return;
if(t->ch[0]!=NULL)DeleteTreap(t->ch[0]);
if(t->ch[1]!=NULL)DeleteTreap(t->ch[1]);
delete t;
t=NULL;
}
int main()
{
// freopen("A.in","r",stdin);
// freopen("A.out","w",stdout);
while(scanf("%d%d",&n,&m)!=EOF)
{
int i,index=1,j;
rep(i,n)scanf("%d",&val[i]);
Treap *root=NULL;
rep(i,m)
{
int p;
scanf("%d",&p);
for(j=index;j<=p;j++)
insert(root,val[j]);
index=p+1; //更新index
printf("%d\n",Kth(root,i));
}
DeleteTreap(root); //删除Treap
}
return 0;
}

  

初识Treap的更多相关文章

  1. Treap详解

    今天一天怼了平衡树.深深地被她的魅力折服了.我算是领略到了高级数据结构的美妙.oi太神奇了. 今天初识平衡树,选择了Treap. Treap又叫树堆,是一个二叉搜索树.我们知道,它的节点插入是随机的, ...

  2. 入门平衡树: Treap

    入门平衡树:\(treap\) 前言: 如有任何错误和其他问题,请联系我 微信/QQ同号:615863087 前置知识: 二叉树基础知识,即简单的图论知识. 初识\(BST\): \(BST\)是\( ...

  3. fhq treap最终模板

    新学习了fhq treap,厉害了 先贴个神犇的版, from memphis /* Treap[Merge,Split] by Memphis */ #include<cstdio> # ...

  4. Android动画效果之初识Property Animation(属性动画)

    前言: 前面两篇介绍了Android的Tween Animation(补间动画) Android动画效果之Tween Animation(补间动画).Frame Animation(逐帧动画)Andr ...

  5. 初识Hadoop

    第一部分:              初识Hadoop 一.             谁说大象不能跳舞 业务数据越来越多,用关系型数据库来存储和处理数据越来越感觉吃力,一个查询或者一个导出,要执行很长 ...

  6. python学习笔记(基础四:模块初识、pyc和PyCodeObject是什么)

    一.模块初识(一) 模块,也叫库.库有标准库第三方库. 注意事项:文件名不能和导入的模块名相同 1. sys模块 import sys print(sys.path) #打印环境变量 print(sy ...

  7. 初识IOS,Label控件的应用。

    初识IOS,Label控件的应用. // // ViewController.m // Gua.test // // Created by 郭美男 on 16/5/31. // Copyright © ...

  8. UI篇(初识君面)

    我们的APP要想吸引用户,就要把UI(脸蛋)搞漂亮一点.毕竟好的外貌是增进人际关系的第一步,我们程序员看到一个APP时,第一眼就是看这个软件的功能,不去关心界面是否漂亮,看到好的程序会说"我 ...

  9. Python导出Excel为Lua/Json/Xml实例教程(一):初识Python

    Python导出Excel为Lua/Json/Xml实例教程(一):初识Python 相关链接: Python导出Excel为Lua/Json/Xml实例教程(一):初识Python Python导出 ...

随机推荐

  1. poj3614 贪心

    Sunscreen Time Limit: 1000MS   Memory Limit: 65536K Total Submissions: 6410   Accepted: 2239 Descrip ...

  2. keil中查看内存数据

    1.工具栏中 view->Memory Windows 然后  c:0 表示读取0地址开始的代码区数据  d:0 表示读取0地址开始的数据区数据  x:0表示读取0地址开始的外部数据区

  3. DoctrineMigrationsBundle

    数据库迁移特征是数据库抽象层的扩展,允许你用编程的方式,安全.方便.标准化实现数据库结构的更新. 安装 首先使用composer安装 $ composer require doctrine/doctr ...

  4. Hdu1076(n个闰年后的年份)

    #include <stdio.h> #include<stdlib.h> int main() { int T,Y,n,printYear; scanf("%d&q ...

  5. a:hover和a:visited书写顺序的重要性

    2a:hover和a:visited书写顺序的重要性今天在用a:hover属性的时候发现一个奇怪的问题,同一个页面里面有些链接的a:hover效果不能正常表现出来.链接的代码是一样,没有使用其它样式固 ...

  6. Square spiral

    Square spiral Nikola picks up a strange circuit board. All of its elements are connected in a spiral ...

  7. 关于UIButton中的ContentEdgeInsets的深入研究

    UIButton的contentEdgeInsets属性的深入研究 由于用UIButton这个属性做过一些东西,但是对它的规律始终不太了解,虽然苹果官方文档的解释大体上可以理解为,这个属性设置的是内边 ...

  8. POJ3278 Catch That Cow(BFS)

    Description Farmer John has been informed of the location of a fugitive cow and wants to catch her i ...

  9. Java异步调用Future对象

    Future类存在于JDK的concurrent包中,主要用途是接收Java的异步线程计算返回的结果. 个人理解的使用场景大概如下: 有两个任务A和B,A任务中仅仅需要使用B任务计算成果,有两种方法实 ...

  10. linux mysql密码破解一张图解释