如何在线性规划中定义 "if and only if" 规则?

How to define "if and only if" rule in linear programming?

现在我有两个二元决策变量 X1 和 X2。如果我打算定义一个约束,当且仅当 X1 为 1 时,X2 可以为 1。换句话说,X2 是 X1 的 sequel。我如何在线性规划中定义这种逻辑?

任何提示将不胜感激,在此先感谢!

我对你的问题有点困惑。

x1 = 1 <=> x2 = 1

相同
x1=x2

我想你想要

x1 = 1 => x2 = 1

即没有 "if and only if",只有 "if"。这可以写成:

x2 >= x1

反转

x1=0 => x2=0

当然同样微不足道:

x2 <= x1 

另请注意,LP 没有二进制变量(LP 指的是连续变量)。二元变量只能在(混合)整数程序中使用。