圖的最短路徑的一些截圖

充分性的證明： 需要理解distTo是個記錄某條路徑的長度的數組，如distTo[v]表示s到v的某條路徑的長度，所以需要證明此數組所有值的取值滿足distTo[w]<=distTo[v]+e.weight()時distTo[w]就是e到w最短路徑的長度。找到最短路徑後對此路徑所有點使用distTo[w]<=distTo[v]+e.weight()，疊加計算後可以得出distTo[w]記錄的路徑不

>>阅读原文<<