\begin{slide}{Lineare Ungleichungssysteme}

Lösungsverfahren
  \begin{itemize}
  \item Simplex-Verfahren

    Schritte wie bei Gauß-Verfahren 
    für Gleichungssysteme ($=$ entlang
    einer Randfläche des Simplex 
    zu einer besseren Lösung laufen)

    Einzelheiten siehe Vorlesung Numerik/Optimierung

    exponentielle Laufzeit im schlechtesten Fall 
    (selten)
  \item
    Ellipsoid-Verfahren: polynomiell
  \item Fourier-Motzkin-Verfahren:

    vgl. mit Elimination durch vollständige
    Resolution

    exponentielle Laufzeit (häufig)
  \end{itemize}

\end{slide}
