迪杰斯特拉算法的证明

 

求V₀到V₈的最短距离：

迪杰斯特拉算法的思想是依次求出距离V₀第1近，第2近…….一直到第8近，也就是从距离V₀最近到最远的点。而每求一个最近距离就修正V₀到剩下点的最短距离。

设A为包含V₀和已经求得最短距离的点，B为A的补集。现在需要证明的是：

从上一次求得的V₀到剩下各点的距离中选出最短的设为V_n，该距离（即V₀V_n）即为所有路径中V₀到V_n的最短路径。其实也是下一个（即除A中点之外）最短距离

证明：只需要证明V₀到V_n的上一个中转站一定带A中。

反证法：假设此点在B中，设为V_n-1，则意思就是V₀V_n-1+V_n-1V_n<此时的V₀V_n,既然如此，那意味着V₀V_n-1<V₀V_n，那意味着V_n-1必然在A中，因为比此时所要求的下一个最小距离V₀V_n短的点都在A中了，而假设是在B中，因此矛盾，证毕。