java/cplex约束的线性化

Question

我有一个约束，我需要合并在我的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

如果我像那样把它放进去，我就会得到复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);
    }
}
}

现在，我得到一个"Row"NB(9.7)。"不可行的，所有条目都在隐含边界。"错误消息。我告诉我错误就在这个约束中，就在开始迭代它的时候。谁能告诉我我的错误在哪里，或者证明它一定在别的地方?

Answer 1

好了，问题是我忘记了等式第一项中的"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的情况，不等式的左侧部分不能被中和。