CPLEX固定变量为历史最优值后MIP Start失效如何解决

问题根因 #

CPLEX 校验 MIP 初始解（MIP starts）时，会逐变量检查初始解取值是否符合当前模型的变量上下界约束。你将x[a]上下界固定为x_val后，如果原有 MIP starts 中x[a]的取值与x_val不一致，CPLEX 会判定该初始解整体不可行并直接丢弃，因此触发对应警告。
而调用x[a].end()移除变量后，CPLEX 校验 MIP starts 时会自动忽略已被移除的变量，不会产生取值冲突，因此初始解可以正常生效。

可行解决方案 #

你可以选择以下任意一种方式实现固定变量同时保留 MIP starts 生效：

• 同步更新 MIP starts 中对应变量的取值
  固定变量边界后，主动将原有 MIP starts 里x[a]的取值修改为x_val，再重新写入模型即可。示例代码如下：

// 读取原有MIP start
IloNumArray startVals(env);
IloBoolVarArray startVars(env);
cplex.getMIPStart(startVars, startVals);
// 查找x[a]的位置并更新取值
for (int i=0; i<startVars.getSize(); i++) {
    if (startVars[i].getName() == x[a].getName()) {
        startVals[i] = x_val;
        break;
    }
}
// 重新写入更新后的MIP start
cplex.addMIPStart(startVars, startVals);

• 调整MIP start校验参数自动修复冲突
  修改 CPLEX 的MIPStartCheck参数，让 CPLEX 自动修复不可行的 MIP start 而非直接丢弃。你只需要在求解前添加一行参数设置代码即可：

cplex.setParam(IloCplex::MIPStartCheck, 1);

参数设为1时，CPLEX 会自动将 MIP start 中违反约束的变量取值调整到可行范围内，其他变量的初始值会完整保留，无需手动修改 MIP start。

• 直接复用上次求解结果作为新的MIP start
  如果你是在上次求解完成后直接修改模型、未清空求解上下文，可以直接将上次的求解结果作为新的 MIP start 写入：

// 上次求解完成后直接读取全量变量值写入新的MIP start
IloNumArray allVals(env, x.getSize());
for (int i=0; i<x.getSize(); i++) {
    allVals[i] = cplex.getValue(x[i]);
}
cplex.addMIPStart(x, allVals);

这个方案不需要修改校验参数，也不需要定位修改单个变量的初始值，兼容性更强。

内容的提问来源于stack exchange，提问作者katherinejohnson