Изменения

* если <tex>v \in M_1</tex>, то происходит релаксация ребра <tex>uv</tex>

* если <tex>v \in M_0</tex> и <tex>d_v > d_u + w_{uv}</tex>, то происходит релаксация ребра <tex>uv</tex> и <tex>v</tex> помещается в <tex>M_1^{''}</tex>

Алгоритм заканчивает работу, когда множество <tex>M_1</tex> становится пустым.