Объединяемые приоритетные очереди

Далее рассматриваем узел с ключом . Оба его сына имеют одинаковый ранг , следовательно, менять их местами не требуется. Вычислим лишь новое значение ранга: оно равно минимальному из рангов его детей (рангу правого сына) плюс~ , то есть . Получаем дерево, изображенное на рис.5.6.

Рис. 5.6.

Наконец, рассматриваем узел с ключом , который является последним в правой ветви, полученной слиянием правых ветвей исходных куч. Его потомков (узлы с ключами и ) необходимо поменять местами для восстановления свойства левизны и обновить ранг, который будет теперь равен . После выполнения этих операций получим левостороннюю кучу, изображенную на рис.5.7. На этом выполнение операции СЛИЯНИЕ заканчивается.

Рис. 5.7.

Очевидно, время выполнения операции СЛИЯНИЕ пропорционально сумме длин правых путей сливаемых куч. По свойству левосторонней кучи оно не превосходит величины , где , — количества узлов в исходных кучах, а — количество узлов в результирующей куче. Следовательно, вычислительная сложность операции СЛИЯНИЕ равна .

Реализация операции СЛИЯНИЕ

Операция ВСТАВКА. Эта операция позволяет осуществить вставку в кучу нового элемента с ключом . Она производится посредством образования левосторонней кучи, содержащей единственный элемент с ключом , и слияния ее с кучей . Вычислительную сложность данной операции можно оценить так же, как вычислительную сложность операции СЛИЯНИЕ, то есть величиной .

Реализация операции ВСТАВКА

Операция УДАЛЕНИЕ_МИНИМУМА. Эта операция позволяет из кучи удалить элемент с минимальным ключом. Она производится посредством удаления корня кучи (трудоемкость ), а затем слияния его левой и правой подкуч (трудоемкость ). Таким образом, вычислительная сложность данной операции является величиной .

Реализация операции УДАЛЕНИЕ_МИНИНИМУМА

Операция МИНИМУМ. Эта операция позволяет взять из кучи элемент с минимальным ключом, не удаляя его из кучи. Поскольку элемент с минимальным ключом находится в корне кучи, требуется лишь скопировать его в нужное место. Вычислительная сложность данной операции .

Реализация операции МИНИМУМ

Операция УДАЛЕНИЕ. Эта операция позволяет удалить из кучи элемент , расположенный в узле, заданном позицией . Удаление может быть проведено в несколько этапов.

1. Если узел является корнем кучи , то применяется операция УДАЛЕНИЕ_МИНИМУМА из кучи . Иначе выполняются следующие действия.
2. От исходной кучи отрывается подкуча с корнем в удаляемом узле . Оставшаяся куча, для которой сохраняем обозначение , не обязательно является левосторонней.
3. Затем узел удаляется из кучи , а его левая и правая подкучи сливаются в одну кучу (время выполнения — , как доказано выше).
4. Куча делается таким же сыном узла ( — родитель узла ), каким являлся для нее узел (левым или правым).
5. Наконец, в куче восстанавливается свойство левизны. Фактически свойству левизны могут не удовлетворять только узлы, находящиеся на пути от к корню кучи . Длина этого пути в худшем случае может линейно зависеть от . Но на самом деле нам нужно проверить только первые не более чем узлов на этом пути (потому что максимальный по длине правый путь имеет максимум узлов).

Таким образом, время выполнения операции — .