Изменения

Работа процедуры: если <tex>i</tex>-й элемент меньше, чем его сыновья, всё поддерево уже является кучей, и делать ничего не надо. В противном случае меняем местами <tex>i</tex>-й элемент с наименьшим из его сыновей, после чего выполняем <tex> \mathrm {siftDown} </tex> для этого сына.

Процедура выполняется за время <tex>O(\log{N})</tex>.

<code>

'''function''' siftDown(i : '''int'''):

swap(A[2 * i + 2], A[i])

i = 2 * i + 2

swap(A[2 * i + 1], A[i])

i = 2 * i + 1

</code>

Если значение измененного элемента уменьшается, то свойства кучи восстанавливаются функцией <tex> \mathrm {siftUp} </tex>.