带有CPLEX LazyCallBack的JRE检测到致命错误

Question

我在使用CPlex的LazyCallback运行库存路由问题的分支和切割时遇到了一个问题。

public class lazyConstraintCallback extends IloCplex.LazyConstraintCallback {

private IloCplex cplex;
private IloNumVar[][][][] x;
private IloNumVar[][][] y;
private int nbLocations;
private int horizon;
private int nbVehicles;
private double[][] graph;
private boolean subtour;

public lazyConstraintCallback (IloCplex cplex, IloNumVar[][][][] x, IloNumVar[][][] y, int nbLocations, int horizon, int nbVehicles, double[][] graph, boolean subtour) {
    this.cplex=cplex;
    this.x=x;
    this.y=y;
    this.nbLocations=nbLocations;
    this.horizon=horizon;
    this.nbVehicles=nbVehicles;
    this.graph=graph;
    this.subtour=subtour;
}

protected void main() throws IloException {
    this.graph= new double[this.nbLocations][this.nbLocations];
    for(int t=0;t<this.horizon;t++) {
        for(int k=0;k<this.nbVehicles;k++) {
            double tourlength=1;
            for(int i=1;i<this.nbLocations;i++) {
                if(getValue(y[i][t][k])>0.1) {
                    tourlength++;
                }
            }
            int[] subtour = null;
            if(tourlength>5) {
                for(int i=0;i<this.nbLocations;i++) {
                    for(int j=i+1;j<this.nbLocations;j++) {
                        graph[i][j]=getValue(x[i][j][t][k]);
                    }
                }
                subtour=this.getSubtours(graph, tourlength);
                if(this.subtour) {
                    IloLinearNumExpr expr = this.cplex.linearNumExpr();
                    for (int i=0;i<subtour.length; i++) {
                        for (int j=i+1;j<subtour.length;j++) {
                            if (subtour[i] < subtour[j]) {
                                expr.addTerm(1, this.x[subtour[i]][subtour[j]][t][k]);
                            } else {
                                expr.addTerm(1, this.x[subtour[j]][subtour[i]][t][k]);
                            }
                        }
                    }
                    IloRange SEC = this.cplex.le(expr, subtour.length-1);
                    this.cplex.addLazyConstraint(SEC);
                    System.out.println(SEC);
                }
            }
        }
    }
}

IloRange  : -infinity <= (1.0*x_{2,5}^{1,2} + 1.0*x_{2,6}^{1,2} + 1.0*x_{5,6}^{1,2}) <= 2.0

如果您想提交bug报告，请访问：http://bugreport.Java.com/bugreport/crash.jsp。有关报告bug的位置，请参见problematic frame。

Answer 1

问题出在这一行：

this.cplex.addLazyConstraint(SEC);

您在这里要做的是向models静态懒惰约束表添加懒惰约束。由于这是模型的一部分，所以在优化过程中不允许对此进行修改。为了从回调中添加延迟约束，请使用回调的add()方法：

add(SEC);