设\(dist[x]\)表示源点到\(x\)的最短路的距离（图中无负环），若对图中任意一条边\((x,y,z)\)满足\(dist[y]≤dist[x]+z\)，那么\(dist\)就是最短路数组证：考虑任意一个点\(a\)，假设找出了一条源点到\(a\)的最短路径{\(x_0,x_1,...,x_n,a\)}，那么显然这条路径上\(x_0\)到任意一个点一定是最