左偏树

我们定义节点i为外节点，当且仅当i的左子树或右子树为空。

一个节点的距离为他到他后代中，最近的外节点所经过的边数。

特别的，如果一个节点本身为外节点，则这个节点的距离为0。

一棵子树的距离为这棵子树根节点的距离。（为了方便，可将空节点的距离为-1。)

左偏树的左偏性质即左偏树的每个节点左子节点的距离都不小于右子节点的距离。

//-----------------------------------------------------------------------------------------------

一、左偏树的每个节点的左右子树都是一棵左偏树。

二、节点的距离为他右子节点的距离加1。

//-----------------------------------------------------------------------------------------------

合并：

C ← Merge(A,B) 
将左偏树A ①与左偏树B合并为一棵新的左偏树C为左偏树的合并。

基本的思想是，假设key(A)<key(B)，则将B与A的右子树进行合并，用合并后的左偏树作为A的右子树，这时如果A的右子树的距离大于了左子树则交换A的左右子树，同时更新A的距离。当然，如果A与B其中之一为空，则可直接返回另一棵子树。
由此可见，左偏树的合并操作是递归执行的。

Function Merge(A,B)
  Begin
    If A=Null Then Return(B)
    If B=Null Then Return(A)
    If key(A)>key(B) then Swap(A,B)
    A.Right ← Merge(A.Right,B)
    If A.Right.dis>A.Left.dis Then 
Swap(A.Right,A.Left)
    If A.Right=Null Then A.dis ← 0 
                    Else A.dis ← A.Right.dis+1
    Return(A)
  End.

//-----------------------------------------------------------------------------------------------

插入：

  因为单节点的树一定是一个左偏树，所以节点的插入可以看作两棵左偏树的合并。
  下面是插入操作的框架：

Function Insert(x,A)
 Begin
   B ← MakeTree(x)
   A ← Merge(A,B)
 End

//-----------------------------------------------------------------------------------------------

//HDU 1512
#include<iostream>
#include<cstdio>
using namespace std;
const int M=100010;
struct Tree
{
	int l,r;
	int v,f;
	int dis;
}t[M];

int n,m;

inline int find(int x)
{
	return x==t[x].f?x:find(t[x].f);
}

inline int merge(int a,int b)
{
	if(a==-1)return b;
	if(b==-1)return a;
	if(t[a].v<t[b].v)swap(a,b);
	t[a].r=merge(t[a].r,b);
	t[t[a].r].f=a;
	if(t[t[a].l].dis<t[t[a].r].dis)swap(t[a].l,t[a].r);
	if(t[a].r==-1)t[a].dis=0;
	else t[a].dis=t[t[a].r].dis+1;
    return a;
}

inline int pop(int a)
{
	int l=t[a].l;
	int r=t[a].r;
	t[l].f=l;
    t[r].f=r;
    t[a].l=t[a].r=-1;
    t[a].dis=0;
    return merge(l,r);
}

int main()
{
	while(~scanf("%d",&n))
	{
		for(int i=1;i<=n;++i)
		{
			t[i].f=i;
			scanf("%d",&t[i].v);
			t[i].l=t[i].r=-1;
			t[i].dis=0;
		}
		scanf("%d",&m);
		while(m--)
		{
			int a,b;
			scanf("%d %d",&a,&b);
			int x=find(a);
			int y=find(b);
			if(x==y)printf("-1\n");
			else
			{
                t[x].v>>=1;
                int u=pop(x);
                u=merge(u,x);
                
                t[y].v>>=1;
                int v=pop(y);
                v=merge(v,y);
                printf("%d\n",t[merge(u,v)].v);
			}
		}
	}
	return 0;
}