%% -*- mode: latex; TeX-master: "informatik.tex"; -*-

\begin{slide}{Einfügen: Spezifikation}

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

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

Ausgabe: eine Folge $(y_1,y_2,\ldots,y_n,y_{n+1})$ von Zahlen.

Bedingungen:
\begin{itemize}
\item die Eingabe ist aufsteigend geordnet 

  $x_1 \le x_2 \le \dots \le x_n$
\item die Ausgabe ist eine Permutation ($=$ Umordnung) 
  der Folge $(z,x_1,x_2,\dots,x_n)$
\item die Ausgabe ist aufsteigend geordnet

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


\end{slide}



%%% Local Variables: 
%%% mode: latex
%%% TeX-master: "informatik"
%%% End: 
