Achja Literaturempfehlung: H. Borggräfe: Schützenvereine im Nationalsozialismus, Münster 2010;
hier die Einleitung

“Ein durchschnittlich ausgestatteter Porsche Cayenne kostet 130 000 Euro. Einer ALG-II-Bezieherin werden im Regelsatz für »Mobilität« monatlich 14,26 Euro zugestanden. Wenn sie diese Pauschale nun anspart, um sich einen derartigen fahrbaren Untersatz zu kaufen, müsste sie dies 760 Jahre lang tun. Der Erlebensfall ist also ausgeschlossen. (…) Es ist einfach der elende Zustand der Gesellschaft: Symbolisch stehen mit einem Porsche Cayenne neben dem armen Schlucker knapp acht Jahrhunderte Abstand zum guten Leben – abgeparkt am Straßenrand.”

Michael Kronawitter (ALB)

Sollte man also nicht unbedingt machen, kann man aber.

edit: Youtube hat TOS Violation festgestellt. Schade daß denen das gerade aufgefallen ist als sich die Zugriffszahlen des heimattreuen Medleys gerade von einem Tag auf den anderen verzehnfacht hatten. Doch das Jupp Goebbels Institut für Jugendkultur hat offenbar rechtzeitig gehandelt und den Film gesichert. Er kann aktuell hier abgerufen werden.

edit #2: Mittlerweile wird in der Fangemeinde auch ein Bootleg eines weniger bekannten Tracks gehandelt. Sind wir vom aufsteigenden Stern am deutschnationalen Raphimmel bisher sozialkritische Texte gewohnt, zeigt uns der sensible Junge aus dem Volk hier, daß er durchaus auch persönliche Themen wie Romantik und Trennungsschmerz glaubhaft rüberbringen kann. (via)

Freiheit für Tobias!

Trailer

Im Gegensatz zu anderen binären Suchbäumen wird jedem Knoten im Rot-Schwarz-Baum eine Farbe zugewiesen, anhand derer die Balance aufrechterhalten werden kann, nämlich Schwarz oder Rot. Für die Speicherung der Farbinformation wird entweder ein zusätzliches Feld in der Knotenstruktur angelegt oder beispielsweise der Knotenzeiger manipuliert, um Speicherplatz zu sparen. Auf einen roten Knoten dürfen unmittelbar nur schwarze Knoten folgen. Von jedem Knoten enthalten alle Pfade zu den von ihm erreichbaren Blattknoten die selbe Anzahl schwarzer Knoten. Die Wurzel ist immer schwarz.

Aus diesen drei zentralen Eigenschaften folgt eine maximale Höhe von . Bei den Operationen insert und delete werden sie durch Rotationen und Farbverschiebungen aufrechterhalten.

Left-leaning red-black trees

Durchschnittliche und maximale Baumhöhe
(Durchschnitt aus 10000 zufälligen Bäumen)

Im linksgerichteten (linkslastigen) Rot-Schwarz-Baum wird nun zusätzlich vorausgesetzt, daß ein Knoten kein rechtes rotes ohne ein linkes rotes Kind haben darf. Dadurch fällt die Spiegelung der zu behandelnden Fälle von Ungleichgewicht weg, was den Code deutlich übersichtlicher macht. Die Wiederherstellung der Balance findet auf dem Rückweg der rekursiven Aufrufe von insert und delete statt. Sedgewick verspricht einen bis zu viermal kürzeren Code im Vergleich mit Implementierungen des herkömmlichen Rot-Schwarz-Baumes.

Ich habe die Implementierung von Sedgewick abgeschrieben und halbwegs gemäß Spezifikation vervollständigt. Weil die Implementation hauptsächlich zur Veranschaulichung dient, enthalten die Knoten lediglich ihren Schlüssel. Dafür speichert der Baum die Anzahl seiner Elemente (size) und kann seine Höhe ermitteln (height()). Beim Testen von insert überschritt Java nach dem Einfügen von ca. 7,5 Millionen Elementen seinen Heap Space und brach ab.

Einfügen des Elements 310

Einfügen (insert)

