Binomiální strom

Binomiální strom řádu (značíme ) je uspořádaný (tj. záleží na pořadí synů) zakořeněný strom, pro který platí:

• je tvořen pouze kořenem
• Pro získáme ze stromů tak, že přidáme nový kořen a kořeny těchto stromů uděláme (takto popořadě) syny nového kořene

Binomiální strom řádu (značíme ) je uspořádaný zakořeněný strom, pro který platí:

• je tvořen pouze kořenem
• Pro se skládá ze stromu , pod jehož kořenem je jako nejpravější syn napojený další strom