333
правки
Изменения
→Построение кучи за O(N)
{{Лемма
|statement= На выходе получим искомую кучу.
|proof= При вызове <tex> \mathrm {siftDown} </tex> для вершины, ее поддерево является кучейподдеревья являются кучами, после выполнения <tex> \mathrm {siftDown} </tex> поддерево эта вершина с этой вершиной будет ее поддеревьями будут также являться кучей. Значит после выполнения всех <tex> \mathrm {siftDown} </tex> получится куча.
}}
{{Лемма
