在CPLEX（C++）中固定MIP部分解向量的技术问询

咱逐个拆解你遇到的问题，都是CPLEX实践里的常见场景，给你分享下高效的解决方案：

一、固定部分解变量的最优方案 #

你想到的添加y == 4这类约束再移除的方法是可行的，但不是最高效的。CPLEX专门提供了变量级别的固定/解锁函数，比修改约束矩阵要轻量得多：

• 使用CPXfixvars函数：你只需要传入变量索引数组和对应的固定值数组，就能直接把指定变量固定到目标值。这个操作是在CPLEX内部的变量状态上做标记，不需要修改模型的约束集合，求解时CPLEX会直接把这些变量当作常量处理，效率更高。
• 求解完成后，调用CPXunfixvars就能解锁这些变量，恢复模型的原始状态。

举个简单的代码片段示例：

// 假设我们要固定变量indices[0..n-1]到values[0..n-1]
int status = CPXfixvars(env, lp, n, indices, values);
if (status) { /* 处理错误 */ }

// 求解固定后的子MIP
status = CPXmipopt(env, lp);
if (status) { /* 处理错误 */ }

// 解锁变量，恢复原模型
status = CPXunfixvars(env, lp, n, indices);
if (status) { /* 处理错误 */ }

对比添加约束的方法：修改约束会涉及约束矩阵的增删，需要管理约束句柄，还可能触发额外的预处理开销，而fix/unfix是更直接的变量状态操作，适合频繁切换固定集合的场景。

二、复用预处理信息的可行方案 #

核心模型不变的情况下，完全可以复用第一次预处理的结果，具体做法分两种场景：

1. 基于预处理后的模型克隆复用 #

• 先对原始模型执行一次完整的预处理（可以通过设置CPX_PARAM_PREIND参数为2开启全量预处理），得到预处理后的精简模型。
• 每次需要固定不同的部分解时，用CPXcloneprob克隆这个预处理后的模型，在克隆体上执行CPXfixvars并求解。这样克隆体继承了原模型的预处理结果，不需要每次重新做全量预处理，节省大量时间。

注意：预处理后的变量可能和原模型的变量有映射关系，如果你需要关联原模型的变量索引，可以用CPXgetprecolmapping函数获取原变量到预处理后变量的映射关系。

2. 保留原模型的预处理状态 #

如果你不想克隆模型，也可以在第一次预处理后，将预处理后的模型状态保存下来（比如通过CPXwriteprob保存为.lp或.sav文件，之后用CPXreadprob读取），后续每次求解时直接基于这个文件加载模型，再做变量固定。这种方法适合需要长期复用预处理结果的场景。

另外要注意：如果固定的变量会导致预处理后的模型出现新的简化空间（比如某个变量固定后，一些约束可以被删除），可以在固定变量后开启轻量预处理（CPX_PARAM_PREIND设为1），这样既能复用之前的大部分预处理结果，又能针对当前固定集合做局部优化。

三、关于CPX_MIPSTART_SOLVEMIP的理解纠正 #

你的理解有偏差，这里明确一下：

CPX_MIPSTART_SOLVEMIP（Level 3）的作用是：你提供部分变量的取值，CPLEX会求解一个子MIP来补全剩余变量的取值，得到一个完整的可行解，然后将这个解作为初始MIP解加入解池。之后CPLEX会继续优化整个原始问题，完全可以修改你初始指定的变量值。

而你的需求是“仅求解子MIP”（也就是固定部分变量后求解剩下的，不允许修改固定的变量），那么CPX_MIPSTART_SOLVEMIP并不适合，因为它本质是提供初始解，而非强制固定变量。正确的做法还是用前面提到的CPXfixvars固定变量后调用CPXmipopt，这样求解的就是严格固定变量后的子MIP，求解过程中不会改变那些固定的变量值。

额外实践技巧 #

• 如果需要频繁切换多个不同的固定变量集合，建议提前克隆多个模型副本，每个副本预固定好对应的变量，这样可以避免反复fix/unfix的开销，求解时直接调用对应副本的CPXmipopt即可。
• 设置CPX_PARAM_FIXPASS参数为0，避免CPLEX在预处理时自动固定一些变量，保证你手动固定的变量状态不被修改。

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