Pyomo调用CBC求解器的配置选项相关问题

找到可行解后立即终止的配置方法 #

存在对应配置项，不需要靠设置较小的seconds参数碰可行解。
CBC原生支持找到首个可行解就终止求解的逻辑，在Pyomo中初始化求解器后，直接添加如下配置即可：

# 初始化CBC求解器
opt = SolverFactory("cbc")
# 核心配置：找到第一个整数可行解立即终止
opt.options["firstSolution"] = 1
# 可搭配seconds参数作为兜底超时，避免极端情况求解卡死
opt.options["seconds"] = 300

这个配置和硬设最大时长的区别是：求解器不会被固定时长截断，只要在分支定界搜索过程中找到第一个满足所有约束的整数可行解，就会立刻停止搜索返回结果，不会继续优化最优性gap，比卡小时长的方案稳定性高很多。
注意：该配置仅对整数规划、混合整数规划问题生效，连续规划问题的可行解搜索和最优解搜索是同一过程，不存在单独的首可行解终止逻辑。

完整CBC配置选项清单获取方式 #

不存在适配所有版本的通用静态配置清单，CBC不同发行版本会新增、废弃部分参数，最准确的参数清单直接从你本地安装的CBC实例获取即可，操作步骤如下：

• 打开系统终端，激活你安装了CBC的对应Python/conda虚拟环境（如果是全局安装则跳过这步）
• 输入cbc回车，进入CBC的交互式命令行界面
• 输入?后回车，终端会直接打印当前版本CBC支持的所有配置参数、取值要求、功能说明

Pyomo向CBC传递参数时不需要做命名转换，你在终端查到的CBC原生参数名，可以直接作为key写入opt.options字典使用。

几个高频使用的CBC参数参考：

• ratioGap：设置MIP求解的相对最优性gap阈值，比如设为0.01代表gap降到1%就终止
• threads：设置求解时调用的CPU线程数
• logLevel：设置求解日志的输出详细程度，数值越大日志越详细

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