Pyomo中的依赖二进制变量

Question

我在 Pyomo 中制定约束时遇到问题，我想确定两个变量之间的依赖关系。 在我的 model 中，我总共有 3 个二进制变量：

model.x = pyo.Var(model.M, domain=pyo.Binary)
model.y = pyo.Var(model.M, domain=pyo.Binary)
model.z = pyo.Var(model.M, domain=pyo.Binary)

我的目标 function 与参数model.l将是：

obj_expr = sum(model.l[i] * model.x[i] + model.l[i] * model.y[i] for i in model.M)
model.obj = pyo.Objective(sense=pyo.maximize, expr=obj_expr)

I would like model.z to be the opposite of model.x , so that a 1 in model.x[i] would be a 0 in model.z[i].

我尝试使用以下约束来做到这一点：

    def dependent_var_con(model, i):
        lhs = model.z[i]
        rhs = model.x[i]
        return lhs != rhs 
    model.con = pyo.Constraint(model.M, expr=dependent_var_con)

不幸的是，这不起作用，我收到以下错误：

无法将非常量 Pyomo 表达式 (z[0] == x[0]) 转换为布尔值。 此错误通常是由在 Boolean 上下文（例如“if”语句）中使用 Var、单位或可变参数引起的，或者在检查容器成员资格或相等性时引起。

有谁知道如何处理这个问题？ 谢谢！

Answer 1

您不能在线性程序中使用“不等于”逻辑运算符。 你得到的只是不平等和平等。 :)

然而，如果你只是想反转一个二进制变量，用一点代数就很简单了。 在你的情况下：

z[i] == 1 - x[i]

为所有i弹出一个约束