Изменения
→Восстановление свойств кучи
===Восстановление свойств кучи===
Если в куче изменяется один из элементов, то она может перестать удовлетворять свойству упорядоченности. Для восстановления этого свойства служат процедуры '''sift_down''' (просеивание вниз)и '''sift_up''' (просеивание вверх). Если значение измененного элемента увеличивается, то свойства кучи восстанавливаются функцией ''sift_down(i)'''.Работа процедуры: если <tex>i</tex>-й элемент меньше, чем его сыновья, всё поддерево уже является кучей, и делать ничего не надо. В противном случае меняем местами <tex>i</tex>-й элемент с наименьшим из его сыновей, после чего выполняем '''sift_down()''' для этого сына.
Процедура выполняется за время <tex>O(\log{N})</tex>.
<code>
left = 2 * i // левый сын
right = 2 * i + 1 // правый сын
sift_down(min)
</code>
Если значение измененного элемента уменьшается, то свойства кучи восстанавливаются функцией '''sift_up(i)'''.
Работа процедуры: если элемент больше своего отца, условие 1 соблюдено для всего дерева, и больше ничего делать не нужно. Иначе, мы меняем местами его с отцом. После чего выполняем '''sift_up'''
для этого отца. Иными словами, слишком большой элемент всплывает наверх.
Процедура выполняется за время <tex>O(\log{N})</tex>.
<code>
If (A[i] < A[i / 2])
Поменять A[i] и A[i / 2]
