图的最短路径的一些截图

充分性的证明：
需要理解distTo是个记录某条路径的长度的数组，如distTo[v]表示s到v的某条路径的长度，所以需要证明此数组所有值的取值满足distTo[w]<=distTo[v]+e.weight()时distTo[w]就是e到w最短路径的长度。找到最短路径后对此路径所有点使用distTo[w]<=distTo[v]+e.weight()，叠加计算后可以得出distTo[w]记录的路径不比最短路径长，所以distTo[w]记录的就是最短路径。