使用cplex和java创建两种因变量

Question

我是新来CPLEX工作的。我的简化优化问题是:

 objective function: 
            Maximize z1 + z2 + z3
 Subject to:   
            c1: x1 - 3 x2 + x3 <= 30
            c2: x1 + x2 + x3 >= z1
            ...
 Bounds
            x1=[0,1]
            x2=[0,1] 
            ...

为了模拟这个问题，我的代码是:

public static void main(String[] args) {
    try {
        IloCplex cplex = new IloCplex();            
        IloNumVar[] z = cplex.numVarArray(3, 0.0, 1.0);
        IloLinearNumExpr objectiveExpr = cplex.linearNumExpr();
        IloLinearNumExpr constraintExpr1 = cplex.linearNumExpr();
        IloLinearNumExpr constraintExpr3 = cplex.linearNumExpr();
        IloNumVar[] x = cplex.numVarArray(3, 0.0, 1.0);
        for (int i = 1; i < 3; i++){
            objectiveExpr.addTerm(1, z[i]);
        }
        IloObjective obj = cplex.maximize(objectiveExpr);
        cplex.add(obj); 
        constraintExpr1.addTerm(1, x[1]);
        constraintExpr1.addTerm(-3, x[2]);
        constraintExpr1.addTerm(1, x[3]);
        cplex.addLe(constraintExpr1, 30);
        constraintExpr2.addTerm(-1, x[1]);
        constraintExpr2.addTerm(1, x[2]);
        constraintExpr2.addTerm(1, x[3]);
        cplex.addGe(constraintExpr2, z[1]);
        .
        .
        .
    }
    catch (IloException e){
        System.err.println("Concert exception '" + e + "' caught");
    }

}

这段代码生成的模型是:

objective function:  
           Maximize x1 + 2 x2 + 3 x3
Subject To:               
           c1: x7 - 3 x8 + x9 <= 30
           c2: - x1 - x7 + x8 + x9 <= 0
Bounds
           0 <= x1 <= 1
           ...

如果它开始从x4而不是x7建模约束，我可以很容易地区分x和z。

Answer 1

不像David，我知道CPLEX已经有17年了，但我也不明白你的问题是什么。你能解释一下生成的模型与你期望的有什么不同吗?我们可能自己能解决这个问题，但是当你能解释得更好的时候，我们中的许多人却不得不花额外的时间来理解你的问题，这似乎是愚蠢的。

我可以建议你使用setName(…)来命名你的变量和约束，这样你可以更好地看到在生成的模型中发生了什么。