Minizinc 模型拾取和交付问题类似于车辆路线问题

Question

我是 Minizinc 的新手，我想调整我发现 here 的 VRM 问题。

我必须添加一些功能，但我真正苦苦挣扎的是取货和送货服务之间的依赖关系。只有在之前访问过其他一些节点（提货节点）之后，才必须访问一些节点（交付节点）。

我正在考虑为这样的优先级添加一个输入：

array[1..n_orders div 2, 1..2] of int: precedences = [| 1, 3 | 2, 4 | 5, 10 | 7, 8 | 6, 9 |];

基本上，它表示必须在节点1之后访问节点3，在节点2之后访问节点4等等......

知道怎么做吗？

Answer 1

似乎可以通过约束来建立基本优先级

constraint forall(i in index_set1of2(precedences)) (
    DepartureTimes[precedences[i,1]] < DepartureTimes[precedences[i,2]]
)