Kantengewichteter Graph – die Zahlen an den Kanten sind die Gewichte
IndexMinPQ pq – oben der Heap (pq[Position] = Knoten), unten das Zusatzarray qp[] (Knoten → Position, −1 = nicht drin):
visit(v) läuft im Baum (marked) in pq, mit seiner besten Kante (rot) Kante im minimalen Spannbaum dick rot: kleinste in pq, kommt als Nächstes dazu Kante wird geprüft
Java (eigene Fassung, nach Algorithmus 4.7, Listing 4.24)

    

      
Ausgabe von main()

      
Protokoll