Algoritmid ja andmestruktuurid: puud, kuhjad
Lisaks neile peab olema võimalik odavalt sooritada kirjete lisamist.
Sobivad seega eelistusjärjekorra realiseerimiseks.
1 Kahendkuhjad 5
Kahendkuhjad
1 Kahendkuhjad 6
Invariant
Kahendkuhja (ingl binary heap) puhul nõutakse
kuhjatingimust
ja et tegu oleks kompaktse kahendpuuga.
1 Kahendkuhjad 7
Kuhjatingimuse rekurrentne määratlus
Kahendpuu rahuldab kuhjatingimust, kui kas ta on tühi või
juure kirje võti on maksimaalne üle kogu puu (pöördkuhja puhul
minimaalne), ja
mõlemad harud rahuldavad kuhjatingimust.
1 Kahendkuhjad 8
Ülekanduvus alampuudele
Kahendkuhja iga alampuu on kahendkuhi.
1 Kahendkuhjad 9
Esitus
Eeldame, et