FHQ-Treap

昨天，我们亲爱的学长教了我们 $FHQ-Treap$ orz，于是有了这篇题解。

What is it

$FHQ-Treap$ 由巨佬范浩强发明的一种数据结构不然怎么叫FHQ，免掉了 $Splay$ 等基于旋转操作的平衡树的麻烦操作。

特点：码量少，易理解，常数贼大

Pre cheese

首先，我们要知道，$Treap=Tree+Heap$

所以，我们就有了以下两块芝士（逃~

1. 二叉搜索树

首先，二叉搜索树是一颗二叉树。

你问我二叉树是什么？

出门右转度娘在等着你

二叉树都不知道先去 度娘 那深造一下吧

二叉搜索树有一个最基本的性质：左儿子<父节点<右儿子（值）

易得左子树所有的值<父节点的值<右子树所有的值

2. 堆

懒得说了，走你

How to create it

首先，我们要知道，$FHQ-Treap$ 是一种基于分裂和合并两种基操的平衡树。

1. 基操：分裂（Split）

分裂有分为两种：按大小分裂和按排名分裂（据神犇说按排名分裂没必要）

既然这样，那我就只讲按大小分裂吧。（逃~

按大小分裂是把树拆成两棵树，拆出来的一棵树的值全部小于等于给定的值，另外一部分的值全部大于给定的值

先贴两个图：

分裂前，这棵树长这样：

分裂后，变成了这样：

某些同学快点起来，上代码了

上代码

void split(int now,int val,int &x,int &y)
{
    if(!now) x=y=0;//到根时，x和y要初始化
    else 
    {
        if(fhq[now].val<=val)
        {
            x=now;
            split(fhq[now].r,val,fhq[now].r,y);
        }
        else 
        {
            y=now;
            split(fhq[now].l,val,x,fhq[now].l);
        }
        update(now);
    }
}

这串代码最关键在于引用 $\&$ 哈。

2. 基操：合并（merge）

合并只有一种 分裂，你过来，看看人家

合并就是把两颗树 $x$，$y$ 合并成一棵树，其中 $x$ 树上的所有值都小于等于 y 树上的所有值。并且新合并出来的树依旧满足 $Treap$ 的性质（如果不满足就说明你写错了，你就把电脑砸了重构一下）

图片：

把上面分裂的图片反过来（逃~

那些同学又睡了？起来一下

上代码

int merge(int x,int y)
{
    if(!x||!y) return x+y;
    if(fhq[x].key>fhq[y].key)
    {
        fhq[x].r=merge(fhq[x].r,y);
        update(x);
        return x;
    }
    else 
    {
        fhq[y].l=merge(x,fhq[y].l);
        update(y);
        return y;
    }
}

3. 重磅：插入（insert）

想象一下，有一沓纸，你要从中插入一张，怎么办？

拿开上面一沓，放一张在中间，再合上。

我们良心的 $insert$ 也是如此，掰开一棵树，插入一个点，再把三部分捏在一起。

各位应该都懂了吧（逃~

上代码！！！

void ins(int val)
{
    split(root,val,x,y);
    root=merge(merge(x,newnode(val)),y);
}

5行代码良心啊

4. 重磅：删除

同样的，在一沓纸中取出一张，怎么办？

将它上面的拿开，再将那张纸拿出来，再将上面和下面再次叠在一起。

亲爱的 $del$ 也是如此，分两次掰开这棵树，使其与上下分离，再将他的上下两部分合在一起。

上代码

void del(int val)
{
    split(root,val,x,z);
    split(x,val-1,x,y);
    y=merge(fhq[y].l,fhq[y].r);
    root=merge(merge(x,y),z);
}

------------------------分割线------------------------

剩下还有几种诸如查前驱后继、查值、查排名的操作我就不说了哈，直接给代码

void getrank(int val)
{
    split(root,val-1,x,y);
    cout<<fhq[x].size+1<<"\n";
    root=merge(x,y);
}
void getnum(int rank)
{
    int now=root;
    while(now)
    {
        if(fhq[fhq[now].l].size+1==rank)
            break;
        else if(fhq[fhq[now].l].size>=rank)
            now=fhq[now].l;
        else 
        {
            rank-=fhq[fhq[now].l].size+1;
            now=fhq[now].r;
        }
    }
    cout<<fhq[now].val<<"\n";
}
void pre(int val)
{
    split(root,val-1,x,y);
    int now=x;
    while(fhq[now].r)
        now=fhq[now].r;
    cout<<fhq[now].val<<"\n";
    root=merge(x,y);
}
void nxt(int val)
{
    split(root,val,x,y);
    int now=y;
    while(fhq[now].l)
        now=fhq[now].l;
    cout<<fhq[now].val<<"\n";
    root=merge(x,y);
}

至于练习题的话，自己上洛谷找吧（逃~

完结撒花！

给个三连吧