为何设置限制参数后CPLEX优化器仍未停止？

• 确认参数是否正确生效
  参数拼写或格式错误可能导致CPLEX未识别设置，可在优化前打印参数验证：

  println(get_optimizer_attributes(model))
  

  建议改用JuMP提供的符号参数名避免拼写问题：

  model = Model(optimizer_with_attributes(
      CPLEX.Optimizer,
      CPLEX.TILIM => 1000,
      CPLEX.EPGAP => 1e-1
  ))
  

• 排查模型规模与复杂度
  打印模型核心信息判断优化难度：

  println("变量数: ", num_variables(model))
  println("约束数: ", num_constraints(model))
  println("整数变量数: ", count(v -> is_integer(v), all_variables(model)))
  

  若为大规模整数规划问题，1000秒时间限制或1e-1的间隙要求可能过于严格，可先放宽间隙（如调至0.2）或延长时间限制，观察优化进展。

• 启用CPLEX日志输出
  开启日志可定位停滞阶段，添加参数输出到控制台或文件：

  # 控制台输出日志
  set_optimizer_attribute(model, CPLEX.SCRIND, 1)
  # 输出到日志文件
  set_optimizer_attribute(model, CPLEX.LOGFILE, "cplex_log.txt")
  

  通过日志可判断是预处理停滞、分支定界节点过多，还是其他环节耗时过长。

• 检查模型数值稳定性
  变量/约束系数数量级差异过大（如1e6与1e-6共存）会导致数值不稳定，拖慢计算。需检查约束右端项、变量上下限是否合理，必要时对模型进行缩放处理。

• 调整CPLEX求解策略
  针对复杂问题，可切换分支、切割生成策略加快求解：

  # 采用最不可行分支策略
  set_optimizer_attribute(model, CPLEX.BRANCH, 1)
  # 减少切割生成数量，优先寻找初始解
  set_optimizer_attribute(model, CPLEX.CUTSFACTOR, 0.5)
  

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