Изменения
→Сохранение кратчайших путей
:<tex>w_\phi(P) = w_\phi(u_0u_1) + w_\phi(u_1u_2) + ... + w_\phi(u_{k-1}u_k) = \phi(u_0) + w(u_0u_1) - \phi(u_1) + ... + \phi(u_{k-1}) + w(u_{k-1}u_k) - \phi(u_k) = \phi(u_0) + w(P) - \phi(u_k)</tex>
:<tex>w_\phiw(P) < w_\phiw(Q)</tex>
:<tex>w_\phi(P) = \phi(a) + w(P) - \phi(b)</tex>
:<tex>w_\phi(Q) = \phi(a) + w(Q) - \phi(b)</tex>
:Отсюда, <tex>ww_\phi(P) < ww_\phi(Q)</tex>
}}
