1 / 31

Splay Trees

Splay Trees. Von Projdakov Benjamin. Inhalt. Binäre Suchbäume Splay Trees Self adjustment Anwendungsbeispiel Rotationen Zig / Zag ZigZig/ZagZag ZigZag/ZagZig Operationen Splay/Suche Einfügen Löschen Amortisierte Analyse Einführung/Potential- Methode Hilfssatz Definitionen

uriel
Download Presentation

Splay Trees

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Splay Trees Von Projdakov Benjamin

  2. Inhalt • Binäre Suchbäume • Splay Trees • Self adjustment • Anwendungsbeispiel • Rotationen • Zig / Zag • ZigZig/ZagZag • ZigZag/ZagZig • Operationen • Splay/Suche • Einfügen • Löschen • Amortisierte Analyse • Einführung/Potential- Methode • Hilfssatz • Definitionen • Zugrifslemma • Zig/Zag • ZigZag/ZagZig • ZigZig/ZagZag • Splay • Satz 1: Splay-Baum • Satz 2: Binärer Baum mit Splay

  3. Binäre Suchbäume Eigenschaften: • Geordnete Menge von Suchschlüsseln • Linkes Kind der kleinere Suchschlüssel • Rechtes Kind der größere Suchschlüssel • Baum kann zu einer linearen Liste ausarten

  4. Splay Tree • Splay-Bäume wurden 1985 von Daniel Sleator und Robert Tarjan unter dem Namen Self-Adjusting Binary Search Trees vorgestellt • Hat den Vorteil von Selbstjustierung • Benutzt Rotationen für Knotenbewegung • Typische Befehle auf Knoten: • Suche • Füge ein • Lösche

  5. Self adjustment • Nach jeder Operation steht der bearbeitete Knoten in der Wurzel. • Die Tiefe eines Pfads halbiert sich im Schnitt bei Ausführung einer Operation darauf. • Oft benutzte Knoten sind näher an der Wurzel.

  6. Beispiel Compiler Compiler: • Ein Compiler muss die Variablen und andere Bezeichner eines Programms verwalten. • Er kann solche Information in einer Liste oder einer Tabelle behalten. • Gerne werden Variablen alphabetisch deklariert und ein Baum entartet zu einer linearen Liste. • Wenn einige Bezeichner häufiger verwendet werden, muss man dann mehrmals nach diesen suchen. • Ein Splay-Baum würde oft benutzte Variablen an der Wurzel halten und ggf. die Liste zu einem Baum formen.

  7. Rotation: Zig / Zag Zig Nur wenn 1 Schritt zur Wurzel. Bei simpler Implementierung werden 2 Zeiger „umgebogen“. Zag

  8. Rotation: ZigZig / ZagZag ZigZig Wenn mehr als 1 Schritt zur Wurzel. Bei simpler Implementierung werden 4 Zeiger „umgebogen“. ZagZag

  9. Rotation: ZigZag / ZigZag Wenn mehr als 1 Schritt zur Wurzel. Bei simpler Implementierung werden 4 Zeiger „umgebogen“. ZigZag ZagZig

  10. Operation: Splay • Binäre Suche nach Element • Falls Knoten nicht im Baum, wird der Vorgänger betrachtet oder Nachfolger, wenn kleiner als alle. • Bewegung des Elements in die Wurzel

  11. Operationen: Suche Suche: • Einfach eine Splay-Operation mit Rückgabe der neuen Wurzel. • Laufzeit von einer Splay-Operation mit Rückgabe der Wurzel.

  12. Operation: Einfügen Füge „x“ ein : • Suche nach x, falls x gefunden => Splay x • Falls x nicht gefunden, wird der Vorgänger y zur Wurzel. • Dann füge x als neue Wurzel ein, mit • y linkem Kind von x • rechtes Kind von y wird zum rechtem Kind von x. Laufzeit von einer Splay Operation und umbiegen von 3 Zeigern

  13. Operation: Löschen Laufzeit von 2 Splay-Operationen und umbiegen von einem Zeiger Lösche „x“: • Splay x • Wenn x nicht in der Wurzel, ist man fertig. • Entferne x, man erhält nun 2 Bäume. • Führe Splay auf dem linken Baum aus. • Somit linker Baum mit Wurzel, an die man rechts den rechten Baum hängen kann.

  14. Amortisierte Analyse • Analyse der durchschnittlichen Kosten von Operationsfolgen. • Es werden nicht die maximalen Kosten der einzelnen Schritte betrachtet, sondern es wird der Worst Case aller Operationen im gesamten Durchlauf des Algorithmus analysiert. • Dies kann zu einer besseren oberen Schranke führen.

  15. Potential-Methode • sind die amortisierten Kosten für die Operation • sind die tatsächlichen Kosten für die Operation • ist das Potential eines Zustands (ähnlich zum Kontostand)

  16. Amortisierte Analyse: Hilfsatz • Wenn: • Dann: • Denn: geometrisches Mittel arithmetisches Mittel b. • =

  17. Definition Variablen: • x : Schlüssel • p : Knoten • b : Baum • Gewicht von x: • Größe von p: (Summe der Gewichte aller Schlüssel vom Teilbaum mit Wurzel p) Rang von p: • (min. Tiefe bei Gewicht 1) • ,p hat Schlüssel x • , p Wurzel von b Potential von b: • , p ist innerer Knoten von b (Summe aller Ränge der inneren Knoten)

  18. Zugriffslemma Jede Splay-Operation hat als amortisierte Laufzeit maximal: Das ist nun zu zeigen. Rang: • ,p hat Schlüssel x • , p Wurzel von b Variablen: • x : Schlüssel • p : Knoten • b : Baum

  19. Zugriffslemma : Zig / Zag Regeln: 1: 2: 3:

  20. Zugriffslemma : Zig / Zag wegen Aufhebung der nicht bewegten Knoten 1: 2: 3:

  21. Zugriffslemma : ZigZag / ZagZig Regeln: 1: 2: 3: ,da 4:

  22. Zugriffslemma : ZigZag / ZagZig 1: 2: 3: 4:

  23. Zugriffslemma : ZigZig / ZagZag Regeln: 1: 2: , 3:

  24. Zugriffslemma : ZigZig / ZagZag 1: 2: , 3:

  25. Zugriffslemma : Splay Splay ist eine Folge von vorgestellten Operationen. Rang von vor Splay ist Rang des gesuchten Schlüssels vor Splay. Rang von nach Splay ist Rang des Baumes. Rang von nach -ter Operation

  26. Satz 1 : Splay Baum • Für einen anfangs leeren Baum benötigt das Ausführen von m Wörterbuchoperationen mit höchsten N Einfügeoperationen maximal O(m log N). • Wörterbuchoperationen brauchen eine konstante Anzahl von Splay-Operationen + eine konstante Anzahl Einzeloperationen. • Für diesen Beweis setzen wir alle Gewichte auf 1 .

  27. Beweis Zugriffslemma Def. von Def. von Gesamtgewicht N = Anzahl der Einfügeoperationen m = Anzahl von Operationen Größe :

  28. Satz 2 : Binärer Baum mit Splay • Für einen binären Suchbaum mit N Knoten, haben m Suchoperationen (über Splay) einen Aufwand von maximal O((N + m) log (N) + m). • Eine Suchoperation besteht aus einer Splay-Operation und Rückgabe des neuen Wurzelknotens. • Für diesen Beweis setzen wir alle Gewichte auf 1. • Wir suchen die tatsächlichen Kosten über:

  29. Potentialdifferenz = = Erweitere um Blätter (Rang 0, Gewicht 1), somit alle p‘s in beiden Summen Benutze Definitionen: • ( im Teilbaum von ) = Summe aller Gewichte: (Anzahl von Knoten = )

  30. Abschätzung von Suchfolgen Def. von amortisierten Kosten. Treppensumme Zugriffslemma , somit Wegfall Definition Rang und Potentialdifferenz

More Related