实现的复杂度比较：
算法正确性证明.戴克斯特拉本人在他的论文中给出了一份简单的证明。《算法导论》使用循环不变式（数学归纳法）给出了如下的一份证明：
算法起源与历史.戴克斯特拉1956年在荷兰数学和计算机科学研究学会担任程序员时为了展示新型计算机ARMAC的功能曾思考过最短路径问题的解法。他的目标是让不去实际计算的人也能理解这个问题和解决的方法，于是他在发现了这个算法之后在ARMAC上做了简单实验。1959年，他正式将此算法发表在期刊上，该算法也成为了戴