1: алгоритмы Сортировки Лекция 13
2: План лекции Понятие сортировки Внутренняя и внешняя сортировка Алгоритмы сортировки Простые Улучшенные Анализ числа операций Нижняя оценка числа операций в алгоритмах сортировки
3: Задача сортировки Значения элементов массива (списка) делятся на ключ и произвольные данные struct KeyData K key; T data; ; Ключ можно рассматривать как значение функции T - K, которая вычисляет ключ key на основании (сколь угодно сложного) анализа данных data Сортировкой N объектов a1, . . . , аN называется нахождение перестановки p1, p2, …, pN, удовлетворяющей условиям ap1. key
4: Устойчивая сортировка Сортировка называется устойчивой, если она не меняет порядок объектов с одинаковыми ключами ai. key aj. key и i j pi pj где pi и pj – позиции ai и aj после сортировки
5: Классификация алгоритмов сортировки По объёму данных Внутренние Все данные в памяти Внешние Часть данных на диске По алгоритмическому приёму Включение Выбор Обмен Подсчет Разделение Слияние
6: Сортировка включением Разделим элементы массива на неотсортированную часть ai, . . . , аN и отсортированную часть a1, . . . , аi-1 На i-м шаге i-й элемент неотсортированной части вставляется в подходящее место отсортированной части Пусть 2
7: Пример Процесс сортировки включениями покажем на примере последовательности, состоящей из восьми ключей: i 140 51 8 38 90 14 2 63 i 2 40 51 8 38 90 14 2 63 i 38 40 51 38 90 14 2 63 i 48 38 40 51 90 14 2 63 i 58 38 40 51 90 14 2 63 i 68 14 38 40 51 90 2 63 i 72 8 14 38 40 51 90 63 i 82 8 14 38 40 51 63 90
8: Программа void sortbyinsertion(struct KeyData a, int N) int i; for (i1; i N; i) struct KeyData x ai; int j; for (ji-1;j0 && x. key
9: Анализ сортировки включением Для числа сравнений Сi во внутреннем цикле на i-м шаге внешнего цикла справедливо 1
10: Сортировка бинарными включениями Если место для ai искать методом бинарного поиска в отсортированном массиве, то всего будет произведено Nlog2N сравнений Почему? Количество пересылок не изменится Почему?
11: Сортировка выбором Разделим элементы массива на неотсортированную часть ai, . . . , аN и отсортированную часть a1, . . . , аi-1 На i-м шаге i-й и min элемент неотсортированной части меняются местами и отсортированная часть расширяется на 1 элемент Пусть 2
12: Программа void sortbyselection(struct KeyData key a, int N) int i; for( i0; i N-1; i) int j; int ki; / индекс минимального элемента / for (ji1; j N; j) if(ak. key aj. key) kj; if (i!k) struct KeyData xai; aiak; akx;
13: Анализ сортировки выбором Число Сi сравнений на i-м шаге внешего цикла есть N-i На первом шаге первый элемент сравнивается с остальными N – 1 элементами На втором шаге число сравнений будет — N - 2 и т. д. Поэтому число сравнений есть Сmin Сmax (N – 1) (N – 2) . . . 1 N (N - 1)/2 Маx число пересылок Мmах N -1 так как на каждом проходе выполняется обмен найденного минимального элемента с i-м Чему равно Mmin?
14: Анализ сортировки выбором Число сравнений в методе выбора всегда равно максимальному числу сравнений в методе простых включений Число перемещений минимально Если вспомнить, что сравниваются ключи, а перемещаются записи целиком, то метод выбора, экономящий число перемещений может на практике оказаться предпочтительней
15: Пирамидальная сортировка Линейный поиск min элемента делает сложность всей сортировки выбором квадратичной Как найти минимальный элемент быстрее, чем за O(N) операций? Williams, James "Algorithm 232 - Heapsort" ACM 1964 Не удалось найти первоисточник Floyd, Robert W. 1936-2001 "Algorithm 245 - Treesort 3" ACM 1964 Организовать входные данные в виде так называемой пирамиды упрощающей поиск минимума и поддерживать их в этом виде в процессе сортировки Накапливать информацию о взаимных отношениях элементов
16: Определение пирамиды Пусть дана последовательность h1, . . . , hn Элемент hi образует пирамиду в этой последовательности, если выполнены следующие условия Если 2 i n, то hi h2i и h2i образует пирамиду Если 2 i 1 n, то hi h2i1 и h2i1 образует пирамиду Элементы hn/21, . . . , hn всегда образуют тривиальные пирамиды, поскольку для них приведенные условия имеют ложные посылки Последовательность, упорядоченная по убыванию, является полной пирамидой – почему? Если элемент h1 образует пирамиду, то и каждый элемент последовательности образует пирамиду В этом случае будем говорить, что вся последовательность является полной пирамидой
17: Полная пирамида при n 15 Полная пирамида может быть изображена в виде корневого бинарного дерева, в котором элементы h2i и h2i1 являются сыновьями элемента hi. Элемент в любом узле численно не меньше всех своих потомков, а вершина полной пирамиды h1 содержит максимальный элемент всей последовательности.
18: Пример полной пирамиды при n 12 Если число элементов в полной пирамиде не равно 2k – 1, самый нижний уровень дерева будет неполным: недостающих сыновей можно достроить, добавив в пирамиду несколько заключительных «минимальных» элементов «-oo», не нарушающих условия пирамиды
19: Макет пирамидальной сортировки Подготовка к сортировке Входная неупорядоченная последовательность перестраивается в пирамиду Сортировка Массив делится на две части Неупорядоченное начало массива Упорядоченный конец массива Пока не упорядочим весь массив Меняем местами h1 и последний элемент неупорядоченной части Восстанавливаем пирамиду начиная с h1
20: Макет пирамидальной сортировки Основой алгоритм является процедура просеивания, так перестраивающая hi1, . . . , hn, образующие пирамиду, чтобы пирамиду образовывал и элемент hi На каждой итерации цикла наибольший из трех элементов hi, h2i и h2i1 путем обмена ставим в корень hi текущего поддерева Выполнили первую часть условия пирамиды для hi Если при этом изменяется корень левого или правого поддерева, то просеивание продолжается для него Начинаем выполнять вторую часть условия пирамиды для hi
21: Просеивание Просеять (h, i, n) пока 2 i n / цикл просеивания hi в поддеревья/ hL h2i; hR 2 i 1 n ? h2i1 : -oo; если hi hL и hi hR то конец просеивания если hL hR то / просеять в левое п/дерево / обменять hi и h2i; i 2 i; иначе если hR -оo то / просеять в правое п/дерево, если есть/ обменять hi и h2i1; i 2 i 1; конец цикла конец
22: Построение пирамиды h1 h2 h3 h4 h5 h6 h7 h8 h9 h10 Шаг 1, i5:52 81 42 23 11 76 91 63 37 20 Шаг 2, i4 :52 81 42 23 20 76 91 63 37 11 Шаг 3, i3 : 52 81 42 63 20 76 91 23 37 11 Шаг 4, i2 : 52 81 91 63 20 76 42 23 37 11 Шаг 5, i1 : 52 81 91 63 20 76 42 23 37 11 Выход: 91 81 76 63 20 52 42 23 37 11
24: Алгоритм пирамидальной сортировки Шаг 1 Построение пирамиды i n / 2; пока i 1 Просеять(h, i, n); i i - 1; конец Шаг 2 Сортировка на пирамиде: i n; пока i 1 Обмен (h, 1, i); i i - 1; Просеять(h, 1, i); конец
25: Просеивание void Sift(struct KeyData а, int i, int n) int l; i; while ((l2i)ar-1 . key) return; int k al-1 . key ar-1 . key ? l : r; struct KeyData t ai-1; // C99 ai-1 ak-1; ak-1 t; i k;
26: Пирамидальная сортировка void heapsort(struct KeyData a, int N) int i; / строим полную пирамиду / for (i N/2; i 0; i--) Sift (a, i, N); / сортируем / for (i N-1; i 0; i--) struct KeyData t a0; a0 ai; ai t; Sift (a, 0, i); / восстанавливаем пирамиду /
27: Анализ пирамидальной сортировки Число итераций цикла в процедуре просеивания не превосходит высоты пирамиды Высота полного бинарного дерева из N узлов, каковым является пирамида, равна log2 N Просеивание имеет логарифмическую сложность Итоговая сложность пирамидальной сортировки N log2 N Наилучший случай – обратное упорядочение входной последовательности Почему?
28: Понятие сортировки Внутренняя и внешняя сортировка Алгоритмы сортировки Простые Включением, выбором, пузырёк Улучшенные Пирамидальная, быстрая Анализ числа операций Нижняя оценка числа операций в алгоритмах сортировки
29: Сортировка простым обменом (пузырёк) На первом шаге сравним последний и предпоследний элементы, если они не упорядочены, поменяем их местами. Далее проделаем то же со вторым и третьим элементами от конца массива, третьим и четвертым и т. д. до первого и второго с начала массива. При выполнении этой последовательности операций меньшие элементы в каждой паре продвинутся влево, наименьший займет первое место в массиве. Повторим этот же процесс от N-го до 2-го элемента, потом от N-го до 3-го и т. д. i-й проход по массиву приводит к «всплыванию» наименьшего элемента из входной последовательности на i-e место в готовую последовательность.
30: Пример i 040 51 8 38 90 14 2 63 i 1 2 40 51 8 38 90 14 63 i 2 2 8 40 51 14 38 90 63 i 3 2 8 14 40 51 38 63 90 i 4 2 8 14 38 40 51 63 90 i 5 2 8 14 38 40 51 63 90 i 6 2 8 14 38 40 51 63 90 i 7 2 8 14 38 40 51 63 90
31: Алгоритм (метод пузырька) для i от 2 до N с шагом 1 // проход от конца массива к началу для j от N до i с шагом -1 если Aj–1 Aj тоОбмен(A, j, j–1) конец для конец для
32: Анализ Поскольку число сравнений Сi на i-м шаге внешнего цикла равно N-i Cmin Cmax C (N - 1) (N - 2) . . . 1 N(N - 1)/2 Минимальное число пересылок Mmin 0 Максимальное Мmах С В каких случаях достигаются Mmax и Mmin?
33: Улучшение метода пузырька Последние проходы сортировки простым обменом работают «вхолостую», если элементы уже упорядочены Запомним, производился ли на очередном проходе обмен. Если ни одного обмена не было, то алгоритм может закончить работу. Один неправильно расположенный «пузырек» на «тяжелом» конце почти отсортированного массива «всплывет» на место за один проход 8 14 38 40 51 63 90 2 Неправильно расположенный «камень» на «легком» конце «опустится» на правильное место за N-1 проход 90 2 8 14 40 51 63
34: Шейкер-сортировка (алгоритм) left 1 // левая граница несортированной части right N // правая граница несортированной части упор ложь// истинна, если массив упорядочен пока не упор упор истина i left //Проход по массиву от начала к концу: пока i right если Ai Ai 1 то Обмен (А, i, i1) упор ложь конец если i i 1 конец пока // 1 элемент встал на своё место справа right right – 1 // см. след. слайд
35: Шейкер-сортировка (продолжение) если не упор то // TODO – rewrite упор истина i right пока i left если Ai Ai – 1 то Обмен (i, i–1) упор ложь конец если i i – 1 конец пока конец если // 1 элемент встал на своё место слева left left 1 конец пока // не упор
36: Программа void shakersort (struct KeyData A , int N) int left 0, right N-1; int sorted 0; while (!sorted && left right) int i; sorted 1; for (i left; i right; i) if (Ai1 Ai) struct KeyData x Ai1; Ai1 Ai; Ai x; sorted 0; right - 1;
37: Продолжение программы if (!sorted) for (i left1; i Ai) struct KeyData x A i-1; Ai-1 Ai; Ai x; left 1; // while // shaker sort
38: Анализ Сmin N –1, Сmax O(NN) Число пересылок такое же как для сортировки пузырьком Каждый обмен соседних элементов уменьшает число инверсий (пар элементов, нарушающих порядок) в массиве на 1 Любой алгоритм, основанный на обмене пар соседних элементов, делает столько пересылок, сколько в массиве инверсий Сортировка обменом и ее улучшенная сортировка хуже, чем сортировка включениями и выбором по числу пересылок Почему? Шейкер-сортировку выгодно использовать тогда, когда массив почти упорядочен Шейкер (англ. "to shake" -- трясти) – это устройство для приготовления жидких смесей
39: Сортировка подсчётом Для каждого элемента подсчитаем число элементов, которые меньше его Это число (1) есть его позиция элемента в отсортированной последовательности При условии, что все элементы различны Наивная реализация записывает отсортированные элементы в новый массив
40: Алгоритм (на одном массиве) i 1; // номер 1-го элемента в несортированной части массива пока i N r 1; // число элементов в массиве, меньших Ai цикл по j от 1 до N с шагом 1 выполнять если Ai Aj то r r 1; конец цикла если r i// i-й элемент стоит на своем месте, то i i 1// увеличить сортированную часть на 1 элемент иначе // вычислить позицию, куда нужно поставить i-й элемент: пока Ar Ai r r1 конец пока // поменять его местами с тем элементом, // который находится в этой позиции Обмен (A, r, i) конец конец пока
41: Сортировка с разделением Быстрая сортировка Ч. Э. Р. Хоар В время парктики Московском Государственном Университете им. Ломоносова Hoare, C. A. R. (1961). "Algorithm 64: Quicksort". Comm. ACM 4 (7): 321 Рекурсивная сортировка обменом пар несоседних элементов
42: Сортировка разделением, идея алгоритма Пусть am произвольный пилотируемый элемент Разделим элементы массива относительно am так, что все элементы слева от am не превосходят всех элементов справа от am для всех i, j если 1
43: Сортировка разделением (макет) СортировкаРазделением (a, l, r) выбрать пилотируемый элемент m разделить аl,…, аr относительно am // части длины 0 и 1 не сортируем если l m то СортировкаРазделением (a, l, m) // XXX иначе если m 1 r то СортировкаРазделением (a, m 1, r) конец если конец
44: Анализ макета Массив упорядочивается "сам собой" по мере упорядочения его частей?! Рекурсия приводит к сортировке массива длины 1, которая не требует ни сравнений, ни пересылок Объединение левой и правой части после их сортировки не требуется Сортировка происходит на этапе разделения массива относительно пилотируемого элемента В классической версии алгоритма в качестве m выбирается произвольный элемент сортируемой последовательности Первый, последний, расположенный в середине или иначе. Выбор m существенно влияет на число сравнений и пересылок – обсудим далее
45: Разделение массива Пусть x am – значение пилотируемого элемента Сортируемую часть массива разделим на три участка al . . . ai-1аk x ai . . . ajнеизвестно На кажом шаге уменьшаем часть, где неизвестно отношение между ak и x
46: Процесс разделения i l; j r; пока i j пока ai х i i 1; / в конце ai х / конец пока х aj j j – 1; / в конце aj j то выйти из цикла конец если обмен( a, i, j ) i i 1; / расширить левую часть / j j – 1; / расширить правую часть / конец пока
47: Комментарии Циклы по встречным индексам переносят из средней части в левую или правую элементы, строго меньшие или большие х, которые могут быть добавлены в эти части без перестановки После их выполнения процесс разделения либо заканчивается (если i j), либо пара ai и aj образует инверсию В последнем случае их следует обменять и включить в левую и правую части Здесь происходят упорядочивающие обмены с уменьшением числа инверсий в последовательности
48: Комментарии Проверка того, что бегущие индексы не выходят за границы l. . . r не нужна На первом проходе выход за границы невозможен, так как в массиве есть сам элемент х и оба цикла остановятся на нем В конце же первого прохода происходит обмен элементов и обе части становятся не пусты, что гарантирует остановку циклов по встречным индексам в пределах интервала l. . . r и на следующих проходах
49: Комментарии Цикл оканчивается при i j. Однако нам еще надо определить медиану. Определенные границы левой части – l. . . i – 1, правой – j 1. . . r, однако интервал j 1. . . i – 1 может быть не вырожден и заполнен элементами х (почему?). Эти элементы останутся на своих местах в процессе сортировки (почему?), поэтому их можно исключить из левой и правой частей. Окончательно границами левой части можно считать l. . . j, а правой – i. . . r.
50: Процесс разделения, пример Разделение: 40 51 8 38 89 1 15 63 Начало: i x j Первый проход:i j Сближение Обмен 15 51 8 38 89 1 40 63 Второй проход: i j Сближение Обмен i j 15 1 8 38 89 51 40 63 Третий проход: i j Сближение ij Обмен 15 1 8 38 89 51 40 63 Четвертый проход: j i Сближение
51: Пример быстрой сортировки
52: Программа void quicksort(struct KeyData a, int l, int r) int i l, j r; struct KeyData x a(lr)/2; do while (ai x) i; while (x aj) --j; if (i
53: Анализ Число сравнений и пересылок зависит от выбора пилотируемого элемента Если брать пилотируемый элемент равным медиане массива, то Сmin O(Nlog(N)), Cmax O(Nlog(N)) Mmin 0, Mmax O(Nlog(N)) В худшем случае Сmin O(NN) Cmax O(NN) Mmin 0, Mmax O(NN)
54: Нижняя граница числа сравнений в сортировке Для сортировки массива из N элементов необходимо О( N log2 N ) сравнений элементов N -- oo Обоснование Для заданной последовательности из N элементов может быть построено N! перестановок Для нахождения перестановки, сортирующей массив, требуется выполнить не менее log2(N!) условных операторов В противном случае для разных массивов будет найдена одна и та же перестановка
55: Дерево решений для массива из 3 элементов
56: Для задачи сортировки в дереве решений N! листьев Значит, высота дерева решений log2(N) Из неравенства следует заключение теоремы, так как Число сравнений, которые необходимо сделать, чтобы получить любую из перестановок примера, не меньше 2 (lоg2(6) 2. 5).
57: Заключение Понятие сортировки Внутренняя и внешняя сортировка Алгоритмы сортировки Простые Включением, выбором, пузырёк Улучшенные Пирамидальная, быстрая Анализ числа операций Нижняя оценка числа операций в алгоритмах сортировки
58: Анализ, продолжение Просуммируем всевозможные варианты выбора медианы и разделим эту сумму на N, в результате получим ожидаемое число обменов: Ожидаемое число обменов равно приблизительно N/6. В лучшем случае каждое разделение разбивает массив на две равные части, а число проходов, необходимых для сортировки, равно log2 N. Тогда общее число сравнений равно N log2 N.
59: Анализ, продолжение Однако в худшем случае сортировка становится «медленной». Например, когда в качестве пилотируемого элемента всегда выбирается наибольшее значение. Тогда в результате разбиения в левой части оказывается N - 1 элемент, т. е. массив разбивается на подмассивы из одного элемента и из N - 1 элемента. В этом случае вместо log2 N разбиений необходимо сделать N разбиений. В результате в худшем случае оценка оказывается N2, что гораздо хуже пирамидальной сортировки.
60: Алгоритм Условно разделить массив A на отсортированную и несортированную части. К сортированной части сначала относится только первый элемент. цикл по i от 2 до N с шагом 1 выполнять // i – номер первого элемента в несортированной части массива x Ai; j i – 1; // Все элементы из отсортированной части, большие, // чем x, сдвинуть на одну позицию вправо: пока j0 и Ajx выполнять Aj1 : Aj; j j – 1; конец пока // Элемент x поставить на свое место по порядку: Aj1 x; конец цикла
61: Сортировка включениями с убывающим шагом. Метод Шелла Хоар, Флойд, Шелл: для алгоритмов сортировки, перемещающих в последовательности запись вправо или влево только на одну позицию, среднее время работы будет в лучшем случае пропорционально N2. Хотелось бы, чтобы записи перемещались «большими скачками, а не короткими шажками». Д. Шелл предложил в 1959 г. метод, названный сортировкой с убывающим шагом.
62: Пример работы сортировки Шелла На первом проходе выделим в подпоследовательности элементы, отстоящие друг от друга на четыре позиции: Полученные 4 последовательности отсортируем на месте независимо друг от друга методом простых включений. Этот процесс называется 4-сортировкой.
63: Пример работы сортировки Шелла, продолжение В результате 4-сортировки получим последовательность: 40 14 2 38 90 51 8 63 На следующем шаге элементы, отстоящие друг от друга на две позиции, объединяются в подпоследовательности и сортируются простыми вставками независимо друг от друга. Этот процесс называется 2-сортировкой. После 2-сортировки получим последовательность: 2 14 8 38 40 51 90 63 Ее сортируют методом простых вставок. К последнему шагу элементы довольно хорошо упорядочены, поэтому требуется мало перемещений. Данный процесс называется 1-сортировкой.
64: Выбор шага в сортировке Шелла В сортировке методом Шелла можно использовать любую убывающую последовательность шагов ht, ht-1, . . . , h1 Чтобы выбрать некоторую хорошую последовательность шагов сортировки, нужно проанализировать время работы как функцию от этих шагов. До сих пор не удалось найти наилучшую возможную последовательность шагов ht, ht-1, . . . , h1 для больших N. Выявлен примечательный факт, что элементы последовательностей приращений не должны быть кратны друг другу. Это позволяет на каждом проходе сортировки перемешивать цепочки, которые ранее никак не взаимодействовали. Желательно, чтобы взаимодействие между разными цепочками происходило как можно чаще. Кнут: . . . , 121, 40, 13, 4, 1, где hk1 3 hk 1, h1 1 . . . , 31, 15, 7, 3, 1, где hk1 2 hk 1, h1 1
65: Анализ эффективности метода Утверждение Если k-отсортированная последовательность i-сортируется (k i), то она остается k-отсортированной. C каждым следующим шагом сортировки с убывающим приращением количество отсортированных элементов в последовательности возрастает. Для последовательности шагов 2k 1, . . . , 9, 5, 3, 1 количество пересылок пропорционально N1. 27, для последовательности 2k – 1, . . . , 15, 7, 3, 1 — N1. 26, для последовательности (3k – 1)/2, . . . , 40, 13, 4, 1 — N1. 25 Общая оценка: величина порядка N3/2
66: Алгоритм процедура Вставка(b, h) // b — номер первого элемента последовательности // h – величина шага начало процедуры // Пусть i – номер первого элемента в несортированной части массива i b h; пока i N выполнять x Ai; j i – h; пока j b и Ajx выполнять // Все элементы из отсортированной части, большие // x, сдвинуть на величину шага h вправо, Ajh Aj; j j – h; конец пока // Элемент x поставить на свое место по порядку: Ajh x; i i h; конец пока конец процедуры
67: Алгоритм, продолжение Основная программа: // Выбор начального шага: h 1; пока h N/3 выполнять h 3h 1; конец пока // Сортировка: пока h 1 выполнять цикл по i от 1 до h с шагом 1 выполнять Вставка (i, h); конец цикла h (h – 1) / 3; конец пока
68: Сортировка простым выбором Методы сортировки посредством выбора основаны на идее многократного выбора. На i-м шаге выбирается наименьший элемент из входной последовательности ai, . . . , an и меняется местами с ai-м. Таким образом, после шага i на первом месте во входной последовательности будет находиться наименьший элемент. Затем этот элемент перемещается из входной в готовую последовательность. Процесс выбора наименьшего элемента из входной последовательности повторяется до тех пор, пока в ней останется только один элемент.
69: Пример Проиллюстрируем этот метод на той же последовательности 40 51 8 38 90 14 2 63. На первом шаге находим наименьший элемент 2, обмениваем его с первым элементом 40 и перемещаем в готовую последовательность: 2 51 8 38 90 14 40 63 2 8 51 38 90 14 40 63 2 8 14 38 90 51 40 63 2 8 14 38 90 51 40 63 2 8 14 38 40 51 90 63 2 8 14 38 40 51 90 63 2 8 14 38 40 51 63 90
70: Обсуждение Данный метод в некотором смысле противоположен сортировке простыми включениями. При сортировке простым выбором рассматриваются все элементы входной последовательности и для фиксированного места из нее выбирается наименьший элемент. При этом не возникает необходимости "сдвига" участка массива, поскольку выбранный элемент вставляется всегда в конец готовой последовательности. Вытесняемый же элемент достаточно переставить на освободившееся место в несортированной входной части.
71: Алгоритм Условно разделить массив А на отсортированную и несортированную части. Сначала весь массив — это несортированная часть. цикл по i от 1 до N–1 с шагом 1 выполнять // i – номер первого элемента в несортированной части массива r i; // Найти минимальный элемент в несортированной части массива: цикл по j от i1 до N с шагом 1 выполнять если Аj Ar то r j; конец цикла // Найденный минимальный элемент поменять местами с // первым элементом несортированной части: если i r то Обмен (i, r); // Он будет последним элементом новой сортированной // части массива A. конец цикла
72: Пирамидальная сортировка На каждом шаге сортировки первый элемент массива, минимальный элемент пирамиды, переносится в начало готовой последовательности путем обмена с последним элементом пирамиды, занимающим его место. Затем остаток входной последовательности вновь перестраивается в пирамиду, обеспечивая корректность следующего шага. В начале i-го шага элементы h1, . . , ai, по предположению, хранят входную последовательность как пирамиду, а ai1, . . , aN – упорядоченную по возрастанию готовую последовательность (изначально пустую). На i-м шаге текущий максимальный элемент пирамиды а1 обменивается с аi, становясь началом новой готовой последовательности, где он будет новым минимальным элементом. Входная последовательность (пирамида) при этом претерпевает два изменения: — она теряет последний элемент, что не нарушает условий пирамиды ни в одном узле; — ее первый элемент становится произвольным, что может нарушать условие пирамиды только в первом узле.
73: Сортировка, продолжение Таким образом, для новой входной последовательности a1, . . . , ai-1 условия пирамиды выполнены для всех элементов, кроме первого. Применение процедуры просеивания к a1 восстанавливает полную пирамиду в a1, . . . , ai-1, что обеспечивает условия осуществимости следующего шага.