如何编写此变量属于集合或数组的域

Question

我想声明这一点，

int NNN =...; 
range N =1..NNN;
int BBB =...; 
range B =1..BBB;
int EX1 [N]; 
int EX2 [B];     
execute 
{for( var i in N)
EX1 [i] = i;
}
execute 
{for( var i in B)
EX2 [i] belongs to  EX1};

因此如何定义EX2的每个值属于EX1集？

Answer 1

int NNN =4; 
range N =1..NNN;
int BBB =3; 
range B =1..BBB;
int EX1 [i in N]=i; 
dvar int EX2 [B] in N;     

subject to
{
  
}

效果很好

，关于您的最新评论

int Npol=2;
int NNN =4; 
range N =1..NNN;
int BBB =3; 
range B =1..BBB;
int EX1 [i in N]=i; 
dvar int EX2 [B] in N;  
dvar int EX3 [B] in N;  
dvar int EX4 [B] in N;     

subject to
{
  forall(i in B) EX2[i] == Npol* EX3[i]-EX4[i];
}

也很好