Изменения

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