P3377 【模板】左偏树（可并堆）

左偏树是一个可并堆。它满足堆的性质，并且能够在log的时间下合并两颗左偏树

看大佬博客学习左偏树

_{博客的代码好像过不了洛谷最后一个点，T了，感觉问题出在find()函数上}

定义：
从名字上看，它是一棵树。其实它还是一棵二叉树。它的节点上存4个值：左、右子树的地址，权值，距离。
权值就是堆里面的值。距离表示这个节点到它子树里面最近的叶子节点的距离。叶子节点距离为0。

四个关键的性质：
1.节点的权值小于等于它左右儿子的权值。（小根堆性质）
2.节点的左儿子的距离不小于右儿子的距离。
3.节点的距离等于右儿子的距离+1。
4.一个n个节点的左偏树距离最大为 log(n+1)-1

插入logn，删除 logn

#include <bits/stdc++.h>
using namespace std;
const int N=1e5+10;
int n,m,k;

int tot=1;
int val[N];//每个点的权值
int lson[N],rson[N];//左右儿子
int dist[N];//距离
int fa[N];

int newnode(int v){
    val[tot]=v;
    lson[tot]=rson[tot]=dist[tot]=0;//默认0是空树
    fa[tot]=tot;
    return tot++;
}

int Merge(int x,int y){//合并
    if(!x || !y) return x+y;//当有一颗树是空的
    if(val[x]>val[y] || (val[x]==val[y]&& x>y) )swap(x,y); //节点的权值小于等于它左右儿子的权值
    rson[x]=Merge(rson[x],y);
    if(dist[rson[x]] > dist[lson[x]] )swap(lson[x],rson[x]);//节点的左儿子的距离不小于右儿子的距离。
    fa[x]=fa[lson[x]]=fa[rson[x]]=x;
    dist[x]=dist[rson[x]]+1;//节点的距离等于右儿子的距离+1。
    return x;
}
int find(int x){
    return fa[x]==x?x:fa[x]=find(fa[x]);
}

void Pop(int x){//删除
    val[x]=-1;
    fa[x]=fa[rson[x]]=fa[lson[x]]=Merge(lson[x],rson[x]);
}

int main()
{
    scanf("%d%d",&n,&m);
    tot=1;
    for (int i = 1,x; i <= n; i++) {
       scanf("%d",&x);
       newnode(x);
    }
    for (int i = 1 ,op,x,y; i <= m; i++) {
        scanf("%d%d",&op,&x);
        if(op==1){
            scanf("%d",&y);

            if(val[x]==-1 || val[y]==-1) continue;//说明已经被删掉了 只有被删掉的点的值才被赋值为-1
            int f1=find(x),f2=find(y);
            if(f1!=f2)
                fa[f1]=fa[f2]=Merge(f1,f2);
        }
        else{
            if(val[x]==-1) puts("-1");
            else {
                printf("%d\n", val[find(x)]);
                Pop(find(x));
            }
        }
    }
    return 0;
}