Basic Mixed Integer Set

Spezielles MIP. $X^{MI}=\left\{(s,y)\in {\mathbb{R}}_{+}^1\times {\mathbb{Z}}^1:s+y\ge b\right\}$

Zulässige Ungleichung: Simple Mixed Integer Rounding Ungleichung

Polyeder

$$\begin{array}{r}s+y\ge b\\ s\ge f(\lceil b\rceil -y)\\ s\ge 0\end{array}$$

beschreibt $\mathrm{conv}(X^{MI})$.