首页/论文/0812.2851

arXiv 0812.28512008-12cs.DS

违规堆：一个放松的Fibonacci类堆

The Violation Heap: A Relaxed Fibonacci-Like Heap

Amr Elmasry

备注：: 10 pages

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们给出了一个优先级队列，实现了与斐波那契堆相同的摊销界限。也就是说，find-min需要O（1）的最坏情况时间，insert，meld和decrease-key需要O（1）的摊销时间，delete-min需要$O(\log n)$摊销时间。我们的结构是简单的，并承诺一个有效的实际行为相比，其他已知的Fibonacci类堆。我们构造的主要思想是传播秩更新，而不是在decrease键操作之后执行级联切割，从而实现宽松的结构。

英文摘要：

We give a priority queue that achieves the same amortized bounds as Fibonacci heaps. Namely, find-min requires O(1) worst-case time, insert, meld and decrease-key require O(1) amortized time, and delete-min requires $O(\log n)$ amortized time. Our structure is simple and promises an efficient practical behavior when compared to other known Fibonacci-like heaps. The main idea behind our construction is to propagate rank updates instead of performing cascaded cuts following a decrease-key operation, allowing for a relaxed structure.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

分层堆在实践中击败标准堆和Fibonacci堆

Layered Heaps Beating Standard and Fibonacci Heaps in Practice

我们考虑设计堆的经典问题。标准的二进制堆在实践中比斐波那契堆运行得更快，但时间保证较差。在这里，我们提出了一种新类型的堆，分层堆，在实践中运行速度比标准的二进制和斐波那契堆，但渐近插入时间优于二进制堆。我们的堆是递归定义的，当使用递归深度1时，即堆的堆，运行时间加速最大。

2015-10-12cs.DS

自适应Fibonacci和配对堆

Adaptive Fibonacci and Pairing Heaps

本文简要介绍了两种自适应堆数据结构和运行时间说明。

2020-03-09cs.DS

Fibonacci堆中标记位的随机性替换

Replacing Mark Bits with Randomness in Fibonacci Heaps

斐波那契堆是一种确定性的数据结构，它实现了具有最佳摊销操作成本的优先级队列。斐波那契堆的一个不幸的方面是，它们必须维护一个“标记位”，这只用于确保堆操作的效率，而不是正确性。Karger提出了斐波那契堆的一个简单的随机变体，其中标记位被硬币翻转所取代。此变体仍然具有插入、减少键和合并的预期摊销成本$O(1)$。Karger解释说，该数据结构预期delete-min的摊销成本为$O(\log s)$，其中$s$是堆操作的数量。我们给出了一个严格的分析Karger的随机斐波那契堆，解决Karger的猜想。具体来说，我们得到匹配的上，下界的$Θ(\log^2 s / \log \log s)$的delete-min的运行时。我们还证明了一个紧的下界的$Ω(\sqrt{n})$ delete-min的堆元素的数量$n$。用于证明此界限的请求序列也解决了Fredman关于级联切割是否必要的公开问题。最后，我们对这些堆进行了一个简单的附加修改，它为delete-min生成了一个紧凑的运行时$O(\log^2 n / \log \log n)$。

2015-02-18cs.DS

再论斐波那契堆

Fibonacci Heaps Revisited

斐波那契堆是一个经典的数据结构，它支持在对数摊销时间内执行删除操作，并支持在O（1）摊销时间内执行所有其他堆操作。我们探索这种数据结构的设计空间。我们提出了一个版本，与原来的以下改进：（i）每个堆是由一个单一的堆排序树，而不是一组树。(ii)每个减键操作只进行一次切割和一系列等级变化，而不是进行一系列切割。(iii)由算法完成的所有比较的结果都明确地表示在数据结构中，因此没有浪费。通过一个例子说明，在没有级联剪切或秩变化的情况下，原数据结构和新版本都不能达到预期的效率，解决了Fredman的一个公开问题.最后，我们说明了丰富的设计空间，提出了几种替代方法来做级联排名的变化，包括一个随机化的策略，以前提出的卡格。我们把对这些替代方案的分析作为有趣的开放问题。

2014-07-22cs.DS

最坏情况扩展的快速Fibonacci堆

Fast Fibonacci heaps with worst case extensions

