or-tools - CP-Sat 的 OR-Tools 优化

Question

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

谢谢

Answer 1

首先，您需要添加log_search_progress:true参数。

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