Изменения
→Реализация
   <tex>Q \leftarrow V[G] </tex>
   <tex>while</tex> <tex> Q \neq \emptyset </tex>
      <tex>do</tex> <tex>u \leftarrow \text{EXTRACTextract-MINmin}(Q) </tex>
         <tex>for</tex> <tex> v \in Adj[u] </tex>
            <tex>do</tex> <tex>if</tex> <tex>v \in Q</tex> и <tex>key[v] > \omega(u, v) </tex>
               <tex>then</tex> <tex> p[v] \leftarrow u </tex>
                    <tex>key[v] \leftarrow \omega(u, v)</tex>
                    <tex>\text{DECREASEdecrease-KEYkey}(Q, v) </tex>
Ребра дерева восстанавливаются из его неявного вида после выполнения алгоритма.
