Изменения
Нет описания правки
{{Теорема
|statement=
Пусть <tex>G = (V, E)</tex> - — ориентированный взвешенный граф, вес рёбер которого неотрицателен, <tex>s</tex> - — стартовая вершина.
Тогда после выполнения алгоритма Дейкстры <tex>d(u) = \rho(s, u)</tex> для всех <tex>u</tex>, где <tex>\rho(s, u)</tex> — длина кратчайшего пути из вершины <tex>s</tex> в вершину <tex>u</tex>
|proof=
