Gurobi 无法添加约束答案

【问题标题】：Gurobi can't add constraintsGurobi 无法添加约束
【发布时间】：2015-04-26 22:05:19
【问题描述】：

我正在用 Java 编写一个程序来解决 Gurobi 的 MIP 问题。这个问题需要很多约束和变量，但第一个不能添加到我的模型中。在问题的更深处，当我尝试添加约束时模型显示它（通过调试读取），但row_no 等于-1。第一件事：

创建多维变量矩阵：

    GRBVar[][] x = new GRBVar[iMax][jMax];
    for (int i = 0; i < iMax; i++) {
        for (int j = 0; j < jMax; j++) {
            x[i][j] = model.addVar(0.0, GRB.INFINITY, 0.0, GRB.SEMIINT, "xi" + i + "j" + j);
        }
    }

添加约束（看起来像 Xij

    for (int i = 0; i < iMax; i++) {
        for (int j = 0; j < jMax; j++) {

            GRBLinExpr lhs = new GRBLinExpr();
            GRBLinExpr rhs = new GRBLinExpr();

            lhs.addTerm(1.0, x[i][j]]);
            rhs.addConstant(10);

            model.addConstr(lhs, GRB.LESS_EQUAL, rhs, "Vi" + i + "j" + j);
        }
    }

调试项目：有iMax * jMax 列、iMax * jMax 变量、iMax * jMax 约束（row_no = -1）和 0 行。

有什么想法吗？

编辑

我不确定row_no 的用途，但我认为 Gurobi（从抽象的角度来看） 将数据组织成一个伪矩阵，其中变量存储为列和约束为行。为什么我这么说？因为每次我添加一个变量时，列的计数器都会增加 1，并且它的 col_no 与特定的列相关联，而不是当我添加一个约束时，行的计数器不会改变。

列：http://www.gurobi.com/documentation/6.0/refman/java_grbmodel_getcol.html 行数：http://www.gurobi.com/documentation/6.0/refman/java_grbmodel_getrow.html

编辑 2

我对列、行或其他任何内容都没有任何问题，但是当我尝试求解宽松模型时，Gurobi 显示以下输出：

Optimize a model with 0 rows, 1475400 columns and 0 nonzeros
Coefficient statistics:
  Matrix range    [0e+00, 0e+00]
  Objective range [0e+00, 0e+00]
  Bounds range    [1e+00, 1e+03]
  RHS range       [0e+00, 0e+00]
Presolve removed 0 rows and 1475400 columns
Presolve time: 0.36s
Presolve: All rows and columns removed
Iteration    Objective       Primal Inf.    Dual Inf.      Time
       0    0.0000000e+00   0.000000e+00   0.000000e+00      1s

Solved in 0 iterations and 0.72 seconds
Optimal objective  0.000000000e+00

解决方案可行，但无法显示任何有用信息。我坚持我应该只在添加变量后更新模型，而不是约束。另外，我从 Gurobi 文档中了解到，如果模型需要更新，它会抛出异常（不是我的情况）：

“缺少更新的最常见症状是 NOT_IN_MODEL 异常，表示您尝试引用的对象还没有在模型中”

编辑 3

我已按照您的建议更新模型（添加约束后）并且一切正常。我认为这不是强制性的，但与文档（和代码示例）相比，它是。

【问题讨论】：

我不完全明白：当你求解模型时，是否真的违反了约束？或者row_no=-1究竟是什么效果？
实际效果如何？ Gurobi 是否正确解决了您的模型？
PS：可能需要一个 model.update() 才能看到所有效果。

标签： java linear-programming gurobi

【解决方案1】：

我猜你的模型表现出奇怪的行为，因为你所有的变量在目标函数中都有 0.0 作为系数。此外，将所有变量设置为零是一种可行的解决方案。

虽然我无法解释 Gurobi 将行设置为零的内部机制，但它确实为这种（奇怪的）模型提供了正确的答案。

【讨论】：