這道題看到支援合併操作就知道是啟發式合併，就去學了一下左偏樹，左偏樹，顧名思義就是樹是向左偏的，實質上是一個堆，我們只需對一個節點維護一個權值，這個權值等於其右兒子的權值加一，一旦發現左兒子的該權值比右兒子小就交換左右兒子，這樣就能保證樹的左偏性，當合並兩顆左偏樹的時候，我們先找出根節點權值較小的一個，然後將另一個插入到其右節點即可，並在回溯的過程中維護一下左偏性，這個過程雖然看起來比較麻煩，但是實際上的程式碼只需要一個簡短的遞迴即可，下面附上這道題左偏樹的程式碼

#include<cstdio>
#include<cstdlib>
#include<iostream>
 

#include<iomanip>
#include<ctime>
#include<cmath>
#include<cstring>
#include<string>
#include<algorithm>
using namespace std;
struct left_tree
{
    left_tree *ls,*rs;
    int key,h,pos;
    left_tree(int _,int __);
}*null=new left_tree(0,0),*tree[1000001];
left_tree :: left_tree(int
 
 _,int __)
{
    key=_,pos=__;
    ls=rs=null;
    h=null?0:-1;
}
left_tree* my_merge(left_tree *x,left_tree *y)
{
    if(x==null) return y;
    if(y==null) return x;
    if(x->key>y->key) swap(x,y);
    x->rs=my_merge(x->rs,y);
    if(x->ls->h<x->rs->h) swap(x->ls,x->rs);
    x->h=x->rs->h+1
 
;
    return x;
}
int f[1000001];
int find_fa(int x)
{
    if(!f[x] || f[x]==x) return f[x]=x;
    else return f[x]=find_fa(f[x]);
}
bool dead[1000001];
int main()
{
    int n;
    scanf("%d",&n);
    for(int i=1;i<=n;i++)
    {
        int x;
        scanf("%d",&x);
        tree[i]=new left_tree(x,i);
    }
    int m;
    scanf("%d",&m);
    for(int i=1;i<=m;i++)
    {
        char s[5];
        scanf("%s",s);
        if(s[0]=='M')
        {
            int x,y;
            scanf("%d%d",&x,&y);
            if(dead[x] || dead[y]) continue;
            int o=find_fa(x);
            int p=find_fa(y);
            if(o!=p)
            {
                f[o]=p;
                tree[p]=my_merge(tree[o],tree[p]);
            }
        }
        else
        {
            int x;
            scanf("%d",&x);
            if(dead[x]) printf("0\n");
            else
            {
                int o=find_fa(x);
                dead[tree[o]->pos]=true;
                printf("%d\n",tree[o]->key);
                tree[o]=my_merge(tree[o]->ls,tree[o]->rs);
            }
        }
    }
    return 0;
}

另類題解：
不就是要支援合併的堆嗎，找個能合併的STL不就行了嗎，於是我們想到了STL pd_ds裡的paring_heap，這樣這道題在強大的pd_ds面前就變成了一道語法練習題。。。

#include<cstdio>
#include<cstdlib>
#include<cmath>
#include<ctime>
#include<algorithm>
#include<iostream>
#include<iomanip>
#include<cstring>
#include<string>
#include<ext/pb_ds/priority_queue.hpp>
using namespace std;
struct point
{
    int num,v;
    bool operator < (point b) const{
        return v>b.v;
    }
    point(int numm,int vv):num(numm),v(vv){}
};
__gnu_pbds::priority_queue<point> q[1000001];
int f[1000001];
int find_fa(int x)
{
    if(x==f[x] || !f[x]) return f[x]=x;
    else return f[x]=find_fa(f[x]);
}
bool pd[1000001];
char s[10];
int main()
{
    int n;
    scanf("%d",&n);
    for(int i=1;i<=n;i++)
    {
        int x;
        scanf("%d",&x);
        q[i].push(point(i,x));
    }
    int m;
    scanf("%d",&m);
    for(int i=1;i<=m;i++)
    {
        scanf("%s",s);
        if(s[0]=='M')
        {
            int l,r;
            scanf("%d%d",&l,&r);
            if(pd[l] || pd[r]) continue;
            int o=find_fa(l);
            int p=find_fa(r);
            if(o!=p)
            {
                f[o]=p;
                q[p].join(q[o]);
            }
        }
        if(s[0]=='K')
        {
            int x;
            scanf("%d",&x);
            if(pd[x]) printf("0\n");
            else
            {
                int o=find_fa(x);
                pd[q[o].top().num]=true;
                printf("%d\n",q[o].top().v);
                q[o].pop();
            }
        }
    }
    return 0;
}