\begin{slide}{min und max als MIP}

  \begin{itemize}
  \item 
kann man den Max-Operator durch lin. Ungln simulieren?

(gibt es äq. Formulierung zu $\max(x,y)=z$?)

\item

Ansatz: $x\le z \wedge y \le z \wedge (x=z \vee y=z)$,

aber das \emph{oder} ist verboten.
\end{itemize}


  Idee zur Simulation von $A\le B \vee C \le D$:
\begin{itemize}
\item 
  neue Variable $f\in \{0,1\}$
\item
  Constraint $A \le B + \ldots \wedge C \le D + \ldots$
\item funktioniert aber nur \dots
  \end{itemize}


\end{slide}
