左偏树与森林

专题刷题记录 ： https://www.acwing.com/solution/content/95874/

• 听说pb—ds很不错，喜欢算法库的可爱可以去转去看WC 2015 了

一，理论

高效合并优先队列

• 外节点：只有一个儿子或没有儿子的节点，即左右儿子至少有一个为空节点的节点

• 距离：一个节点到离它最近的外节点的距离，即两节点之间路径的权值和。特别地，外节点的距离为0，空节点的距离为−1

• 左偏树：一种满足左偏性质的堆有序二叉树（左偏树的左偏性质体现在左儿子的距离大于右儿子的距离）

• 左偏树的距离：我们将一棵左偏树根节点的距离作为该树的距离

满足堆的基本性质

• 对于任意节点，左儿子的距离大于右儿子的距离

• 对于任意节点，其距离等于它的右儿子的距离加一

• 对于一棵n个节点的左偏树，其根节点的距离不超过$logN$

• 对于一棵距离为d的左偏树，其节点数不少于$2k+1-1$

二，实现

• dist[idx]= 1; 注意是要初始化不然会死很惨
• dist[x]=dist[r[x]]+1;注意 更新dist！！
• v[0]=INT_MAX;防止出现0被合并的情况

#include <iostream>
#include <cstring>
#include <algorithm>

using namespace std;
const int N = 2e5+9;
int p[N];
int v[N],dist[N],l[N],r[N];
int idx;
int n,x,t;

bool cmp(int x,int y)
{
    if(v[x]!=v[y])return v[x]<v[y];
    else return x<y;
}

int getfa(int x)
{
    if(p[x]==x)return p[x];
    else return p[x]=getfa(p[x]);
}

int merge(int x,int y)
{
    if(x==0||y==0)return x+y;
    if(cmp(y,x))swap(x,y);
    //cmp其实就是<的意思
    r[x]=merge(r[x],y);
    if(dist[l[x]]<dist[r[x]])swap(r[x],l[x]);
    dist[x]=dist[r[x]]+1;  // 注意 更新dist！！
    return x;
}

int main()
{
    scanf("%d", &n);
    v[0]=INT_MAX;
     //防止出现0被合并的情况
    while(n--)
    {
        scanf("%d%d", &t, &x);
        if(t==1)
        {
            v[++idx]=x;
            p[idx]=idx;
            dist[idx]= 1; // 注意是要初始化不然会死很惨
        }
        
        else if(t==2)
        {
            int y;
            scanf("%d", &y);
            int fx= getfa(x);
            int fy= getfa(y);
            if(fx!=fy)
            {
                if(cmp(fy,fx))swap(fx,fy);
                p[fy]=fx;
                fx=merge(fx,fy);
            }
        }
        
        else if(t==3)cout<<v[getfa(x)]<<endl;
        
        else 
        {
            int root;
            root = getfa(x);
            int pr = merge(l[root],r[root]);
            p[root]=pr;
            p[pr]=pr;
        }
    }
    
}