AMPL：在目标城市中对终端进行建模

Question

我遇到了一个问题，我没有找到阅读AMPL集文档的任何解决方案。

我要建模的是，一个城市（例如Kir）必须从另一个城市（例如Sto）进行9次送货。 但是，这些交货必须到达某些特定航站楼的Kir，每个航站楼每天仅开放一小段时间（约2分钟）。 原点节点也必须如此。 必须从特定的终端指定从Sto开始的路由（因此可以在结果中“遵循”该路径）。

我已经开始对集合使用“ K中的集合V”操作进行建模，但这要求V必须是同一集合，或者是K的子集，其中K是代表“节点”的集合-Kir，Sto等V上的是端子“ Terminal1”，“ Terminal2”等的名称集。

我已经开始检查定义为例如的实例“集合K维度4”：

 set K dimension 4;

 data;

 set K:=
 Sto Kir Terminal1 Terminal2
 Bod Kir Terminal3 Terminal2;

集合K代表应该从哪个城市（例如Sto）开车（例如，到Kir）送货，其中Sto中的出发终端是Terminal1，而Kir中的送货终端是Terminal2。 缺点是必须手动指定大量组合（仅在Kir中就有大约22个终端等）。 我也不知道如何为约束建模。 例如，我之前拥有的“一个维度”集：

subject to yvar{i in V, j in V}:
    sum{k in H} x[i,j,k] <= maxVisits[i,j];

其中V是单独的一组城市，H是一组车辆，maxVisits表示从城市i到城市j的最大货运量，如果使用车辆k从i到j进行交付，则x为1。 我不明白如何使用四维集K来建模。

问候，

Answer 1

模型的一种方法是对索引x超过K和H和改变求和以包括端子：

var x{K, H} binary;
subject to yvar{i in V, j in V}:
  sum{(i,j,t,u) in K, k in H} x[i,j,t,u,k] <= maxVisits[i,j];

总和(i,j,t,u) in K的索引(i,j,t,u) in K将在从城市i到城市j的路线端点的终端对上进行迭代。 请注意， i和j在这里是固定的，因为它们是在约束索引{i in V, j in V} 。