知识点 - 左偏树

知识点 - 左偏树

解决问题类型：

左偏树，一种可以合并的堆状结构，支持$insert/remove/merge$等操作。稳定的时间复杂度在$\Theta (logn)$的级别。对于一个左偏树中的节点，需要维护的值有$dist$ 和 $value$。其中value不必多说，$dist$记录这个节点到它子树里面最近的叶子节点的距离，叶子节点距离为0。

首先，他有以下几个喜闻乐见的性质：

• 一个节点的$value$必定（或小于）左、右儿子的$value$（堆性质）
• 一个节点的左儿子的$dist$不小于右儿子的$dist$（左偏性质）
• 一个节点的距离始终等于右儿子+1

那么这就可以推出以下性质：

• 推论：任何时候，节点数为n的左偏树，距离最大为$log(n+1)-1$

复杂度：

单次操作 $O(logN)$

例题

一开始有N个小根堆，每个堆包含且仅包含一个数。接下来需要支持两种操作：

操作1： 1 x y 将第x个数和第y个数所在的小根堆合并（若第x或第y个数已经被删除或第x和第y个数在用一个堆内，则无视此操作）

操作2： 2 x 输出第x个数所在的堆最小数，并将其删除（若第x个数已经被删除，则输出-1并无视删除操作）

代码

#include<bits/stdc++.h>
using namespace std;
const int mxn=1e5+10;
int n,m;
int f[mxn],v[mxn],ch[mxn][2],dis[mxn]; 
int get(int x){//不用路径压缩,不赋初值，所以他祖先没有父亲(为0 
    while(f[x])x=f[x];//一直找,直到这个节点没父亲即为祖先 
    return x;
}
int merge(int x,int y){//返回值为编号，是直接父亲的编号 
    if(x==0||y==0)return x+y;
    if(v[x]>v[y]||(v[x]==v[y]&&x>y))swap(x,y);
    ch[x][1]=merge(ch[x][1],y);
    f[ch[x][1]]=x;
    if(dis[ch[x][0]]<dis[ch[x][1]])swap(ch[x][1],ch[x][0]);//维持左偏性质 
    dis[x]=dis[ch[x][1]]+1;return x;
    //因为是左偏树,所以右边的深度要小,左边深度要大
    //所以维护距离时,以右儿子为标准统计深度 
}
void pop(int x){
    v[x]=-1;
    f[ch[x][0]]=f[ch[x][1]]=0;
    merge(ch[x][0],ch[x][1]);
}
int main(){
    scanf("%d%d",&n,&m);
    dis[0]=-1;
    for(int i=1;i<=n;i++)scanf("%d",&v[i]);
    for(int i=1;i<=m;i++){
        int opt;
        scanf("%d",&opt);
        if(opt==1){
            int x,y;
            scanf("%d%d",&x,&y);
            if(v[x]==-1||v[y]==-1)continue;//有一个节点被删除惹
            int fx=get(x),fy=get(y);
            if(fx==fy)continue;//本来就在一个堆里
            merge(fx,fy);
        }
        else{
            int x;
            scanf("%d",&x);
            if(v[x]==-1)puts("-1");
            else{
                int fx=get(x);
                printf("%d\n",v[fx]);
                pop(fx);
            }
        }
    } 
}