Изменения

Следующая процедура уменьшает ключ элемента <tex>x</tex> биномиальной кучи, присваивая ему новое значение. Вершина, ключ которой был уменьшен, «всплывает» наверх, то есть алгоритм состоит как в том, что если текущий элемент меньше родителя, то он меняется с ним. После чего указатель на текущую вершину меняется на родителя. И эта операция продолжается до тех пор, пока не пришли в кореньобычной куче. Процедура выполняется за время <tex>\Theta(\log(n))</tex>, поскольку глубина вершины <tex>x</tex> есть <tex>\Theta(\log(n))</tex> (свойства биномиального дерева), а при выполнении каждого шага алгоритма мы поднимаемся вверх.