如何在docplex中将初始模型的解作为固定起始值传入扩展模型

核心逻辑说明 #

你要实现的是变量值锁定，和常规热启动有本质区别：热启动仅给求解器提供初始候选解，求解器仍可修改这些变量的取值；而你需要的是给对应变量增加等式约束，将其取值完全固定为初始模型的求解结果。

最优实现方案 #

方案1：直接添加固定约束（优先选择，通用性最强） #

• 求解初始模型得到结果后，遍历所有在两个模型中都存在的对应决策变量
• 对每个变量，在扩展模型中添加等式约束：[变量名] = [初始模型求解值]，整数、二进制、连续变量的处理逻辑完全一致
• 该方案适配所有主流求解器（Gurobi/CPLEX/SCIP/OR-Tools等）和建模框架（Pyomo/JuMP/AMPL/GAMS等），无额外依赖，逻辑简单不容易出错

方案2：基于.mst文件的批量固定方案（适合变量规模大的场景） #

完全支持通过.mst文件读取初始解做批量固定，操作步骤如下：

1. 初始模型求解完成后，调用求解器自带接口导出解到.mst文件：
   • Gurobi调用model.write("init_sol.mst")
   • CPLEX调用model.write_solution("init_sol.mst")
2. 构建完扩展模型后，读取.mst文件，遍历文件内存储的变量名与取值，对扩展模型中存在的对应变量批量添加等式固定约束，自动过滤仅在初始模型中存在的变量即可

• 大部分建模框架已经封装了.mst文件读取逻辑，不需要自己做文本解析，比如Pyomo的SolutionReader、JuMP的read_results都可以直接读取解文件内容批量生成约束

注意事项 #

• 若两个模型的变量命名规则不一致，提前做变量名映射表，读取.mst文件时按照映射表匹配扩展模型的变量再添加约束即可
• 不要使用求解器的热启动接口（如Gurobi的Start属性、CPLEX的MIPStart）实现该需求，无法满足变量值固定的要求
• 如果后续需要做敏感性分析，直接批量删除添加的等式约束即可，不需要重构扩展模型

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