如何从 JuMP/Gurobi 获取基本变量列表？答案

【问题标题】：How to get list of basic variables from JuMP/Gurobi?如何从 JuMP/Gurobi 获取基本变量列表？
【发布时间】：2020-11-05 08:12:36
【问题描述】：

我正在使用 Gurobi 作为我的求解器在 Julia/JuMP 中求解 LP。我想知道我的解决方案中哪些变量是基本的。我如何获得这些信息？

仅检查哪些变量不为零是不够的，因为我们可能正在处理退化解（即基本变量等于零）。

我在网上找到了两个类似的问题，但建议的解决方案似乎不再适用于当前版本的 JuMP（或者我遗漏了什么？）：

有一个名为 VBasis (https://www.gurobi.com/documentation/9.0/refman/vbasis.html) 的 Gurobi 属性似乎是我正在寻找的，但我不知道如何访问它。

【问题讨论】：

标签： gurobi julia-jump

【解决方案1】：

这方面的文档很少，但您可以看到哪些约束是基本的：

model = Model(Gurobi.Optimizer)
@variable(model, x >= 0)
@constraint(model, c, 2x >= 1)
@objective(model, Min, x)
optimize!(model)

julia> MOI.get(model, MOI.ConstraintBasisStatus(), c)
NONBASIC::BasisStatusCode = 1

julia> MOI.get(model, MOI.ConstraintBasisStatus(), LowerBoundRef(x))
BASIC::BasisStatusCode = 0

请注意，由于变量可以有下限和上限，我们会报告哪些约束是基本的，而不是哪些变量是基本的。

文档： https://jump.dev/MathOptInterface.jl/stable/apireference/#MathOptInterface.ConstraintBasisStatus https://jump.dev/MathOptInterface.jl/stable/apireference/#MathOptInterface.BasisStatusCode

【讨论】：