算法导论 第19章 二项堆

二项树

    和其他树一样，二项树也是递归定义的。如下图，二项树B0只包含一个节点。二项树Bk是由两颗二项树Bk-1连接而成：其中一棵是另外一棵树的根的左孩子。下图展现了二项树B0到B4。

二项树的性质

    对于二项树Bk，有如下性质：

    1、有2^k个节点；

    2、树高为k;

    3、在深度i处，恰好有个节点；

    4、根的度为k，大于任何其他节点的度，并且，其子女从左到右的度一次为k-1.k-2...2.1.0。子女i是子树Bi的根。

二项堆定义

    二项堆H又满足下面两个二项堆性质的二项树组成：

    1、每一棵二项树均满足最小堆性质，即给定的关键字大于或等于其父节点的关键字，这样的二项堆是最小堆，同理也可以定义最大二项堆；

    2、对于任意非负整数k，在H中至多有一颗度为k的树。

其他性质：

    1、对于一个含有n个节点的二项堆，最多含有lgn + 1(向下取整)棵二项树。

    2、包含n个节点二项堆，假设n的二进制形式为<bk.bk-1...b1.b0>，若含有度为i的树，则bi = 1,否则为0；例如含有13个节点的树,其二进制位1101，表示包含节点数为8,4,1，即度为3,2,0的树。

二项堆的表示

    二项堆节点结构

template < typename K, typename V>
struct binomial_heap_node
{//二项树节点
	K key;//键
	V value;//值
	size_t degree = 0;//度
	binomial_heap_node *parent = nullptr;
	binomial_heap_node *leftchild = nullptr;
	binomial_heap_node *sibling = nullptr;
	binomial_heap_node(const K &k, const V &v) :key(k), value(v){}
};

   二项堆的结构，如下图：

可以看出，对于每一棵树的孩子ÿ