Изменения

Перейти к: навигация, поиск

Алгоритм Дейкстры

343 байта добавлено, 01:25, 15 октября 2011
Обоснование корректности
== Обоснование корректности ==
Пусть <tex>p(u, v)</tex> — длина кратчайшего пути из вершины <tex>u</tex> в вершину <tex>v</tex>. Докажем по индукции, что в момент посещения любой вершины <tex>u</tex>, <tex>d(u)=p(s,u)</tex>, где <tex>s</tex> - стартовая вершина.
== Оценка сложности ==
304
правки

Навигация