Изменения

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