以洛谷 P3377 【模板】左偏树（可并堆） 为例的左偏树

洛谷链接： https://www.luogu.org/problem/P3377

定义

左偏树是一种可并堆的实现。左偏树是一棵二叉树，它的节点除了和二叉树的节点一样具有左右子树指针（left, right）外，还有两个属性： 键值和距离（英文文献中称为s-value）。键值用于比较节点的大小。

下面的是百度百科给出的距离的定义。如果想要严谨的可以参考下面的内容，我感性理解一下就是，没有两个儿子的结点的距离为0，有两个儿子的结点的距离就是 $min(dis[lson],dis[rson])+1$ 。但是由于左偏树候面会讲到的性质（$dis[rson]\le dis[lson]$），所以其实就是$dis[rson]+1$ 。

距离的定义如下：
当且仅当节点 i 的左子树且右子树为空时，节点被称作外节点（实际上保存在二叉树中的节点都是内节点，外节点是逻辑上存在而无需保存。把一颗二叉树补上全部的外节点，则称为extended binary tree）。节点i的距离是节点 i 到它的后代中的最近的外节点所经过的边数。特别的，如果节点 i 本身是外节点，则它的距离为0;而空节点的距离规定为 -1。

性质

1.节点的键值小于或等于它的左右子节点的键值。

2.节点的左子节点的距离不小于右子节点的距离。

3.节点的距离等于它的右子节点的距离加1。

4.一棵$N$个节点的左偏树$root$节点的距离最多为$log(N+1)-1$。

表示性质的话就还是要好好理解，毕竟是环环相扣的。

图表说明

下面是一棵从其他大佬博客那里捞来的左偏树，可以很明显的看出上述的一些性质

下面的是合并操作的过程。

因为左偏树是一个优先队列（下面的图中堆顶是小的数），所以先将两个树根的大小进行比较，以$x$并到$y$树上为例（否则$swap$一下就好了）。如果x的值会小一些，那么就将$x=rson[x]$ 继续比较直到找到一个$val[x]>val[y]$ 的位置，后将 $x$ 和 $y$ 进行交换，后将 $y$ 并到 $x$ 的右子树上。进行距离的判断，如果$dis[rson]>dis[lson]$ ，那么就$swap(lson,rson)$ 即可。

合并操作

int Merge(int x,int y){
    if(!x||!y) return x+y;
    //判断到尽头，儿子为空要返回对应的另一结点
    if(va[x]>va[y]||va[x]==va[y]&&x>y) swap(x,y);
    //如果值x大于y 或者值相同情况下 x的位置在y右边 交换
    rson[x]=Merge(rson[x],y);
    //将y不断地和x的右儿子进行合并
    //将合并后的新的右儿子的父亲边连上
    if(dis[rson[x]]>dis[lson[x]]) swap(rson[x],lson[x]);
    //如果右儿子的dis要大于左儿子 进行交换
    //更新fa
    dis[x]=(rson[x]==0?0:dis[rson[x]]+1);
    //x的dis为其右儿子的dis+1
    //若无右儿子则dis为0
    return x;
}

删除操作

int Delete(int x){
    del[x]=1;
    fa[lson[x]]=lson[x];
    fa[rson[x]]=rson[x];
    int ne=Merge(lson[x],rson[x]);
    fa[x]=ne;
    //将左右子树合并
    //将其儿子进行更新
    return ne;
    //返回的是新的根结点
    //将父亲的fa改成新的根节点
    //使得原来以该点为根的点也进行更新
}

几乎是第一篇真的在解释算法的博客…如果出问题还请见谅请告知，谢谢！。

洛谷 P3377 代码

#include<bits/stdc++.h>
#define rep(i,a,b) for(int i=(int)a;i<=(int)b;i++)
using namespace std;
const int maxn=200005;
int lson[maxn],rson[maxn],va[maxn];
int n,m,op,x,y,dis[maxn],fa[maxn],del[maxn];
int fin(int x){
    return fa[x]==x?x:fa[x]=fin(fa[x]);
}
int Merge(int x,int y){
    if(!x||!y) return x+y;
    //判断到尽头，儿子为空要返回对应的另一结点
    if(va[x]>va[y]||va[x]==va[y]&&x>y) swap(x,y);
    //如果值x大于y 或者值相同情况下 x的位置在y右边 交换
    rson[x]=Merge(rson[x],y);
    //将y不断地和x的右儿子进行合并
    //将合并后的新的右儿子的父亲边连上
    if(dis[rson[x]]>dis[lson[x]]) swap(rson[x],lson[x]);
    fa[lson[x]]=fa[rson[x]]=fa[x]=x;//谨慎添加！！！
    //如果右儿子的dis要大于左儿子 进行交换
    dis[x]=(rson[x]==0?0:dis[rson[x]]+1);
    //x的dis为其右儿子的dis+1
    //若无右儿子则dis为0
    return x;
}
int Delete(int x){
    del[x]=1;
    fa[lson[x]]=lson[x];
    fa[rson[x]]=rson[x];
    int ne=Merge(lson[x],rson[x]);
    fa[x]=ne;
    //将左右子树合并
    //将其儿子进行更新
    return ne;
    //返回的是新的根结点
    //将父亲的fa改成新的根节点
    //使得原来以该点为根的点也进行更新
}

int main(){
    scanf("%d%d",&n,&m);
    rep(i,1,n) scanf("%d",&va[i]),fa[i]=i;
    while(m--){
        scanf("%d",&op);
        if(op==1){
            scanf("%d%d",&x,&y);
            if(del[x]||del[y]) continue;
            x=fin(x),y=fin(y);
            if(x!=y) x=Merge(x,y);
        }
        else if(op==2){
            scanf("%d",&x);
            if(del[x]) {
                printf("-1\n");
                continue;
            }
            x=fin(x);
            printf("%d\n",va[x]);
            Delete(x);
        }
    }
    return 0;
}