Python中MIP求解器OR-tools的搜索策略

Question

我目前正在Python的OR-tools中解决一个班次分配问题，使用MIP求解器，一次一个员工。对于每个单独的问题，都有一个员工和大约100个班次。有很多变量和约束(每个员工1000个)。我已经详细研究了如何改进每个约束，但没有成功。由于性能真的很重要，我想进一步调查调整搜索策略的可能性，但也没有运气。看起来文档很稀疏。

有没有人可以给我一些选项来帮助我呢？

这是我正在使用的求解器：

pywraplp.Solver.CBC_MIXED_INTEGER_PROGRAMMING

提前谢谢你。如果我需要在这里添加任何信息，请告诉我。

Answer 1

你真不走运。没有可用于通过线性求解器包装进行搜索的自定义设置。

为此，我建议使用CP-SAT。您可以查看以下内容：

https://github.com/google/or-tools/blob/master/examples/python/shift_scheduling_sat.py