【左偏树】HDU1512-Monkey King

【题目大意】

在一个森林里住着N(N<=10000)只猴子。在一开始，他们是互不认识的。但是随着时间的推移，猴子们少不了争斗，但那只会发生在互不认识(认识具有传递性)的两只猴子之间。争斗时，两只猴子都会请出他认识的猴子里最强壮的一只(有可能是他自己)进行争斗。争斗后，这两只猴子就互相认识。每个猴子有一个强壮值，但是被请出来的那两只猴子进行争斗后，他们的强壮值都会减半(例如10会减为5，5会减为2)。现给出每个猴子的初始强壮值，给出M次争斗，如果争斗的两只猴子不认识，那么输出争斗后两只猴子的认识的猴子里最强壮的猴子的强壮值，否则输出 -1。

【思路】

左偏树裸题，一开始一只猴子就是一棵左偏树，然后每次打架先将堆顶删除，力量值减半插入回原来的堆，再合并两个堆，最后输出堆顶即可。

关于左偏树，看这个PPT。

 #include<iostream>
 #include<cstdio>
 #include<cstring>
 #include<algorithm>
 using namespace std;
 const int INF=0x7fffffff;
 const int MAXN=+;
 struct node
 {
     int key,dis;
     int lson,rson;
     int father;
 };
 node ltree[MAXN];
 int n;

 void build(int x,int k)
 {
     ltree[x].key=k;
     ltree[x].father=x;
     ltree[x].lson=ltree[x].rson=;
     ltree[x].dis=(x==)?-:;
 }

 int find(int x)
 {
     if (ltree[x].father==x) return x;
         else return(find(ltree[x].father));
 }

 int merge(int x,int y)
 {
     if (x==) return y;
     if (y==) return x;
     if (ltree[x].key<ltree[y].key) swap(x,y);
     ltree[x].rson=merge(ltree[x].rson,y);
     int &l=ltree[x].lson,&r=ltree[x].rson;
     ltree[l].father=ltree[r].father=x;
     if (ltree[l].dis<ltree[r].dis) swap(l,r);
     if (r==) ltree[x].dis=;
         else ltree[x].dis=ltree[r].dis+;
     return x;
 }

 int del(int rt)
 {
     int l=ltree[rt].lson;
     int r=ltree[rt].rson;
     ltree[l].father=l;
     ltree[r].father=r;
     ltree[rt].dis=ltree[rt].lson=ltree[rt].rson=;
     return merge(l,r);
 }

 int solve(int x,int y)
 {
     ltree[x].key>>=;
     ltree[y].key>>=;
     int left,right;
     left=del(x);
     right=del(y);
     left=merge(left,x);
     right=merge(right,y);
     left=merge(left,right);
     return ltree[left].key;
 }

 void init()
 {
     for (int i=;i<=n;i++)
     {
         int strong;
         scanf("%d",&strong);
         build(i,strong);
     }
     build(,);
 }

 void get_ans()
 {
     int q;
     scanf("%d",&q);
     for (int i=;i<q;i++)
     {
         int x,y;
         scanf("%d%d",&x,&y);
         int fx=find(x),fy=find(y);
         if (fx==fy) cout<<-<<endl;
             else cout<<solve(fx,fy)<<endl;
     }
 }

 int main()
 {
     while (scanf("%d",&n)!=EOF)
     {
         init();
         get_ans();
     }
     return ;
 }