Normalformen

• Beispiel:

  4y≤x∧4x≤y - 3∧x + y≥1∧x - y≥2

• Normalform: $\bigwedge_{i}^{}$$\sum_{j}^{}$a_{i, j}x_j≥b_i
  

  x - 4y ≥ 0 ...

  
  
• Matrixform: Ax^T≥b^T

  A ist linearer Operator.

Lösung von linearen (Un-)Gl.-Sys. mit Methoden der linearen Algebra