CPLEX求解多商品多仓库库存路由MILP模型时提示‘Solver not applicable’

问题背景 #

使用CPLEX求解多商品多仓库库存路由问题的MILP模型时，出现Solver not applicable (cplex)报错，结合提供的模型代码、数据代码及数据文件，排查出以下问题及修复方法：

核心问题及修复步骤 #

1. 数据与模型变量不匹配 #

• 变量名不一致：模型中使用Tmax和VC，但数据代码中定义为numTmax和numVC，且VC是数组类型需匹配车辆数量：

  // 数据代码中修正
  Tmax= 35;
  VC[Vehicle] = [150, 150]; // 对应numVehicle=2
  

• 未定义变量缺失：模型中声明的numFrom、numTo、numXi、EN等变量未在数据代码中赋值，补充：

  numFrom=1;
  numTo=4;
  numXi=5;
  EN=5;
  

• 冗余代码删除：数据代码中t变量未在模型中使用，直接删除该行。

2. 模型约束语法与逻辑错误 #

• 约束2（求和索引重复）：外层forall索引与求和索引重复，修正为：

  forall(p in Prod, m in Manufacturer, t in Period){
      QM[p][m][t] == sum(w in Warehouse) QT[p][m][w][t];
  }
  

• 约束3（库存平衡逻辑错误）：原约束索引错误，修正为仓库的库存平衡：

  forall(p in Prod, w in Warehouse, t in Period){
      sum(m in Manufacturer) QT[p][m][w][t] + I[p][w][t-1] == D[p][w][t] + I[p][w][t];
  }
  

• 约束6（维度不匹配）：MINI维度为Prod×Manufacturer，但约束中使用MINI[p][w]，需调整数据维度或约束，示例：

  // 假设MINI为仓库最低库存，调整后约束：
  forall(p in Prod, w in Warehouse, t in Period){
      I[p][w][t] >= MINI[p][w];
  }
  

• 约束8-10（流量平衡逻辑混乱）：修正为标准车辆路径流量平衡规则：

  // 起点（PN）流出等于车辆启用标记
  forall(i in PN, v in Vehicle, t in Period){
      sum(j in DN) X[i][j][v][t] == alpha[i][v][t];
  }
  // 中间点（DN）流入等于流出
  forall(h in DN, v in Vehicle, t in Period){
      sum(i in PN) X[i][h][v][t] + sum(i in DN: i!=h) X[i][h][v][t] == sum(j in DN: j!=h) X[h][j][v][t];
  }
  

• 约束13（索引错误）：QT维度不匹配，修正为：

  forall(w in Warehouse, t in Period){
      sum(v in Vehicle) U[1][v][t] == sum(p in Prod, m in Manufacturer) QT[p][m][w][t];
  }
  

• 约束19-20（索引越界）：A[0][v][t]中0不在PN范围内，需将A的维度调整为N×Vehicle×Period（N包含起点），或重新定义起点索引。

3. Excel数据读取语法错误 #

数据代码中Sheet路径格式错误，修正所有SheetRead路径：

D from SheetRead(my_data,"'Sheet5'!B4:D6");
CM from SheetRead(my_data,"'Sheet5'!B15:D17");
// 其余读取路径同理修正

4. CPLEX求解器配置检查 #

• 确保OPL IDE中选择CPLEX求解器（而非CP Optimizer，后者适用于约束规划）；
• 检查CPLEX许可证是否有效，过期或配置错误会导致求解器无法调用；
• 修复约束后重新运行，排除模型无界或不可行的情况。

内容的提问来源于stack exchange，提问作者Ngọc Tuyết Anh Trần