constraint-programming - 带有时间窗 minizinc 的车辆路径示例

Question

我想用minizinc 建模语言用时间窗（ http://oai.cwi.nl/oai/asset/2036/2036A.pdf ）表达车辆路线问题，以便使用约束编程来解决它。

由于我对这种建模语言和整体约束编程不熟悉，我想知道是否有人已经用这种语言表达了这个问题。我找到了以下示例基准测试“vrp（没有时间窗口）https://github.com/MiniZinc/minizinc-benchmarks/blob/master/vrp/vrp.mzn

如何修改模型以包含交货时间窗口？

Answer 1

我修改了该模型以包含时间窗口。我删除了与容量相关的逻辑，因为我不需要它。

基本上你需要添加这些约束：

    % Departure time constraints
constraint
    forall(i in 1..N, j in 1..N)(
        DepartureTimes[i] + TravelTimes[i, j] - DepartureTimes[j] <= (1 - x[i, j]) * 1000000
    );

    % Time windows constraints
constraint
    forall(i in 1..N)(
        TimeWindows[i, 1] <= DepartureTimes[i]
    );

constraint
    forall(i in 1..N)(
        DepartureTimes[i] <= TimeWindows[i, 2]
    );

这是完整的代码：https ://github.com/jlhonora/vrp-minizinc

参考论文：Desrochers、Martin 等。“具有时间窗的车辆路线：优化和近似。” 车辆路线：方法和研究16 (1988): 65-84。