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)