CP-Sat 的 OR-Tools 优化

Posted

技术标签:

【中文标题】CP-Sat 的 OR-Tools 优化【英文标题】:OR-Tools optimization eith CP-Sat 【发布时间】:2021-01-11 10:38:38 【问题描述】:

我正在使用 OR-Tools / CP-sat 求解器解决 Python 中的优化问题。我正在使用一个需要几个小时才能达到最佳解决方案的文件。有什么方法可以在终端中查看流程的进展情况,例如迄今为止找到的最佳解决方案、经过的时间等......?我知道使用 cplex 求解器我们可以看到这一点。

谢谢

【问题讨论】:

【参考方案1】:

首先,您需要在参数中添加log_search_progress:true

其次,使用多个工人来加速解决它的好方法。这是通过使用num_search_workers:XXX 参数完成的。如果你有一台像样的机器,XXX=8 就好了。如果你有更强大的机器,你可以试试 XXX=12 或 16(或更多)。

【讨论】:

以上是关于CP-Sat 的 OR-Tools 优化的主要内容,如果未能解决你的问题,请参考以下文章

Or-Tools CP-SAT 求解器导出/导入:加载模型后如何访问变量?

OR-Tools|带你了解谷歌开源优化工具(Google Optimization Tools)

如何使用 or-tools 和 google-distance 矩阵创建车辆路线优化问题,同时仅取消结束位置?

计算变量和约束 PuLP 和 CP-Sat

使用 CP-SAT 预测 300 万个布尔变量

ORTools 任务分配优化与持续时间