如果那么约束

Question

我有接下来的两个if-then约束

1.- IF x1 + y2-n> = 0 THEN m2 = 0，ELSE m2 = 1

其中x1，x2是离散的，n是常数，m2是二进制变量。

1. IF 2x1 - y1> = 0 THEN m1 = 0，ELSE m1 = 1

其中m1是二进制变量。

如何将此约束转换为常规约束。

Answer 1

您可以将问题分为四个子问题：

问题1：

m2=1
m1=0
x1+y2-n < 0
2x1 - y1 >= 0

问题2：

m2=0
m1=1
x1+y2-n >= 0
2x1 - y1 < 0`

问题3：

m2=1
m1=1
x1+y2-n < 0
2x1 - y1 < 0

问题4：

    <PyQt4.QtGui.QLineEdit object at 0x0000000004DB2318>

在每个问题上，提取可用的解决方案，并在需要时获得最佳解决方案。