Sortier-Algorithmen: Spezifikation

Id: sortier.tex,v 1.3 2004/10/19 15:16:31 waldmann Exp

Eingabe: eine Folge (x₁, x₂,..., x_n) von Zahlen.

Ausgabe: eine Folge (y₁, y₂,..., y_n) von Zahlen.

Bedingungen:

• die Ausgabe ist eine Permutation (= Umordnung) der Eingabe.
• die Ausgabe ist aufsteigend geordnet.

geschätzt 3/4 aller Rechenzeit der Welt wird für Sortieren verbraucht!