Prioritätswarteschlangen WS13-14
Inhaltsverzeichnis
|
Autoren: Maciej Krzan, Oliver Krüger
Warteschlange
Benutzen das "First in, First out" Prinzip. Es kann eine beliebige Menge von Objekten aufnehmen und gibt diese in der Reihenfolge ihres Einfügens wieder zurück
Beispiele für Warteschlangen sind Autos an einer Zapfsäule, Warteschlange im Supermarkt, Patienten im Wartezimmer, Prozesse in einem Computerbetriebssystem.
Prioritätswarteschlangen
Prioritätswarteschlange - Definition und Beispiel
- Eine Prioritätswarteschlange (auch: Vorrangwarteschlange, Prioritätenliste, Prioritätsschlange) ist eine specielle Art der abstrakte Datenstruktur. Das ist die Erweiterung der Warteschlange. Die Werte bekommen einmalige Schlüssel (jede Schlüssel hat nur ein Wert!) und sie sind in Reihenfolge mit der bestimmte Ordnung. Am meisten der Prioritätswarteschlangen können wir mit Assoziatives Datenfeld oder Heap realizieren.
Wir können ganz einfach sagen, dass: '''Prioritätswarteschlange ist die abstrakte Datenstruktur, die die Elemente von Menge S deponieren. Diese Elemente haben bestimmte Werte, welche wir können "Schlüssel" heißen und sie sind bis andere Werte in eine Ordnung zusammenpassen.
Wann nutzen wir von Prioritätswarteschlange?
-Dijkstra-Algorithmus
-Algorithmus von Prim
-Huffman-Kodierung
-Heapsort
Beispiel
Person in Pseudocode
Prioritätswarteschlange - Operationen
In Prioritätswarteschlange können wir von verschiedene Operationen nutzen. Manchmal (verschidene Quellen) haben andere Namen (z.B. FindMin und Minimum). Operationen sind sehr nützlich in verschiedene Sprachenprogramme, mehr hier. Sie sind am meistens als API in diese Sprachen implementiert, genauer als Bibliotheken in diese Fall.
MakePQ()
- bilden neu leer Schlange
- Es gibt keine Wurzel und Blätter.
Insert(H,x)
- hinzufügen bis Schlange H ein neu Element x
- Wenn in Schlange schon andere Element sind, dass diese neu immer Blatt ist
- Wenn Schlange leer ist, ist neu Element in diese Fall als Wurzel.
Delete(H,x)
- löscht Element x von Schlange H
- in diese "leer" Plätze geben wir die Element, die auf die letzte Plätze ist.
- Sortierung mit bestimmte Ordnung
FindMin(H)
- sucht Element von Schlange H mit am kleinste Schlüssel
- zurückgeben diese Element
DelMin(H)
- sucht Element von Schlange H mit am kleinste Schlüssel
- löscht diese Element von Schlange H
DecreaseKey(H,x,y)
- in Schlange H, für bestimmte Element x, gibt neue, kleinere Werte y
- Sortierung mit bestimmte Ordnung, weil neue Werte nicht in gute Plätze sein kann
Prioritätswarteschlangen - Laufzeit
| Operation | Binärer Heap | Binomial Heap | Fibonacci Heap |
|---|---|---|---|
| MakePQ | | \mathcal{O}(1) | | \mathcal{O}(1) | | \mathcal{O}(1) |
| FindMin | | \mathcal{O}(1) | | \mathcal{O}(\log n) | | \mathcal{O}(1) |
| Delete | | \mathcal{O}(\log n) | | \mathcal{O}(\log n) | | \mathcal{O}(\log n) |
| Insert | | \mathcal{O}(\log n) | | \mathcal{O}(\log n) | | \mathcal{O}(1) |
| DecreaseKey | | \mathcal{O}(\log n) | | \mathcal{O}(\log n) | | \mathcal{O}(1) |
| DelMin | | \mathcal{O}(\log n) | | \mathcal{O}(\log n) | | \mathcal{O}(\log n) |
| Meld | | \mathcal{O}(n) | | \mathcal{O}(\log n) | | \mathcal{O}(1) |
Assoziatives Datenfeld
Das assoziative Datenfeld (englisch „map“, „dictionary“ oder „associative array“) ist eine Art der abstrakte Datenstruktur. Diese Struktur deponiert die Paare Daten(Schlüssel, Wert), die der Wert und der einmalig Schlüssel haben. Mithilfe bestimmte Schlüssel haben wir der Zutritt bis genau ein Wert.
API den vielen Programmiersprachen nutzen von Assoziatives Datenfeld, z.B.: Java, C++, C#, PHP, Python, Ruby, LISP, D, JavaScript.
Beispiel in C++
Binäre Heap
Heap ist die speziell Zufall der Binäre Baum, wo jede "Kind" ist nicht größer als seine "Eltern". Aufgrund diese Bedingungen wir sagen können, dass:
-Würzel muss am größsten sein, oder mit andere am größte Wert haben,
-auf Verknüpfungen(von Würzel bis Blätter) Werte können nicht steigen.
Voll Heap ist, wenn auf alle Niveau (ohne letzte) voll sind und auf letzte Nivou sind den chronologisch Blätter ordnen.
Prioritätswarteschlangen auf Heap
Auf Heap können wir Prioritätswarteschlangen nutzen und auch bestimmte operationen.
Wir können neue Elemente hinzufügen und bekommen zurück immer am größsten.
Insert
Mithilfe Insert können wir in erste freie Plätze das latzte Niveau hinzufügen und dann, wenn neue Element größer als seine Elternteil ist, können wir einander tauschen. Jetzt müssen wir überprüfen mit nächste Element in Hierarchie, und mit nächste... bis Wurzel.
Delete Max
Diese Operation löscht am gröbste Element (Wurzel) in unsere Baum. In neue leere Plätze geben wir die letzte (erst von recht Seite) Element auf unterste Niveau. Jetzt überprüfen wir mit "größere Kind" und wenn diese Kind größer ist, tauschen wir Plätzen diese 2 Elemente. Das machen wir so lang, wenn es keine größere Kinder gibt, oder diese Element ist Blatt.
Binominal Heaps
Binominal Heaps ist sehr ähnlich wie normale Heaps. Das ist auch die abstrakte Datenstruktur. Welche sind Unterschiede zwischen ganz normale Heaps und binomal Heaps?
Binominal Heaps nutzen auch von Operationen wie Insert, FindMin, usw... aber hat auch Meld(H1,H2). Was macht das?
- Meld(H1,H2)
- Verbindung zwei Schlangen, H1 mit H2
Diese Datenstruktur hat specielle Eigenschaften, die Binominal Heap B_{k}:
- hat 2^{k} Elemente
- Höhe ist k
- funktioniert 0 \le i \le k
Fibonacci Heaps
Fibonacci Heaps ist auch Datenstruktur. Diese Heaps ist sehr ähnlich wie Binominal Heaps aber ist seine Verbesserung, die mit ständig amortisierte Kosten DecreaseKey (z.B. in Dijkstry Algorithmus ist). Die Grundidee ist sehr einfach, sie macht manches Operationen später, bis Moment, wenn wirklich notwendig ist. Gleich wie Binominal Heaps, Fibonacci Heaps ist auch die Liste den Bäumen, von welche jede ist in bestimmte Ordnung Heaps.
Dijkstra-Algorithmus
Dijkstra-Algorithmus nutzen wir bis Suche am kurzte Abstand von bestimmte Eckpunkt s bis alle andere Eckpunkte. In diese Algoritmus, Graph-Eingang kann nicht Kante mit Zahlen < 0 haben. Kanten sind auch nicht mit Vektoren. Grundaufgabe ist Suche alle Q Eckpunkte in Menge, für welche gibt es noch keine am kurzte Wege und Vektor von s bis alle Eckpunkte i.
Wie funktioniert diese Algorithmus? 1) Solange Menge Q ist nicht leer, macht 2) Nehmen von Menge Q der Eckpunkt v, welche am kleinste Wert hat 3) Für jede nächste Eckpunkt v, überpruft ob er mit vorige Eckpunkt (d.h. Summe den Werte) ist kleiner als andere diese Verbindungen oder einzeln Weg.
| Q | (a) | (b) | (c) | (d) | (e) |
| {b,c,d,e} | 0 | 10 | 5 | ||
| {b,c,d} | 0 | 8 | 14 | 7 | 5 |
| {b,c} | 0 | 8 | 13 | 7 | 5 |
| {c} | 0 | 8 | 9 | 7 | 5 |
| {} | 0 | 8 | 9 | 7 | 5 |
Übungen
1. Skizzieren Sie den Heap, der sich ergibt, wenn die folgenden Operationen mit einem ursprünglich leeren Heap ausgeführt werden: insert(10), insert(5), insert(6), insert(8), remove, insert(7), insert(3).
2. Ist eine Datei in umgekehrt sortierter Reihenfolge ein Heap?










