Изменения
→Псевдокод
<tex>M_2</tex>.add(u)
'''while''' <tex>M_1 ^{'} \neq \varnothing</tex> '''and''' <tex>M_1^{''} \neq \varnothing</tex> ''':'''
'''if''' <tex>M_1^{''} \neq \varnothing</tex> ''':'''
u <tex>\gets</tex> <tex>M_1^{''}</tex>.pop()
'''if''' v <tex>\in M_2</tex> ''':'''
<tex>M_1^{'}</tex>.push(v)
relax(uv, d)
'''if''' v <tex>\in M_1</tex> ''':'''
relax(uv, d)
'''if''' v <tex>\in M_0</tex> '''and''' <tex>d_v > d_u + w_{uv}</tex> ''':'''
<tex>M_1^{''}</tex>.push(v)
relax(uv, d)
<tex>M_0</tex>.add(u)
