所谓的左偏树,是一种可并堆的实现. 这种数据结构能够支持高效的堆合并,但是不支持查询节点等操作,因此不同于平衡树,它的结构是不平衡的. 左偏树满足如下两条基本性质: 1. 堆的性质 这也就是说左偏树每个节点的值都大于/小于它父节点的值. 2. 对于任意节点,其左儿子距离不小于右儿子距离(左偏性质) 这里需要先引入距离的概念. 一个节点的距离,指它到后代中最近的外节点(儿子数量少于2)所经过的边数. 有了上面两条性质,我们不难证明下面这条性质: 3. 对于任意节点,其距离等于其右儿子距离+1 其正…