Merge Insertion

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

Beteilige dich an der Diskussion!

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! (+)

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 ${\displaystyle n}$, egal ob ${\displaystyle 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 ${\displaystyle 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 ${\displaystyle {\mathcal {O}}(n\cdot \log(n))}$-Komplexität.^[1][2]

Algorithmus als Pseudocode

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

 1. Sortiere die Eingabe ${\displaystyle S_{1}{,}...{,}S_{n}}$ mit je einem Vergleich in ${\displaystyle \lfloor n/2\rfloor }$ disjunkte Paare.
    Ergebnis: ${\displaystyle b_{i}{<}a_{i}}$ mit ${\displaystyle i=1{,}...{,}\lfloor n/2\rfloor }$
 2. Sortiere die größeren Elemente ${\displaystyle a_{1}{,}...{,}a_{\lfloor n/2\rfloor }}$ rekursiv mit MergeInsertion.
 3. Nenne das Ergebnis aus Schritt 2 die Hauptkette: ${\displaystyle b_{1}{<}a_{1}{<}a_{2}...{<}a_{\lfloor n/2\rfloor }}$
    Füge nun die restlichen Elemente ${\displaystyle b_{2}{,}...{,}b_{\lceil n/2\rceil }}$ durch Binäres Einfügen in der Reihenfolge 
    ${\displaystyle 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