|definition=
'''Биномиальное дерево <tex>B_k</tex>''' {{---}} дерево, определяемое для каждого <tex>k = 0, 1, 2, \dots </tex> следующим образом: <tex>B_0</tex> - дерево, состоящее из одного узла высоты 0, то есть состоит из одного узла; <tex>B_k</tex> состоит из двух биномиальных деревьев <tex>B_{k-1}</tex>, связанны вместе таким образом, что корень одного из них является крайним левым дочерним узлом корня второго дерева.}}
На рисунке ниже приведен пример '''Свойства биномиальных деревьев для '''Биномиальное дерево <tex>B_k</tex> с n вершинами:*имеет <tex>2^k </tex> узлов;*имеет высоту k;*имеет ровно <tex>\left ( \frac{k}{i} \right )</tex> узлов на высоте <tex>i = 0, 1, 2, 4 \dots</tex>.;[[Файл:http://www*имеет корень степени k; степерь всех остальных вершин меньше степени корня биномиального дерева.intuit.ruКроме того, если дочерние узлы корня пронумеровать слева направо числами <tex> k - 1, k - 2, \dots, 0</departmenttex>, то i-й дочерний узел корня является корнем биномиального дерева <tex>B_i</algorithms/dscm/7/7_1tex>.gif]]
