Изменения
→Определение
'''Двоичная куча''' или '''пирамида''' — такое двоичное дерево, для которого выполнены три условия:
* Значение (ключ) в любой вершине не больше(если куча для минимума), чем значения её потомков.
* Полное двоичное дерево, у которого могут отсутствовать некоторые листья последнего слоя.
Удобная структура данных для сортирующего дерева — массив <tex>A</tex>, у которого первый элемент, <tex>A[1]</tex> — элемент в корне, а потомками элемента <tex>A[i]</tex> являются <tex>A[2i]</tex> и <tex>A[2i+1]</tex>. Высота кучи определяется как высота двоичного дерева. То есть она равна количеству рёбер в самом длинном простом пути, соединяющем корень кучи с одним из её листьев. Высота кучи есть <tex>O(\log{N})</tex>, где <tex>N</tex> — количество узлов дерева.
Кучи бывают как для минимума (когда предок не больше детей), так и для максимума (когда предок не меньше детей).
==Базовые процедуры==
