Basic Mixed Integer Set Spezielles MIP. XMI={(s,y)∈R+1×Z1:s+y≥b}X^{M I}=\left\{(s, y) \in \mathbb{R}_{+}^{1} \times \mathbb{Z}^{1}: s+y \geq b\right\}XMI={(s,y)∈R+1×Z1:s+y≥b} Zulässige Ungleichung: Simple Mixed Integer Rounding Ungleichung Polyeder s+y≥bs≥f(⌈b⌉−y)s≥0\begin{array}{r} s+y \geq b \\ s \geq f(\lceil b\rceil-y) \\ s \geq 0 \end{array}s+y≥bs≥f(⌈b⌉−y)s≥0 beschreibt conv(XMI)\operatorname{conv}(X^{M I})conv(XMI).
