Биномиальное дерево высоты k содержит ровно 2^k вершин.

Название "биномиальное дерево" определил тот факт, что у любого биномиального дерева высоты k на глубине d находится ровно C(d,k) вершин, где C(d,k) – биномиальный коэффициент: C(m,n) = m(m-1)...(m-n+1) / 1*2*...*n

Любая последовательность из n элементов может быть представлена единственным образом как семейство биномиальных деревьев (не более одного дерева каждой высоты). Предположим, что n = 13, переведем это число в двоичную систему счисления:

1	1	0	1
23	22	21	20

Это значит, что деревья B₀, B₂, B₃ присутствуют в представлении, а дерево B₁ – нет.

Т.к. существует не более log n биномиальных деревьев, то трудоемкость процедуры слияния двух биномиальных куч есть O(log n).

Трудоемкость процедуры добавления нового элемента в кучу есть O(log n).

Трудоемкость алгоритма создания биномиальной кучи есть O(n).

Трудоемкость процедуры удаления минимального элемента есть O(log n).