或-工具优化eith CP-Sat

Question

我正在使用OR-Tools / CP-sat求解器在python中解决一个优化问题。我使用的文件需要几个小时才能得到最优解决方案。有没有办法在终端中看到进程的进展，比如到目前为止找到的最好的解决方案，经过的时间，等等？我知道使用cplex solver我们可以看到这一点。

谢谢

Answer 1

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

第二，使用多个工作进程来加速解决这个问题的好方法。这是通过使用num_search_workers:XXX参数完成的。如果你有一台不错的机器，XXX=8是不错的选择。如果你有一台更强的机器，你可以尝试XXX=12或16 (或更多)。