Einfügen: Spezifikation

Id: einf.tex,v 1.1 2006-10-30 16:03:17 waldmann Exp

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

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

Bedingungen:

• die Eingabe ist aufsteigend geordnet

  x₁$\le$x₂$\le$...$\le$x_n

• die Ausgabe ist eine Permutation (= Umordnung) der Folge (z, x₁, x₂,..., x_n)
• die Ausgabe ist aufsteigend geordnet

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