使用CPLEX 12.8遇整数不可行问题，如何定位矛盾约束？

嘿，我碰到过不少类似的情况——当CPLEX返回integer infeasible时，说明你的整数规划模型压根没有可行解，核心就是要揪出那些互相矛盾的约束子集。下面是几个我常用的实用技巧，帮你快速定位问题：

1. 先排查线性松弛问题是否可行 #

第一步先别着急看整数约束，先求解模型的线性松弛版本（也就是暂时去掉所有变量的整数要求）：

• 如果线性松弛也显示不可行，那问题肯定出在连续约束的矛盾上，这时候直接用CPLEX的冲突细化工具就能快速定位。
• 如果线性松弛是可行的，那矛盾就出在整数约束和部分连续约束的组合上，得针对性分析。

2. 用CPLEX自带的Conflict Refiner工具 #

CPLEX自带的冲突检测工具是定位矛盾约束的利器，它能帮你缩小到最小的矛盾约束子集。不管是用代码还是交互界面都能操作：

• 代码示例（Python docplex）：

  from docplex.mp.model import Model
  
  # 假设你的模型对象是mdl
  mdl.parameters.conflict.refine = 1  # 开启冲突细化功能
  mdl.parameters.conflict.display = 2  # 设置显示详细冲突信息
  conflict_set = mdl.refine_conflict()
  if conflict_set:
      print("找到的矛盾约束子集：")
      for cons in conflict_set:
          print(cons)
  

• CPLEX Studio交互界面操作：在求解器的选项面板里找到「Conflict Refinement」，勾选启用后重新求解，求解完成后输出面板会直接列出导致矛盾的约束集合。

这个工具返回的是最小约束子集——去掉这些约束后模型就可能变得可行，这就是你要找的矛盾根源。

3. 逐步分组排查约束 #

如果冲突细化工具没给出明确结果，或者你想手动验证，可以试试分模块排查：

• 先把模型里的约束按业务逻辑分组（比如资源约束、需求约束、逻辑规则约束等），每次移除一组约束后求解，看是否能得到可行解，逐步定位到有问题的模块。
• 在出问题的模块里，再逐个移除约束，直到找到那几个互相冲突的约束组合。

4. 检查变量边界与整数约束的冲突 #

有时候矛盾可能藏在变量的边界和整数要求里，别忽略这些细节：

• 比如某个变量被约束为x >= 3同时x <= 2，还要求x是整数，这显然不可能满足。
• 再比如多个整数变量的组合约束：x1 + x2 <= 1，但x1和x2都被强制要求取1，这也会直接导致矛盾。

5. 生成不可行性证明文件 #

如果上面的方法还不够，你可以让CPLEX生成不可行性证明文件，里面会详细记录导致不可行的约束和变量关系：

• 设置参数write.infeasfile = "infeas_proof.txt"，求解后会在指定路径生成这个文件，你可以从中找到矛盾的关键线索。

内容的提问来源于stack exchange，提问作者Nabilah M. Syukur