所谓可并堆,顾名思义,就是可以合并的堆。
最常用的堆应该大家都知道,优先队列二叉堆,是吧
可是如果要求把两个堆合并,要怎么做?
一个个数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]);
一直循环这个操作,直到。。。直到?
直到只有一颗子树啊!