0

我有一个约束需要合并到我的 java/cplex 程序中。约束是:

(forall q: x[i][j][q][k])(t[i][k]+s[i]+distance[i][j]-t[j][k]) <= 0        forall k, i, j

如果我这样输入,我会得到 cplex 5002(不是半正定)错误,因为公式不是线性的。我做了以下来线性化约束并避免问题:

for(int k=0; k<Ausführung.k; k++){
for(int i=1; i<grossI.length; i++){
    for(int j=1; j<grossJ.length; j++){
        //for(int q=1; q<grossQ.length; q++){
        IloLinearNumExpr sumLastTerm = model.linearNumExpr();
        for(int q=1; q<grossQ.length; q++){
            sumLastTerm.addTerm(-1.0,  w[i][j][q][k]);
        }   
        IloConstraint con = model.addLe(model.sum(model.prod(-2000, sumLastTerm), model.sum(t[i][k], model.sum(Data.service[i], model.sum(distance[i][j], model.prod(-1.0, t[j][k]))))), 0); 
        con.setName("NB (9.7)."+k + i);
    }
}
}

现在,我得到“行 'NB (9.7).01' 不可行,所有条目都在隐含范围内”。错误信息。我告诉我错误在于这个约束,就在开始迭代它时。谁能告诉我我的错误在哪里或以其他方式验证它必须在其他地方?

4

1 回答 1

0

好的,问题是我忘记了不等式第一项中的中和“1”。因此它应该是:

-2000(1-w[i][j][q][k]) +t[i][j]+s[i]+d[i][j]-t[i][k] <= 0

由于第一项中缺少“1”,因此对于 w[i][j][q][k] == 1 的情况,不等式的左侧部分没有被中和。

于 2015-10-19T01:54:06.240 回答