aL+1 , … , aR называется пирамидой, если неравенство
ai
≤ min (a2i , a2i+1 ) выполняется для всех i, для которых хотя бы один из элементов a2i и a2i+1 существует.
Пирамидальная сортировка
или метод Вильямса – Флойда
( Williams, Floyd, 1964)