Radix Heap

Ein Radix Heap ist eine Datenstruktur zur Realisation der Operationen einer Vorrangwarteschlange. Hiermit kann dann eine Menge von Elementen, denen jeweils ein Schlüssel zugeordnet ist, verwaltet werden. Die Laufzeit der Operationen ist abhängig von der Differenz des größten und kleinsten Schlüssels bzw. konstant. Die Datenstruktur besteht hauptsächlich aus einer Reihe von Buckets, deren Größe exponentiell zunimmt.

Voraussetzungen

1. alle Schlüssel sind aus den natürlichen Zahlen
2. max. Schlüssel - min. Schlüssel $\le$ C für ein festes C
3. Monotonie von ExtractMin, d.h. die von aufeinander folgenden ExtractMin-Aufrufen zurückgegebenen Werte sind monoton steigend

Beschreibung der Datenstruktur

Die drei wichtigsten Felder sind:

1. b der Größe $B := \lfloor log(C+1)\rfloor + 1$, mit 0 als niedrigstem Index; speichert die Buckets
2. u der Größe B + 1, mit 0 als niedrigstem Index; speichert die (unteren) Schranken der Buckets
3. bNum, hält für jedes Element x im Heap den Bucket in dem es gespeichert ist

In der obigen Skizze ist die Datenstruktur noch einmal skizziert. Zu beachten ist nun, dass stets die folgenden Invarianten gelten müssen:

1. $u[i] \le$ Schlüssel in b[i] < u[i + 1]: die Schlüssel in b[i] sind nach oben bzw. unten durch die Werte in u[i + 1] bzw. u[i] beschränkt.
2. $u[0] = 0, u[1] = u[0] + 1, u[B] = \infty$ und $0 \le u[i+1]-u[i] \le 2^{i-1}$ für $i = 1, \ldots, B-1$: die Größen der Buckets nehmen exponentiell zu.

Zu beachten ist das exponentielle Wachstum der Schranken (und damit des Bereiches, den ein Bucket fasst). Hierdurch kommt die logarithmische Abhängigkeit der Feldgrößen zum Wert C, der maximalen Differenz zweier Schlüsselwerte.

Operationen

Während der Initialisierung werden leere Buckets erzeugt und die unteren Schranken u berechnet (gemäß der Invariante 2); Laufzeit O(B).

Beim Insert eines neuen Elements x wird linear von rechts nach links durch die Buckets gegangen und das neue Element mit k(x) wird in den linkesten Bucket gespeichert, so dass gilt: $u[i] \ge k(x)$. Laufzeit O(B).

Bei DecreaseKey wird nun das Feld bNum benötigt. Von dem nun bekannten Bucket aus wird analog zur Operation Insert nun nach der Dekrementierung des Schlüsselwertes nach links iteriert (es muss zusätzlich auf Einhaltung der Invarianten geprüft werden); Laufzeit O(1) (amortisiert).

ExtractMin gibt ein Element aus dem Bucket b[0] zurück und entfernt es. Ist der Bucket b[0] noch nicht leer, so ist die Operation beendet. Ist er jedoch nun leer, so wird der nächstgrößere nichtleere Bucket gesucht, dessen kleinstes Element k ausfindig gemacht und u[0] auf k gesetzt (hierfür wird die Monotonie benötigt). Dann werden gemäß der Invarianten die Bucketgrenzen neu bestimmt und die Elemente aus b[i] auf die neu entstandenen Buckets aufgeteilt; Laufzeit O(1) (amortisiert).

Wenn jeweils angezeigt, dann muss zusätzlich das Feld bNum aktualisiert werden.

Literatur

• B.V. Cherkassky, A.V. Goldberg, C. Silverstein: Buckets, Heaps, Lists and Monotone Priority Queues