Изменения

Удаление вершины реализуется через уменьшение ее ключа до <tex> -\infty </tex> и последующим извлечением минимума. Амортизированное время работы: <tex> O(1) + O(D[H](n)) = O(D[H](n)) </tex>.

Поскольку, ранее мы показали, что <tex> D[H] (n) = O(\log|H|(n) = O(logN) </tex>, то соответствующие оценки доказаны.