是否有一种方法可以在作业车间模型中获取库存约束？

Question

我一直试图捕捉到一些库存限制的作业商店模式。在cp-sat中是否有任何内置方法来解决带有库存问题的作业车间？

我可以想到的库存问题陈述如下：

每个任务产生一定数量的资源，一旦是completed.

• Each，生产的数量就需要存储在一个库存中。
• 库存容量有限。
• ，随着时间的推移，库存以恒定的速度释放。

这个语句使得作业车间的问题更加复杂，因为我需要在每一个时间点捕捉库存(因此，这意味着时间离散化，而不是很好的扩展)。

我考虑了以下的提法：

For t in T:
  inventory[t] = inventory[t-1] + input[t] - output[t]
  output[t] = inventory[t-1] * release_speed
  input[t] = sum(produced_quantity[task] for task in tasks if task_end == t)

还有其他方法来利用内置函数，如model.AddCumulative吗？

Answer 1

自然的候选将是AddReservoirConstraint()。随着时间的推移，您仍然需要对连续发布进行时间离散化。

您仍然可以通过每10个时间步骤删除10个步骤来近似，而不是每一个步骤删除一个步骤。