如何将条件二进制变量添加到 GUROBI

Question

我正在使用 Gurobi 作为求解器和 python 作为接口进行数学建模。在我的模型中，我想创建一个二元变量，但如果 a>=1 则允许该变量取值为 1，否则为 0，其中 a 是模型中的另一个决策变量。

二进制变量应该如下图所示：-

Answer 1

总而言之，您想对含义进行建模：

  x>=1 => y=1
  x=0  => y=0
  x >= 0 (non-negative variable)
  y ∈ {0,1}  (binary variable)      

有不同的方法可以做到这一点。

请注意，我们可以反转含义：

  y=0 => x=0
  y=1 => x>=1

指标约束

  y=0 => x=0
  y=1 => x>=1
 

可以直接实现为指标约束。见https://www.gurobi.com/documentation/9.1/refman/py_model_agc_indicator.html。

大 M 方法

  x <= M*y   (this will do y=0 => x=0)
  x >= y     (this will do y=1 => x>=1) 

这里的常数 M 是 x 的上界。如果 M 很大，最好使用指标约束。