ampl - AMPL，从两组中选择数据

Question

我有两组：

set s1 := 0 1 5 6 ;
set s2 := 3 4 8 9 ;

我需要有一个约束来从这些集合中选择数据，如下行：

subject to sym1{i in 0..3 , j in 0..3 : i=j } : x[0,s1[i],0] = x[1,s1[j],0];

这意味着从 s1 和 s2 中选择数据应该是这样的： x[0,0,0] = x[1,3,0]; x[0,1,0] = x[1,4,0]; x[0,5,0] = x[1,8,0]; x[0,6,0] = x[1,9,0];

但是我写的代码有语法错误。你能帮帮我吗

谢谢

Answer 1

一种方法是通过将集合声明为ordered并member通过其索引将函数用于集合的元素：

set s1 ordered := {0, 1, 5, 6};
set s2 ordered := {3, 4, 8, 9};

subject to sym1{i in 1..4}: x[0, member(i, s1), 0] = x[1, member(i, s2), 0];

或者，您可以用参数替换集合：

param s1{1..4};
param s2{1..4};

subject to sym1{i in 1..4}: x[0, s1[i], 0] = x[1, s2[i], 0];

data;

param s1 :=
 1 0
 2 1
 3 5
 4 6;

param s2 :=
 1 3
 2 4
 3 8
 4 9;