Sortierverfahren

Gegeben seien n Datensätze R₁ ··· R_n vom gleichen Typ, die im Hauptspeicher (z.B. in einem Array) liegen.

Die Datensätze haben ein oder mehrere Felder, die zusammen die Schlüssel K₁ ··· K_n bilden.

Für die Schlüssel gibt es eine vollständige Ordnungsrelation <=.

Eine Ordnungs-Relation <= ist vollständig, wenn

a <= a (Reflexivität)

a <= b ∧ b <= a => a = b (Antisymmetrie)

a <= b ∧ b <= c => a <= c (Transitivität)

Gesucht wird eine Permutation p(1) ··· p(n), so daß gilt:
K_p(1) <= K_p(2) <= ··· <= K_p(n).

Literatur: ``The Art of Computer Programming'' von Donald E. Knuth, Volume 3, ``Sorting and Searching''.