Sortier-Algorithmen: Spezifikation

Id: sortier.tex,v 1.2 2006-10-30 16:03:17 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.

  y₁$\le$y₂$\le$...$\le$y_n+1

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