1

我正在用 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 < 10):

        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与特定的列相关联,而不是当我添加一个约束时,行的计数器不会改变。

Gurobi 模型调试

列: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

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

4

1 回答 1

0

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

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

于 2015-04-26T13:59:19.877 回答