斐波那契堆

✍ dations ◷ 2025-07-27 15:58:22 #数据结构,堆

斐波那契堆(Fibonacci heap)是计算机科学中树的集合。它比二项堆具有更好的平摊分析性能,可用于实现合并优先队列。不涉及删除元素的操作有O(1)的平摊时间。 Extract-Min和Delete的数目和其它相比,较小时效率更佳。稠密图每次decrease key只要O(1)的平摊时间,和二项堆的O(lg n)相比是巨大的改进。

斐波纳契堆于1984年由Michael L. Fredman与Robert E. Tarjan提出,1987年公开发表。名字来源于运行时分析使用的斐波那契数。

斐波那契堆是由一组最小堆有序树构成的。每个节点的度数为其子节点的数目。树的度数为其根节点的度数。

斐波那契堆中的树都是有根的但是无序。每个节点包含指向父节点的指针和指向任意一个子结点的。x的所有子节点都用双向循环链表链接起来,叫做的子链表。子链表中的每一个节点都有指向它的左兄弟的和右兄弟的。如果节点是仅有的子节点,则。

斐波那契堆中所有树的根节点也用一个双向循环链表链接起来。

使用一个指针指向斐波那契堆中最小元素。

此处示例中使用的编程语言为C

每个结点x的域

//斐波那契结点ADTstruct FibonacciHeapNode {    int key;       //结点    int degree;    //度    FibonacciHeapNode * left;  //左兄弟    FibonacciHeapNode * right; //右兄弟    FibonacciHeapNode * parent; //父结点    FibonacciHeapNode * child;  //第一个孩子结点    bool marked;           //是否被删除第1个孩子};typedef FibonacciHeapNode FibNode;

对于一个给定的斐波那契堆H,可以通过指向包含最小关键字的树根的指针min来访问,这个结点被称为斐波那契堆中的最小结点。如果一个斐波那契堆H是空的,则min = NIL. 在一个斐波那契堆中,所有树的根都通过left和right指针链接成一个环形的双向链表,称为堆的根表。于是,指针min就指向根表中具有最小关键字的结点。

//斐波那契堆ADTstruct FibonacciHeap {    int keyNum;   //堆中结点个数    FibonacciHeapNode * min;//最小堆,根结点    int maxNumOfDegree;   //最大度    FibonacciHeapNode * * cons;//指向最大度的内存区域};typedef FibonacciHeap FibHeap;

创建一个空的斐波那契堆,过程MAKE-FIB-HEAP 分配并返回一个斐波那契堆对象H;

//初始化一个空的Fibonacci HeapFibHeap * FibHeapMake() {    FibHeap * heap = NULL;    heap = (FibHeap *) malloc(sizeof(FibHeap));    if (NULL == heap) {        puts("Out of Space!!");        exit(1);    }    memset(heap, 0, sizeof(FibHeap));    return heap;} //初始化结点xFibNode * FibHeapNodeMake() {    FibNode * x = NULL;    x = (FibNode *) malloc(sizeof(FibNode));    if (NULL == x) {        puts("Out of Space!!");        exit(1);    }    memset(x, 0, sizeof(FibNode));    x->left = x->right = x;    return x;}

插入一个节点

创建一个仅包含一个节点的新的斐波纳契堆,然后执行堆合并。

由于用一个指针指向了具有最小值的根节点,因此查找最小的节点是简单的操作。

简单合并两个斐波纳契堆的根表。即把两个斐波纳契堆的所有树的根首尾衔接并置。

分为三步:

对一个节点的键值降低后,自键值降低的节点开始自下而上的迭代执行下述操作,直至到根节点或一个未被标记(marked)节点为止:

如果当前节点键值小于其父节点的键值,则把该节点及其子树摘下来作为堆的新树的根节点;其原父节点如果是被标记(marked)节点,则也被摘下来作为堆的新树的根节点;如果其原父节点不是被标记(marked)节点且不是根节点,则其原父节点被加标记。

如果堆的新树的根节点被标记(marked),则去除该标记。

把被删除节点的键值调整为负无穷小,然后执行“降低一个节点的键值”算法,然后再执行“删除最小节点”算法。

相关

  • 词性词类(part of speech、PoS、POS)是一个语言学术语,是一种语言中词的语法分类,是以语法特征(包括句法功能和形态变化)为主要依据、兼顾词汇意义对词进行划分的结果。从组合和聚合关
  • 金融海啸name = 'Transport', description = '交通', content = {{ type = 'text', text = [[]] }, { type = 'item', original = 'articulated bus', rule = 'zh-cn:铰接客车;zh-tw
  • 后晋后晋(936年-947年)是中国历史上五代十国时期的一个朝代,从后晋高祖石敬瑭936年灭后唐开国到契丹947年灭后晋一共经历了两个皇帝,总计12年。为与司马氏的晋朝相区别,又别称为石晋
  • 惠廷厄姆迈克尔·斯坦利·惠廷厄姆(英语:Michael Stanley Whittingham,1941年12月22日-),英国化学家,锂离子电池发明者。纽约州立大学旗下宾汉顿大学材料研究所和材料科学与工程项目研究所
  • 头盔盔或称胄、鍪、牟,也称头盔,是具有对头部非一般保护能力的帽。古代盔主要由皮革、棉布、麻布与金属制成,近世亦用树脂或塑胶制成。今日军用盔多采用抗弹纤维制成。民用盔常在人
  • 箱馆坐标:41°46′N 140°44′E / 41.767°N 140.733°E / 41.767; 140.733 函馆市(日语:函館市/はこだてし Hakodate shi */?),旧称箱馆,是一个位于日本北海道南部(道南)渡岛半岛东南
  • 性冷感性功能障碍(英语:Sexual dysfunction、sexual malfunction或sexual disorder,或称性功能紊乱、性障碍),是指任何在人类性反应周期中,导致人们产生心理痛苦的问题:538。该些性反应
  • 皮博迪先生 (梦工厂)皮博迪先生(英语:Mr. Peabody),是梦工厂2014年电影《天才眼鏡狗》的主角之一。他是一只会说话、非常聪明的狗,也是个商业大亨、发明家、科学家、诺贝尔奖得主、美食家、两次奥
  • 佘自强 (医生)佘自强(1950年-2015年6月10日),广东省中医院资深药师,以在广州日报“今日靓汤”栏目和城事特搜“特搜靓汤”栏目介绍汤谱而闻名,并因此获得“岭南汤王”的称号。于2015年6月10日凌
  • 吉安费格利阿奇塔楼吉安费格利阿奇塔楼(Torre dei Gianfigliazzi)是意大利佛罗伦萨的一座大型中世纪塔楼,罗马式建筑风格,位于托纳波尼路1号,现在此处开设酒店。该塔建于中世纪,属于归尔甫派的鲁格里