Effizience:
Durch die Links-Vollständigkeit wird garantiert, dass kein Weg
länger als log n ist.
Dies ermöglicht schnelles Wiederherstellen
der Heap-Eigenschaft, durch die Funktionen „siftup“ und „siftdown“.
Bei Heapsort wird für den zweigeteilten Array zusätzlicher
Platz benötigt. Die Komplexitätsklasse bleibt die gleiche: O(n).
Korrektheit:
Damit man mit Heaps korrekt arbeiten kann, muss die Heap-Eigenschaft
vor und nach jeder Operation gesichert sein.
Dies wird durch eine korrekte Implementierung der Funktionen „siftup“ und „siftdown“
zur sicher gestellt.