如何在线性规划中定义“if if only only”规则？ [关闭]

Question

现在我有两个二元决策变量X1和X2。如果我打算定义一个约束，当且仅当X1是1时，X2可以是1.换句话说，X2是X1的续集。我怎样才能在线性规划中定义这种逻辑？

任何提示都将受到赞赏，非常感谢提前！

Answer 1

我对你的问题有点困惑。

x1 = 1 <=> x2 = 1

是相同的

x1=x2

我想你想要的

x1 = 1 => x2 = 1

即，“不仅仅是”，而只是“如果”。这可以写成：

x2 >= x1

相反

x1=0 => x2=0

当然是同样重要的：

x2 <= x1 

另请注意，LP没有二进制变量（LP指的是连续变量）。二进制变量只能用于（混合）整数程序。