Operazioni - Cancellazione di un nodo

Il processo di eliminazione di un nodo consiste nel decrementare a $-\infty$ la chiave del nodo da cancellare e quindi nell'estrarre il minimo:

     DELETE(x) {
       DECREMENTA-CHIAVE(x, -infinito);
       ESTRAI-MIN();
     }

Il costo ammortizzato della DELETE è data dalla somma dei costi ammortizzati della DECREMENTA-CHIAVE e della ESTRAI-MIN; quindi:

$\hat{c}=O(log(n)) + O(1)=\textbf{O(log(n))}$