Grokking Timsort

Gibt es eine (relativ) neue Art auf dem block namens Timsort. Es ist verwendet worden, als Python-Liste.Art, und wird nun das neue Array.Sortieren in Java 7.

Gibt es einige Dokumentation und ein winzigen Wikipedia-Artikel Beschreibung der high-level-Eigenschaften der Art, und einige low-level-performance-Bewertungen, aber ich war neugierig, ob jemand kann bieten einige pseudocode zu veranschaulichen, was Timsort wird genau gemacht, und was sind die wichtigsten Dinge, die es machen, zippy. (Esp. mit Bezug auf die zitierten Papier, "Optimistisch Sortieren und Informationen Theoretischer Komplexität.")

(Siehe auch Verwandte StackOverflow-post.)

  • Diesen link svn.python.org/projects/python/trunk/Objects/listsort.txt aus der früheren Frage ist ziemlich klar. Es ist eine optimierte und optimierter merge-sort.
  • Ich meinte eigentlich einen link zu, dass in meiner "Dokumentation" - link. Behoben. Meine Frage war insbesondere eine Reaktion auf das Dokument - ich fand es nicht sein nützlich für das Verständnis der Timsort aus einer pseudocode-ish-Stufe.
InformationsquelleAutor Yang | 2009-11-14
  1. 14

    Unter Angabe der jeweiligen Teil von einem inzwischen gelöschten blog-post: Visualisierung von Algorithmen zur Sortierung: Python ' s timsort

    Business-Ende der timsort ist ein mergesort arbeitet läuft von vorsortierten Elementen. Ein minimum run length minrun ist gewählt, um sicherzustellen, dass die letzten Zusammenführungen sind so ausgewogen wie möglich - für die 64 Elemente, minrun passiert zu sein 32. Bevor die fusioniert beginnen, einen einzelnen Durchlauf durch die Daten zur Erkennung von vorbestehenden läuft der sortierten Elemente. Absteigende ausgeführt werden, werden behandelt, indem Sie einfach die Umkehrung Ihnen Platz. Wenn die resultierende Länge ist weniger als minrun, es ist angehoben, um minrun mit insertion sort. Auf einer gemischt-array mit keinen signifikanten vorbestehenden läuft dieser Prozess genau so aussieht wie unsere Vermutung oben: pre-sorting blocks von minrun Elemente mit insertion sort, vor dem Zusammenführen mit dem merge-sort.

    [...]

    • timsort findet eine absteigende ausgeführt, und kehrt die run-in-place. Dies geschieht direkt auf dem array von Zeigern, so scheint "instant" von unserem Standpunkt aus.
    • Der Lauf jetzt verstärkt auf Länge minrun mit insertion sort.
    • Nicht ausgeführt werden ist gemessen am Anfang des nächsten block, und insertion sort dient zum Sortieren der gesamte block. Beachten Sie, dass die sortierten Elemente an der Unterseite dieses Blocks sind nicht speziell behandelt - timsort nicht erkennt läuft, beginnen in der Mitte der Blöcke angehoben, um minrun.
    • Schließlich mergesort verwendet wird, zu verschmelzen, der läuft.
    • Danke. Das ist wohl ziemlich so nah wie werde ich bekommen, was ich wollte. Mein take-away ist, dass es bereitet Blöcke ('minruns') von 32 elts mit insertion sort und reverse-in-place.
    • link ist tot???
    InformationsquelleAutor u0b34a0f6ae
  2. 8

    Diese änderung ging durch die core-libs-mailing-Liste, wenn es ging, so gibt es einige Diskussionen und nützliche links gibt. Hier ist die web-rev mit code-änderungen prüfen und auch die original patch.

    Die Kommentare im code sagen:

    Umsetzung Hinweis: Diese Umsetzung ist eine stabile, anpassungsfähige

    iteratives mergesort, die erfordert, dass weit weniger als n lg(n) - Vergleiche

    wenn das Eingabe-array ist teilweise sortiert, und bietet gleichzeitig die

    Leistung eines herkömmlichen mergesort, wenn die Eingabe-array

    zufällig sortiert. Wenn das Eingabe-array ist fast sortiert, ist das

    die Durchführung erfordert etwa n Vergleiche.

    Die temporäre Speicherung Anforderungen variieren von eine kleine Konstante für fast sortierte

    Eingabe-arrays mit n/2 Objekt-Referenzen für zufällig sortiert-Eingang

    arrays.

    Die Umsetzung nimmt gleich den Vorteil, die aufsteigende und

    absteigender Reihenfolge in der Eingabe-array, und können die Vorteile

    aufsteigender und absteigender Reihenfolge in den verschiedenen teilen der gleichen

    Eingabe-array. Es ist gut geeignet zum Zusammenführen von zwei oder mehr arrays sortiert:

    einfach verketten von arrays und sortiert das resultierende array.

    Die Umsetzung wurde adaptiert von Tim Peters-die-Liste-Art für Python

    TimSort. Es nutzt techiques von Peter McIlroy ist "Optimistisch

    Sortier-und Informations-Theoretische Komplexität", in Proceedings of the

    Fourth Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 467-474,

    Januar 1993.

    Begraben, dort ist die sehr nützlicher link, um die Python-Implementierung details, und ich denke, das ist ein großartiger Ort zu starten, gefolgt von dem code. Auf unglaublich hohem Niveau darüber, timsort verbessert die Leistung, indem es zu bemerken läuft der sortierten Daten, und unter Ausnutzung der Struktur während der Sortierung.

    • Ich meinte eigentlich einen link zu, dass in meiner "Dokumentation" - link. Behoben. Meine Frage war insbesondere eine Reaktion auf das Dokument - ich fand es nicht sein nützlich für das Verständnis der Timsort aus einer pseudocode-ish-Stufe.
    InformationsquelleAutor Alex Miller
Schreibe einen Kommentar