约束规划：在最短的时间内安排发言人

我正在尝试通过以下方式调整已经解决的约束规划问题哈坎·凯勒斯特兰德（@hakankless）并且需要一些帮助。

原来解决的问题：有6个公共演讲者和6个房间。每个发言者应分配到一个房间，没有任何房间是空的，每个发言者只能在一个房间内。

解决方案在这里：Google OR 工具 & MiniZinc

帮助进行此调整：有 3 个公共演讲者和 6 个时段（即一个房间）。每个发言者应被分配到一个时隙，目的是最小化从起始时隙开始的持续时间（假设从时隙 1 开始，或者如果全部忙，则从下一个可用时隙开始）。

+---+------+------+------+
|   |  A   |  B   |  C   |
+---+------+------+------+
| 1 |      | Busy |      |
| 2 | Busy | Busy | Busy |
| 3 | Busy | Busy |      |
| 4 |      |      |      |
| 5 |      |      | Busy |
| 6 | Busy | Busy |      |
+---+------+------+------+

解为 (A,1)、(C,3)、(B,4)。如果我们从 (C,1) 开始，那么将以 (A,5) 或 (B,5) 结束。由于 4 我该如何解决这个问题？

视觉解决方案：

+---+----------+----------+----------+
|   |    A     |    B     |    C     |
+---+----------+----------+----------+
| 1 | SELECTED | Busy     |          |
| 2 | Busy     | Busy     | Busy     |
| 3 | Busy     | Busy     | SELECTED |
| 4 |          | SELECTED |          |
| 5 |          |          | Busy     |
| 6 | Busy     | Busy     |          |
+---+----------+----------+----------+

这正在改变你的满意问题转化为优化问题。也就是说，还不够找到a解决方案不再，你想要optimal一。因此对于 MiniZinc 模型，您需要更改

solve :: int_search(x, first_fail, indomain_min, complete) satisfy;

类似的东西

solve :: int_search(x, first_fail, indomain_min, complete) minimize max(x);

最小化最大分配时间。