Binomická halda je datová struktura , která implementuje abstraktní datový typ „ prioritní 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.
Strom (datová struktura) | |
---|---|
Binární stromy | |
Samovyrovnávací binární stromy |
|
B-stromy |
|
předponové stromy |
|
Binární dělení prostoru | |
Nebinární stromy |
|
Rozbití prostoru |
|
Jiné stromy |
|
Algoritmy |
|