我们专注于减少堆的开销，基于与最佳最坏情况行为的比较。本文的灵感来自严格斐波那契堆[1]，其中G. S. Brodal，G. Lagogiannis，和R. E. Tarjan用DecreaseKey和Meld接口在渐近最优的最坏情况下实现了堆（基于键比较）。在文献[2]中，详细阐述了这些思想，并表明可以用从先前比较中丢失更少信息的策略来实现相同的渐近时间。在这些堆中，违规列表的重复会产生很大的开销。我们提出了简单的替代减少这种开销。它允许我们实现快速摊销的斐波那契堆，用户可以在变体中调用一些方法，以避免最坏情况的时间。如果他这样做，堆不会被转换为Fibonacci，直到调用方法的摊销版本。当然，我们可以一直调用最坏情况下的版本，但是由于保证会产生开销，如果我们不关注单独操作的复杂性，那么调用摊销版本是首选。我们已经展示了，我们可以实现完整的DecreaseKey-Meld接口，但是Meld接口对于这些堆来说并不自然，所以如果不需要Meld，那么简单的实现就足够了。由于我不知道需要融合的应用程序，我们将集中在noMeld变体上，但我们将展示这些更改也可以应用于融合，包括变体。文献[1]、[2]表明堆可以在指针机模型上实现。对于快速的实际实现，我们宁愿使用数组。我们的目标是减少指针操作的数量。通过指向秩列表的指针来维护秩将是不必要的开销。

2019-11-25cs.DS

Padovan堆

Padovan heaps

我们分析了Fibonacci族的优先队列。本文受Violation heap [1]的启发，其中A. Elmasry保存一个指针来表示Fibonacci堆节点，同时实现与M的Fibonacci堆[2]相同的摊销边界。L. Fredman和R. E.塔扬不幸的是，作者强迫堆很宽，这违背了最佳堆原则。我们的目标是实现相同的结果，但堆要窄得多。我们遵循超级比较的原则，所以我们试图记住所有比较的结果，并且从不比较不能最小的元素。我们尽可能地推迟比较。其实我一直想分享超昂贵的比较原理的想法，帕多万堆的发现让我这样做。当然，节省一个指针并不是一个很大的目标，但是我希望所给出的推理和对结果堆的摊还分析值得发表。

2019-02-27cs.DS

更多相关论文收起更多论文

Dijkstra算法使用Fibonacci堆、二叉堆和自平衡二叉树的比较

A Comparison of Dijkstra's Algorithm Using Fibonacci Heaps, Binary Heaps, and Self-Balancing Binary Trees

本文描述了加权图中的最短路径问题，并研究了使用Dijkstra算法与Fibonacci堆，二叉堆和自平衡二叉树时发生的效率差异。使用这些算法变体的C++实现，我们发现最快的方法并不总是具有最低渐近复杂度的方法。对此原因进行了讨论，并与经验证据支持。

2023-03-21cs.DSmath.CO

改进的配对堆上界

Improved Upper Bounds for Pairing Heaps

配对堆被证明有固定的摊销时间插入和合并，从而表明配对堆有相同的摊销运行时间的斐波那契堆的所有操作，但减少键。

2014-01-22cs.DS

可选堆与最优惰性搜索树

Selectable Heaps and Optimal Lazy Search Trees

我们证明了有效优先队列的$O(\log n)$时间提取最小函数可以推广到$O(k \log(n/k))$时间内$k$最小元素的提取（我们定义$\log(x)$为$\max(\log_2(x), 1)$ .），我们证明最优的比较为基础的优先级队列与$o(\log n)$时间插入。我们展示了堆排序树选择（Kaplan等人，SOSA '19）可以分别在$O(k \log(n/k))$摊销时间和最坏情况时间下应用于经典Fibonacci堆和Brodal队列的堆序树。我们还显示了删除$k$元素或选择而不提取可以在两个堆上执行，也是在$O(k \log(n/k))$时间。令人惊讶的是，所有的操作都是可能的，而不需要修改原始的Fibonacci堆和Brodal队列数据结构。然后，我们将结果应用于惰性搜索树（Sandlund & Wild，FOCS '20），创建一个基于可选堆的新间隔数据结构。这给出了最佳的$O(B+n)$时间惰性搜索树性能，将插入间隙$Δ_i$的复杂度从$O(\log(n/|Δ_i|) + \log \log n)$时间降低到$O(\log(n/|Δ_i|))$时间。当用作优先级队列以及其它情况时，也可以进行$O(1)$时间合并操作。如果使用Brodal队列，则可以使惰性搜索树的所有运行时都是最坏情况。

2022-01-10cs.DS

空心堆

Hollow Heaps

