这三篇文章主要讲解二项堆、斐波那契堆、Pairing 堆,这三种结构主要用于优先队列的实现。资料主要参考《算法导论》和或互联网。
《算法导论》第19章讲到了二项堆
1.二项堆简介
二项堆是二项堆是由一组二项树组成,在给出二项堆的定义之前,首先我们来定义什么是二项树。
1.1二项树
二项树是一种递归的有序树。定义如下:
1. 二项树B[0]仅仅包含一个节点
2. B[k]是由两棵B[k-1]二项树组成,其中一颗树是另外一颗树的左孩子。
下面(a)是二项树B[k]递归定义,(b)二项树B[0]到B[4],(c)看待二项树的另一种方式:
二项树的性质:
1. 对于树B[k]该树含有2^k个节点;
2. 树的高度是k;
3. 在深度为i中含有Cik节点,其中i = 0, 1,2 ... , k;
4. 根的度数为k,最大,
推论:n节点的二项树,任意节点的最大度数为log(n)
1.2二项堆
二项堆是由一组满足下面的二项树组成:
1. H中的每个二项树遵循最小堆性质(类似小顶堆);
2. 对于任意的整数k的话,在H只存在一个度数是k的二项树;
另外定义:
1. 二项堆的度数定义成子女个数;
2. 定义二项堆的根表是二项树的根节点形成的链表;
2.数据结构
了解了什么二项堆的定义和使用场景之后,我们来看看如何存储二项堆?
首先定义二项堆中每个节点的类型:
1. parent:指向父节点
2. sibling:指向右边的兄弟节点
3. child:定义该节点的子节点
4. degree:定义该节点的度数
5. 其他应用场景中需要的数据
struct heap_node
{
struct heap_node*parent;
struct heap_node*next;