Изменения
→Корректность алгоритма Беллмана-Форда
'''return''' <tex> \mathit true </tex>
==Корректность алгоритма Форда-Беллмана-Форда==
{{Лемма
|statement=Пусть <tex>G = (V, E) </tex> — взвешенный ориентированный граф, <tex> s </tex> — стартовая вершина. Тогда после завершения <tex> \mid V[G] \mid - 1 </tex> итераций цикла для всех вершин, достижимых из <tex>s</tex>, выполняется равенство <tex> d[v] = \delta (s, v) </tex>.