Auf der Suche nach dem Blatt, hinter dem der neue Knoten angehängt wird, wird nach Knoten mit zwei roten Kindern Ausschau gehalten. Die Kinder werden in diesem Fall schwarz, die Mutter rot eingefärbt. Dadurch wird verhindert, daß der neu angefügte Knoten (immer rot) sowohl eine rote Mutter als auch eine rote Tante hat. Dieser Fall könnte mit den vorgesehenen Mitteln nicht behoben werden.

Ergibt sich jedoch nach dem Anfügen der Fall zweier aufeinanderfolgender roter Knoten, kann dies durch eine Rechtsrotation um die Großmutter des angefügten Knotens geklärt werden. Daß es wirklich nur eine Rechtsrotation braucht, wird dadurch gewährleistet daß einzelne rote Kinder durch Linksrotation immer zu linken Kindern gemacht werden. Diese beiden Maßnahmen werden auf dem Rückweg der Rekursion in der Methode fixUp() ergriffen.

Löschen (delete)

Auf der rekursiven Suche nach dem zu löschenden Knoten schiebt der Algorithmus rote Knoten vor sich her, damit zum Schluß einfach ein rotes Blatt abgesägt werden kann, wodurch die Baumeigenschaften nicht verletzt werden. Die ensprechende Invariante für den Weg abwärts erfordert, daß entweder der aktuelle Knoten oder je nach Suchrichtung das linke oder rechte Kind rot ist. Um dies aufrechtzuerhalten werden die Hilfsfunktionen moveRedLeft() und moveRedRight() verwendet, die einen roten Knoten aus einem Unterbaum in den anderen verschieben oder zur Not erzeugen. Verletzungen der Linkslastigkeit durch vorangegangene Rechtsrotationen etc. werden wie beim Einfügen auf dem Rückweg der Rekursion mit fixUp() behoben.

Auswuchern nach dem Löschen des Schlüssels “0″

Das Löschen eines inneren Knotens n findet mittels Ersetzen des Knoteninhalts von n mit dem des kleinsten Nachkommens im rechten Unterbaum von n statt. Damit wird also der gelöschte Knoten mit dem lexikalisch nächstgrößeren Schlüssel überschrieben. Dazu dient die Methode deleteMin(). Aufgrund der immanenten Linkslastigkeit ist das Minimum eines (Unter-)Baums immer ein Blattknoten. Auch hier wird die erwähnte Invariante mitgenommen, so daß der ensprechende Blattknoten gelöscht werden kann, ohne daß nach Durchführung des fixup die Baumeigenschaften verletzt wären.

Ein Nachteil dieses Verfahrens ist, daß komplett schwarze Pfade auf ihre doppelte Länge anwachsen können. Damit tritt der worst case von einer Baumhöhe nahe nach wiederholten Löschvorgängen offenbar relativ häufig ein. Damit ist der Baum natürlich trotzdem noch balanciert und alle Operationen haben weiterhin eine garantierte Laufzeit in .

Desweiteren schlägt sich die Übersichtlichkeit und Anschaulichkeit der Implementierung des linksgerichteten Rot-Schwarz-Baums besonders in der Methode delete nieder. Statt seitenweiser Fallunterscheidungen samt deren Spiegelung, wie beim symmetrischen Rot-Schwarz-Baum, braucht es für die left leaning version lediglich eine überschaubare Erweiterung des rekursiven Codes für den unbalancierten binären Suchbaum und ein paar kurze Hilfsfunktionen. Es ist weder die Speicherung der Knotentiefe noch die des Mutterknotens in der Knotenklasse notwendig.

Anzahl von Balanceoperationen beim Einfügen bzw. Löschen
(Durchschnitt bei 10000 Bäumen)

Eigenschaften

Aus den Eigenschaften des left-leaning red-black tree folgt eine maximale Höhe von . So viel kostet also ein Suchvorgang im worst case. Es zeigt sich, daß die durchschnittliche Höhe eines Baumes von beliebiger Größe bei ungefähr liegt. Gnuplot ermittelt einen Faktor von ~ 1,95 für die durchschnittliche Höhe von Bäumen mit 1 bis 50000 zufälligen Elementen. Die durchschnittliche Dauer eines erfolgreichen Suchvorgangs liegt laut Sedgewick bei . Weitere Beobachtungen über Zuwachs roter Knoten, relativer Größe linker Unterbäume usw. finden sich im paper.

• LLRB.java
• Ausführliches Vortragsscript Sedgewicks
• Implementierung in C