fhq treap(无旋treap) 学习笔记

首先最好要会写treap(也先了解一下笛卡尔树是什么。。。)
fhq treap和treap同样有一个随机分配的rnd值,用于平衡,但fhq treap不需要旋转操作来维持平衡,因为有两个神奇的操作merge和split

在两种操作之前,要明确的一点是fhq treap依靠rnd值来维护平衡,把每个点按照小根堆的方式放置,即根rnd小于子rnd,并且在任何时候都要保证有二叉搜索树的性质,即左子树key <= 根节点key <= 右子树key
其实我们可以把相等的点缩在一起看做根,这样就满足了左子树<根<右子树了,就算有一些和根相同的点跑到右子树上了,由于我们在各种操作的过程中是不断往右子树上跑的,所以这些点还是会考虑到


下面两个函数是fhq treap的核心,理解好了其他操作就十分简单
注意两个操作都要update(now)

Merge:

递归的过程,在执行之前需要保证x中所有点的key值(要存储的值,不是随机值)都小于y的(简称为x < y),这是二叉搜索树的性质,而如何保证这个性质先不用着急,在插入操作中,这个性质自然实现了。最后要返回当前根节点

int merge(int x, int y) { //将xy合并为一棵新树 返回当前树根
	if(!x || !y) return x + y; // 递归边界
	if(tr[x].rnd < tr[y].rnd) {
		tr[x].rs = merge(tr[x].rs, y);//把y接在x的右子树上
		update(x);
		return x;
	}
	tr[y].ls = merge(x, tr[y].ls);//把x接在y的左子树上
	update(y);
	return y;
}

Split:

权值小于等于k的分到左树(x),大于的分到右树(y)。
注意参数中的x,y是“x树中等待和别的点相接的点,y树种等待和别的点相接的点”这个意思
等待这个词很微妙,下面通过一个具体的情形解释一下
首先x,y均为0,然后判断一下,确定目前x或y的树根
若目前now的值小于等于k,则now应该放在x树上,放在x树的哪里呢?就放在函数目前的参数上,即x“等待相接的位置”,并且x左子树均比k小,不需要改动。
然后现在整棵树变为两部分 now及其左子树,now的右子树,显然在上述情形下,下一次要划分的树就是now的右子树,并且按照二叉搜索树的性质应当把划分下来的,值仍然小于等于k的子树接在x的右子树上,所以此时now的右子树就是“x等待相接的位置”
另一种情况同理
并且不用担心这样分会错(比如在第一种情况中now的右节点还是原来的,但是在不断递归的过程中now的右节点要么被更新,要么由if(!now) x = y = 0;变为0)

void split(int now, int k, int &x, int &y) {
	if(!now) {
		x = y = 0;
		return; //一定要写return 不要调用到下面的代码,到这里为止了!
	} 
	if(tr[now].val <= k) 
		x = now, split(tr[now].rs, k, tr[now].rs, y);
	else 
		y = now, split(tr[now].ls, k, x, tr[now].ls);
	update(now);	
  • 0
    点赞
  • 3
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值