Присвоим
Для всех отличных от a
присвоим
Пока
Пусть — вершина с минимальным d[v]
Для всех таких, что
если d[u] > d[v] + w[vu] то
изменим