Verfahren nach Fourier und Motzkin (II)

Elimination einer Variablen:

• wähle eine Variable x,
• stelle alle Ungl, in denen x vorkommt, nach x um
• wenn alle die Form `` x$\le$...'' haben, dann ...
• wenn x$\le$G₁ $\wedge$... und x$\ge$K₁ $\wedge$..., dann ...

Fragen:

• Korrektheit
• Komplexität