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