\begin{slide}{Max/Min als MIP}

Idee: $\max(x,y)=z$ ist äquivalent zu

\begin{eqnarray*}
\exists b\in\{0,1\}:
& & x\le z \\
& \wedge & y \le z  \\
& \wedge & z \le  x+M\cdot b \\
& \wedge & z \le  y+M\cdot(1-b)
\end{eqnarray*}

\bigskip

dabei $M$ eine \emph{genügend große} Konstante

(Übung: was heißt das?)

\bigskip

\emph{aber}: je kleiner $M$, desto besser für die Solver.

\end{slide}
