Binomická hromada

Binomická halda je datová  struktura , která implementuje abstraktní datový typprioritní fronta “, což je sada binomických stromů se dvěma vlastnostmi:

Z těchto vlastností vyplývají dva důsledky. Za prvé, kořen každého ze stromů má mezi svými vrcholy nejmenší klíč. Za druhé, celkový počet vrcholů v binomické hromadě jednoznačně určuje velikost stromů v ní obsažených. Například binomická hromada s vrcholy se skládá ze tří stromů o výšce 3, 2 a 0 a majících 8, 4 a 1 prvky (viz obr.)

Následující operace se provádějí v čase , kde n je počet vrcholů:

Binomická halda je tedy slučovací halda , to znamená, že kromě standardních prioritních operací s frontou (přidání, mazání, vyjmutí minima, změna klíčů) poskytuje další operaci sloučení dvou hald.

Viz také