斐波那契堆

本文将要介绍的斐波那契堆是一种保有最小堆性质的“森林集合”。和二叉堆一样，他可以用来实现优先队列，而且比二叉堆在某些操作上有更优的时间复杂度。比如插入操作，二叉堆插入一个结点需要从底向上调整堆结构，因此需要O(lgn)的时间，而斐波那契堆则只需要O(1)的时间。下面将会解析斐波那契堆的各个基本操作及其c/cpp实现代码。下面是一个斐波那契堆的结构示意图。除了插入操作，斐波那契堆总是保持着一个性质：每棵树的度数都不一样。

斐波那契堆持有一个双链表，该双链表维护的是一系列树的根结点，称为根链表，且该链表首尾相连。根链表中每一个根结点都可能指向一个双链表中的某一个结点，该链表为其孩子链表。以森林的结构角度来看，斐波那契堆的结构如上图a所示，以指针指向的具体关系角度来看，斐波那契堆的结构如上图b所示。斐波那契堆有一个min指针指向根链表中的最小结点。因为斐波那契堆中每一棵树都具有最小堆性质，因此min指针指向的根结点也是整个斐波那契堆中的最小结点。下面是一个斐波那契堆数据结构的定义。

typedef struct FibonaciNode
{
	int value;
	int mark;
	int num;
	struct FibonaciNode *left;
	struct FibonaciNode *right;
	struct FibonaciNode *parent;
	struct FibonaciNode *child;
} FibonaciNode;

typedef struct FibonaciHeap
{
	FibonaciNode *min;
	int num;
} FibonaciHeap;

其中FibonaciNode为斐波那契堆中一个结点的数据结构定义，其中value为结点的值，mark用来记录结点的一些历史信息，后面会用到，num为该结点的孩子结点数量。FibonaciHeap是斐波那契堆的数据结构定义，其维护一个指向min结点的指针以及记录整个堆的结点数量的num变量。

FibonaciNode中的mark属性记录结点的一些历史信息：

初始化时，mark为none；

当结点从一个根变为另一个根结点的孩子结点时，mark为FALSE；

当结点被删除一个孩子时，mark为TRUE。

当mark为TRUE时，若结点还要被删除一个孩子，则将结点从其父结点中切除，并移植到根链表中。

上述操作都是在删除一个结点的时候对斐波那契堆进行调整时需要使用到的。

1.  斐波那契堆的初始化以及一些辅助操作

// 初始化一个空的斐波那契堆
FibonaciHeap *initFibonaciHeap()
{
	FibonaciHeap *heap = (FibonaciHeap *)malloc(sizeof(FibonaciHeap));
	heap->min = NULL;
	heap->num = 0;
	return heap;
}

下面是一个辅助性操作