我们引入空心堆，一个非常简单的数据结构，具有与经典斐波那契堆相同的摊销效率。除了delete和delete-min之外，所有堆操作都需要$O(1)$时间，最坏情况下也需要分摊时间;在$n$项堆上，delete和delete-min需要$O(\log n)$分摊时间。空心堆是迄今为止实现这一目标的最简单的结构。空心堆结合了两个新颖的想法：使用惰性删除和重新插入来进行减键操作，以及使用dag（有向无环图）代替树或树集来表示堆。惰性删除会产生空心节点（没有项的节点），从而为数据结构命名。

2015-10-22cs.DS

基于任务的Fibonacci堆增强轮廓树

Task-based Augmented Contour Trees with Fibonacci Heaps

本文提出了一种新的算法，用于快速，共享内存，多核计算的增广轮廓树的三角剖分。与大多数现有的并行算法相比，我们的技术计算增强树，使全范围的轮廓树为基础的应用程序，包括数据分割。我们的方法完全重温传统的，顺序的轮廓树算法重新制定的所有步骤的计算作为一组独立的本地任务。这包括一个新的计算过程的基础上，斐波那契堆的连接和分裂树，两个中间数据结构用于计算的轮廓树，其建设有效地进行了并行的动态调度任务。我们还介绍了一个新的并行算法，这两个树的组合成输出的全球轮廓树。总体而言，得益于OpenMP任务运行时，这在实践中实现了卓越的时间性能，无论是在顺序还是并行模式下。我们报告的性能数字，比较我们的方法，以参考顺序和多线程实现的增强合并和轮廓树的计算。这些实验证明了我们的方法的运行时的效率和其在常见的工作站上的可扩展性。我们证明了我们的方法在数据分割应用程序的实用性。

2019-02-13cs.CGcs.DCcs.DM

请小心使用简单nonMeld变体的最差情况DecreaseKey堆

Information carefull worstcase DecreaseKey heaps with simple nonMeld variant

我们分析了优先级队列，包括其接口中的DecreaseKey方法。本文的灵感来自严格斐波那契堆[2]，其中G. S. Brodal，G. Lagogiannis，和R. E. Tarjan用DecreaseKey和Meld接口在渐近最优的最坏情况下实现了堆（基于键比较）。在论文的最后，提到了其他结构特性的可能变体，这些结构特性违反了他们在分析中使用的规则。在主要变型中，在违规减少步骤期间浪费了大量信息。我们的目标是专注于其他变量，并发明自然的策略，而不会损失太多的信息价值。换句话说，我们试图从中选择一个符合超昂贵的比较原则尽可能。这个原理在我自己的[5]中描述过，但在出版后，我在H.卡普兰河E. Tarjan和U.兹维克

2019-11-11cs.DS

为什么有些堆支持常数摊销时间减少键操作，而有些堆不支持

Why some heaps support constant-amortized-time decrease-key operations, and others do not

一个下界表明，一类堆算法的指针模型中，只有堆指针必须花费欧米茄（日志n /日志n）摊销时间上的减少键操作（给定O（日志n）摊销时间提取分钟）。直观地说，这个界限显示了O（1）-time decrease的关键-关键是在O（log n）时间内排序O（log n）项的能力; Fibonacci堆[M. L. Fredman和R. E.塔扬J. ACM 34（3）：596-615（1987）]通过使用桶排序来实现这一点。我们的下限也保持无论有多少数据被增强;这是相对于Fredman的下限[J. ACM 46（4）：473-501（1999）]，其显示了增强位的数量和decrease-key的摊销成本之间的权衡。提出了一种新的堆数据结构--排序堆。这个堆是Elmasry堆的简化[SODA 2009：471-476]，并与它共享一个O（log log n）摊销时间减少键，但有一个简单的实现，这样我们的下限就成立了。因此，一个自然的模型，提出了一个基于指针的堆，使摊销的运行时间的自调整结构和摊销的下降键的渐近下界不同，但O（日志n）的因素。

2013-07-16cs.DS

一种新的非负权图单源最短路径算法

A New Single-Source Shortest Path Algorithm for Nonnegative Weight Graph

单源最短路问题是图算法研究领域的经典问题。提出了一种新的非负权图单源最短路径算法。该算法可以将多轮Fibonacci堆操作压缩到一轮，相对于Dijkstra使用Fibonacci堆的算法节省运行时间。该算法的时间复杂度在最坏情况下也是O（m+nlogn），其中m是边数，n是节点数。然而，在某些情况下，例如，当一个图的边的权重都是相同的，最长的最短路径的跳数是远远小于n的边界可以是线性的。基于理论分析，我们证明了该算法是快速的Dijkstra的算法使用Fibonacci堆在平均情况下，当n是足够大的。

2015-10-15cs.DMcs.DSmath.MG