or-tools - 调度 w。CP-SAT 求解器非常慢

Question

当我使用标准参数从官方文档运行此num_nurses = 4, num_shifts = 3, num_days = 3代码时，我在不到 1 秒的墙上时间中找到了解决方案。

当我将参数值增加到num_nurses = 40, num_shifts = 30, num_days = 302 小时后我最终中止脚本，因为没有找到解决方案。

我很欣赏使用更高的参数会出现组合爆炸，但在一个月内安排 30 个班次中的 40 名护士是一个现实的问题。

对于更大的参数，可以做些什么来更快地解决这个问题？是解决方案提示还是增加/减少约束的数量？

标签： or-tools

Answer 1

这个例子其实不是很有趣。最大的问题是 num_nurses != num_shifts，没有解决办法。而这很难证明。

请看一下这个例子。