如果条件的LP公式

我有以下LP：

/ *目标函数* /
最小值：1 w + 2 x + 0.5 y + z；

/ *可变范围* /
w + x <= T1;
w + y = U1;
x + z = U2;
T1 = 50；
U1 = 70；
U2 = 25；

在这种情况下，U1 + U2> T1，最优解为y = 70和z =25。我想强制执行以下条件：在将值w和x赋值给y和z之前，先给w和x变量赋值。如果U1 + U2 <T1，那么我只希望w和x具有值且y = z =0。是否可以在LP或MILP中强制执行这样的约束？

这是您的两个问题的答案。详细信息将取决于您使用的求解器：

• $w$$x$$y$$z$

• 在GNU线性编程工具实际上有一个if-then-else表达条件语句结构。在手册中查找“有条件的” 。您可以在这样的语句中包装您感兴趣的子句：if U1 + U2 < T2 then y = 0 and z = 0 else true。（请注意，我实际上并没有尝试过，因此语法可能是错误的。）

• $U1$$U2$$T1$$U1 + U2 < T1$$U1 + U2 \ge T1$