左偏树/斜堆——可并堆详解

所谓可并堆，顾名思义，就是可以合并的堆。
最常用的堆应该大家都知道，优先队列二叉堆，是吧
可是如果要求把两个堆合并，要怎么做？
一个个数pop提取出来然后再重新构造一个堆？
显然这种方法太暴力了..
有了可并堆，这个问题就可以被完美的解决了=V=
可并堆定义：

可并堆(Mergeable Heap)也是一种抽象数据类型，它除了支持优先队列的三个基本操作(Insert, Minimum, Delete-Min)，还支持一个额外的操作——合并操作：
H ← Merge(H1,H2)
Merge( ) 构造并返回一个包含H1和H2所有元素的新堆H。

以上抄摘自《算法合集之<左偏树的特点及其应用>》
那么问题来了 左偏树是什么？它拥有什么样的性质可以快速的合并呢？
好吧我先继续抄摘一段

左偏树(Leftist Tree)是一种可并堆的实现。左偏树是一棵二叉树，它的节点除了和二叉树的节点一样具有左右子树指针( left, right )外，还有两个属性：键值和距离(dist)。键值上面已经说过，是用于比较节点的大小。距离则是如下定义的：
节点i称为外节点(external node)，当且仅当节点i的左子树或右子树为空 ( left(i) = NULL或right(i) = NULL )；节点i的距离(dist(i))是节点i到它的后代中，最近的外节点所经过的边数。特别的，如果节点i本身是外节点，则它的距离为0；而空节点的距离规定为-1 (dist(NULL) = -1)。在本文中，有时也提到一棵左偏树的距离，这指的是该树根节点的距离。

首先我们来说一下左偏树的构造，他满足堆性质。简单来说，姜还是老的辣，权值还是老爹大。。
当然我们考虑小根堆的话权值是父节点较小，可以理解。
接下来有一个 普通堆没有的性质
左偏：左儿子的深度大于右儿子的深度
注意，这里的深度指的是他到他最下面一个小辈的距离，而不是到最上面的祖先。
。。原文里有一些没什么卵用的引理和性质我就不说了，显得冗余，看着都烦

接下来我们考虑两个堆的合并。
我们如果要合并 A和B两颗左偏树，我们只要把A的右子树去和B合并。然而我们必须要维护左偏树的性质，所以如果当合并后我们发现A的左儿子深度比右儿子小了，则交换左右儿子

if(dist[p[x].l]<dist[p[x].r])             swap(dist[p[x].l],dist[p[x].r]);

一直循环这个操作，直到。。。直到？
直到只有一颗子树啊！