时间戳

首页 > 解决方案 > 如何处理 Gurobi 约束中的绝对值

gurobi - 如何处理 Gurobi 约束中的绝对值

问题描述

我想处理 Gurobi 约束中的绝对值。这是我的代码 abc.lp。但是我没有得到解决方案。

Maximize
  v0 + v1 + v2



SubjeCt To
C1: 3 v0 + v1 + v2 <=   72

C2: 2 v0 + 3 v1 + 2 v2 <= 80

C3: abs_(v0 - v1) + abs_(v1 - v2) >= 10

Integers 
v0 v1 v2
End

标签： gurobi

解决方案

该abs_函数是 Gurobi Python API 的一部分，在 LP 文件中不起作用。（读取您的 LP 文件时，求解器将您的C3约束解释为具有四个变量的线性约束，名称分别abs_(v0为 、v1)、abs_(v1和v2)。）

另外，请注意绝对值约束只能采用var1 = abs_(var2). 所以你必须定义一些辅助变量来模拟上面的约束。

在 Python API 中，您可以C3按如下方式对约束进行建模：

a = model.addVars(4, name="a")   # auxiliary variables
model.addConstr(a[0] == v0 - v1)
model.addConstr(a[1] == v1 - v2)
model.addConstr(a[2] == abs_(a[0]))
model.addConstr(a[3] == abs_(a[1]))

model.addConstr(a[2] + a[3] >= 10)

在 LP 文件中，您可以在 General Constraints 部分看到绝对值约束：

General Constraints
 GC0: a[2] = ABS ( a[0] )
 GC1: a[3] = ABS ( a[1] )

推荐阅读