Merge Insertion

Dieser Artikel wurde wegen inhaltlicher Mängel auf der Qualitätssicherungsseite der Redaktion Informatik eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Informatik auf ein akzeptables Niveau zu bringen. Hilf mit, die inhaltlichen Mängel dieses Artikels zu beseitigen, und beteilige dich an der Diskussion! (+)

Merge Insertion (auch bekannt als Ford-Johnson-Algorithmus) ist ein rekursives, vergleichsorientiertes Sortierverfahren, das mit weniger Vergleichen als Mergesort auskommt.

Idee des Algorithmus

Der tatsächliche Aufbau des Algorithmus ist schwer zu verstehen. Deshalb soll an dieser Stelle die Idee von Merge Insertion kurz erläutert werden.

Mergesort benötigt immer die gleiche Anzahl Vergleiche abhängig von der Eingabelänge $n$, egal ob $n$ eine Zweierpotenz ist oder nicht. Diese Tatsache macht sich Merge Insertion zu Nutze und schafft es deshalb, mit weniger Vergleichen als Mergesort auszukommen. Die Idee ist, die Eingabe bei der Rekursion nicht in möglichst gleich große Teillisten aufzuspalten, sondern immer die nächstgrößere Zweierpotenz zu bearbeiten. Dadurch benötigt Merge Insertion im Vergleich zur informationstheoretischen unteren Schranke $S(n)\geq \lceil \log _{2}n!\rceil$ nur eine sehr geringe Anzahl Vergleiche mehr, als theoretisch notwendig.

Laufzeit

Merge Insertion hat im Best-, Average- und Worst-Case eine ${\mathcal {O}}(n\cdot \log(n))$-Komplexität.

Algorithmus als Pseudocode

procedure MergeInsertion($S_{1}{,}...{,}S_{n}$):

 1. Sortiere die Eingabe $S_{1}{,}...{,}S_{n}$ mit je einem Vergleich in $\lfloor n/2\rfloor$ disjunkte Paare.
    Ergebnis: $b_{i}{<}a_{i}$ mit $i=1{,}...{,}\lfloor n/2\rfloor$
 2. Sortiere die größeren Elemente $a_{1}{,}...{,}a_{\lfloor n/2\rfloor }$ rekursiv mit MergeInsertion.
 3. Nenne das Ergebnis aus Schritt 2 die Hauptkette: $b_{1}{<}a_{1}{<}a_{2}...{<}a_{\lfloor n/2\rfloor }$
    Füge nun die restlichen Elemente $b_{2}{,}...{,}b_{\lceil n/2\rceil }$ durch Binäres Einfügen in der Reihenfolge 
    $b_{3},b_{2},b_{5},b_{4},b_{11},b_{10},b_{9},b_{8},b_{7},b_{6},...$ in die Hauptkette ein.

Literatur

• Donald E. Knuth: Sorting and Searching/The Art of Computer Programming. Addison-Wesley Longman, 2. Auflage, 2003, ISBN 0201896850