左偏树

定义

左偏树是一种可并堆的实现。左偏树是一棵二叉树，它的节点除了和二叉树的节点一样具有左右子树指针外，还有两个属性： 键值和距离。

键值用于比较节点的大小。

当且仅当节点 i 的左子树且右子树为空时，节点被称作外节点（实际上保存在二叉树中的节点都是内节点，外节点是逻辑上存在而无需保存。把一颗二叉树补上全部的外节点，则称为extended binary tree）。节点i的距离是节点 i 到它的后代中的最近的外节点所经过的边数。特别的，如果节点 i 本身是外节点，则它的距离为0;而空节点的距离规定为 -1。

性质

1、节点的权值小于等于它左右儿子的权值。（小根堆性质）

2、节点的左儿子的距离不小于右儿子的距离。

3、节点的距离等于右儿子的距离+1。

4、一个n个节点的左偏树距离最大为 log(n+1)-1

合并

1. 假设 A的根节点小于等于 B的根节点（否则交换 A,B），把 A的根节点作为新树 C的根节点，合并 A的右子树和 B。

2. 合并了 A的右子树和 B后， A的右子树的距离可能会变大，当 A的右子树的距离大于A的左子树的距离时，不符合性质2，所以要交换A的右子树和左子树。

3. 因为A的右子树的距离可能会变，所以要更新A的距离=右儿子距离+1。

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);

    son[x][1]=merge(son[x][1],y);

    fa[son[x][1]]=x;

    if(dis[son[x][0]]<dis[son[x][1]]) 
        swap(son[x][0],son[x][1]);

    dis[x]=dis[son[x][1]]+1;

    return x;
}