Ein duales Schnittebenenverfahren nach Gomory

Zusammenfassung

Das Problem (P_st), das aus (P) durch Weglassen der Ganzzahligkeitsforderungen entsteht, wird das (P) zugrunde liegende stetige Problem genannt. Die zulässigen Bereiche M(P) und M(P_st) genügen offenbar der Beziehung

$$ M(P) = M\left( {{P_{{st}}}} \right) \cap \left( {{Z^{{{n_1}}}} \times {\mathbb{R}^{{{n_2}}}}} \right) $$

die in nebenstehender Skizze für den Fall, daß M(P_st) ⊆ ℝ² ist und die Ganzzahligkeitsforderung x₂ ∈ ℤ lautet, veranschaulicht wird.