最短路性质
在图 G G G中,记 ( v i , v j ) k (v_i,v_j)_k (vi,vj)k为点 v i , v j v_i, v_j vi,vj之间的第 k k k条路径, ∣ ( v i , v j ) k ∣ |(v_i,v_j)_k| ∣(vi,vj)k∣为点 v i , v j v_i, v_j vi,vj之间沿着第 k k k条路径的权和。设从点 v 0 v_0 v0到点 v n v_n vn之间的最短路径 ( v 0 , v n ) k 0 (v_0,v_n)_{k_0} (v0,vn)k0为
v 0 → . . . → v n , v_0 \rightarrow ... \rightarrow v_n, v0→...→vn, v i , v j v_i, v_j vi,vj是路径中的两点,则有
∣ ( v i , v j ) k 0 ∣ = min ∀ k ∣ ( v i , v j ) k ∣ , |(v_i, v_j)_{k_0}| = \min_{\forall k}|(v_i, v_j)_k|, ∣(vi,vj)k0∣=∀kmin∣(vi,