Per dimostrare che il costo computazionale dello heapsort è occorre prima dimostrare alcune proprietà dello heap.
Proprietà 1
Uno heap con n nodi ha altezza
Dimostrazione:
Sia il numero di livello dello heap. I primi livelli sono tutti completi, e il numero di nodi in esso contenuti è pari a .
In maniera analoga, il numero di nodi in livelli è .
Da questo concludiamo che .
Prendendo il logaritmo di ambo i membri otteniamo che
Continua a leggere “Heapsort – costo computazionale”