<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">%% -*- mode: latex; TeX-master: "informatik.tex"; -*-

\begin{slide}{Sortier-Algorithmen: Spezifikation}

\kopf{$ $Id: sortier.tex,v 1.2 2006-10-30 16:03:17 waldmann Exp $ $}

Eingabe: eine Folge $(x_1,x_2,\ldots,x_n)$ von Zahlen.

Ausgabe: eine Folge $(y_1,y_2,\ldots,y_n)$ von Zahlen.

Bedingungen:
\begin{itemize}
\item die Ausgabe ist eine Permutation ($=$ Umordnung) der Eingabe.
\item die Ausgabe ist aufsteigend geordnet.

  $y_1 \le y_2 \le \dots \le y_{n+1}$
\end{itemize}

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

\end{slide}


</pre></body></html>