间达到formula_97。然而，使用斐波纳契堆进行编程，有时会由于算法常数过大而导致速度没有显着提高。下面是一些戴克斯特拉算法经典实现的复杂度比较：
算法正确性证明.戴克斯特拉本人在他的论文中给出了一份简单的证明。《算法导论》使用循环不变式（数学归纳法）给出了如下的一份证明：
算法起源与历史.戴克斯特拉1956年在荷兰数学和计算机科学研究学会担任程序员时为了展示新型计算机ARMAC的功能曾思考过最短路径问题的解法。他的目标是让不去实际计算的人也能