min und max als MIP

• kann man den Max-Operator durch lin. Ungln simulieren?

  (gibt es äq. Formulierung zu max(x, y) = z?)

• Ansatz: x≤z∧y≤z∧(x = z∨y = z),

  aber das oder ist verboten.

Idee zur Simulation von A≤B∨C≤D:

• neue Variable f∈{0, 1}
• Constraint A≤B + …∧C≤D + …
• funktioniert aber nur ...