Suppose the following constraints appear in a linear program: \begin{align*} x_i \geq 0; y_i \geq 0; \ \text{If } x_i > 0, \text{ then } y_i \geq y_j \text { for all . } \end{align*} That is, ...

How to express a "conditional maximum" constraint in a linear program? – or.stackexchange.com
Erel Segal-Halevi
