平衡树之非旋Treap

Posted Nico&11101001

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了平衡树之非旋Treap相关的知识,希望对你有一定的参考价值。

平衡树(二叉树)

线段树不支持插入or删除一个数于是平衡树产生了
常见平衡树:treap(比sbt慢,好写吧),SBT(快,比较好写,有些功能不支持),splay(特别慢,复杂度当做根号n来用,功能强大,不好写),rbt(红黑树,特别快),//替罪羊树,朝鲜树
晚上要讲的不旋转平衡树:

平衡树:

节点的左儿子中的每一个一定比他小,右儿子中的每一个一定比他大
那么它的中序遍历是有序的
用下标建树,那么区间询问的话就是求一棵子数和子树根和领一棵子数的一部分

treap:

tree+heap,平衡树和heap的性质是矛盾的,所以每个节点存一个key和value
key值满足heap性质,value满足平衡树的性质,这样的树叫做treap?

插入:

插入的新节点的key值随机,调用rand函数(这样保证树的深度一定是logn的)改变树的形态使它重新满足hea与平衡树性质

操作1.merge:

merge(P1,P2):把以p1为根的treap和以p2为根的treap合并成一个treap(p1中的所有制小于

操作2.splays:

把以p为根的treap中拿出k小的数,组成一个新treap
保证原先树中的所有数>新树中所有数

可持久化treap :

插:

建一个只有一个点的树(要插得数)例如(2.33)把(1,2)splay出来,再把新树(2.33)和(1,2)merge起来,再把(1,2,2.33)和(4,5)merge 一下

删除一个:

如删除(2.33),先把split(treap,3),此时把splay把(1,2)与(2.33,4,5)分离在split(treep2,1),此时(2.33)与(4,5)分离
在merge(treap1,treap3)合并即把(1,2),(4,5)合并,那么2.33就没了

实际操作

merge时,找key值最大的作为新treap的根,不是p1就是p2
1要是p1.p>=p2.p此时p1作为新根,那么p1的左儿子不会变换,右子树就是p1的右子树和p2 merge 一下,即 merge(p1.r,p2);
2要是p2.p>p1.p此时p2作为新根,那么p2的右儿子不会变换,左儿子就是p2的
左子树 和 p1 mege 一下 即 merge(p2.l,p1);
split(p,k)几点记录value,key,l,r,size
p.L<-p->p.r;
1.要是k<=p.l.size 说明k小的点全在左子数,递归split(p.l,k);构成新树的时候直接把split后剩下的左子树接到P根上就好了
2.k=p.l.size+1;,返回两棵树(p.l-p,p.r)
3.k>p.l.siz+1,左边已经全不要,那么就split(p.r,k-p.l.size-1);
返回两棵树(p.l-p-p.r,剩余p.r)

merge:

int merge(int p1,int p2) {
    if(!p1)return p2;//zuo bian kong le
    if(!p2)return p1;//you bian kong le
    if(z[p1].key<z[p2].key) {
        z[p1].r=merge(z[p1].r,p2);
        return p1;
    }
    else {
        z[p2].l=merge(z[p2].l,p1);
        return p2
    }

split:

pair<int,int>split(int p,int n) {
    if(z[z[p].l].size>=n) {
        if(!)
    }
    else {
        if(z[p].r==0)return pair(p,0);
        else {
            pair<int,int>px=split(z[p].r,n-z[z[p].l].size-1)
            z[p].r=px.frist;
            int pr=px.second;
            return make_pair(p,pr);
            }
    }
}

query_min:

查询那些数比x数小,当找到一个根节点比x小时,那么该节点的所有子树都比他小,那么就把子树size+1加到答案里-->删除一个数的时候时用来确定split的k(比要删除的数小的)值

以上是关于平衡树之非旋Treap的主要内容,如果未能解决你的问题,请参考以下文章

[BZOJ 3224] 普通平衡树 非旋Treap

2827: 千山鸟飞绝 非旋treap

非旋 treap 结构体数组版(无指针)详解,有图有真相

非旋 treap 结构体数组版(无指针)详解,有图有真相

非旋Treap

可持久化平衡树详解及实现方法分析