ILOG CPLEX：约束以特定顺序分配决策变量

Question

在CPLEX中，我构建了附加模型，我想用它来定位产品到位置。尝试按升序排序产品到位置的约束Stackingorder [s]没有给我想要的结果。

如果产品在位置xi中分配，则应该具有较小的堆叠顺序+ 1，然后所有产品位于位置xi之后。

在满足所有其他约束条件时，CPLEX似乎忽略了约束。

我应该如何更改约束或模型以使其正常工作？

    forall(w in Locations: w+1 in Locations, s in Products) 
 ctStackingorder:
    {(Slot[s][w+1] * Stackingorder[s]) <= Slot[s][w] * (Stackingorder[s]+1);}



int Fixed = ...;
int NbLocations = ...;
range Locations = 0..NbLocations-1;
int NbProducts = ...;
range Products = 0..NbProducts-1;
int Capacity[Locations] = ...;
int LocationCosts[Products][Locations] = ...;
int RequiredLoc[Products] = ...;
int Stackingorder[Products] = ...;

dvar boolean Use[Locations];
dvar boolean Slot[Products][Locations];
dvar int SError[Products][Locations];

minimize
  sum( w in Locations ) 
    Fixed * Use[w] +
  sum( w in Locations , s in Products ) 
LocationCosts[s][w] * Slot[s][w] +
  sum( w in Locations , s in Products )
    SError[s][w] *1000 * RequiredLoc[s];

subject to{

  forall(s in Products )
    ctProductHasEnoughLocations:
      sum( w in Locations)
        Slot[s][w] * Capacity[w] ==  RequiredLoc[s];    

  forall(s in Products, w in Locations: w+1 in Locations)
    ctFacings:
        if(RequiredLoc[s] >1){ Slot[s][w+1]==Slot[s][w];}

  forall( w in Locations, s in Products )
    ctUseSlotProduct:
      Slot[s][w] <= Use[w];

  forall( w in Locations )
    ctMaxUseOfLocation:         
      sum( s in Products ) 
        Slot[s][w] <= Capacity[w];

      forall(w in Locations: w+1 in Locations, s in Products) 
 ctStackingorder:
    {(Slot[s][w+1] * Stackingorder[s]) <= Slot[s][w] * (Stackingorder[s]+1);}
} 

{int} Productsof[w in Locations] = { s | s in Products : Slot[s][w] == 1 };

execute
{
  writeln("Open=",Use);
  writeln("Storesof=",Productsof);
}

。那

Fixed = 30;
NbLocations = 6;
NbProducts = 5;
RequiredLoc = [1,1,1,1,1];
Capacity = [1,1,1,1,1,1];
LocationCosts = [ 
   [ 1, 1, 1, 1, 1, 1 ], 
   [ 1, 1, 1, 1, 1, 1 ],
   [ 1, 1, 1, 1, 1, 1 ],
   [ 1, 1, 1, 1, 1, 1 ],
   [ 1, 1, 1, 1, 1, 1 ] ];

Stackingorder = [328,326,228,226,226];   

Answer 1

你的模型不可行，CPLEX放松了它。

在放松选项卡中，您可能会看到

如果您希望该约束是一个硬约束，那么您应该将其更改为

forall(s in Products )
    //ctProductHasEnoughLocations:
      sum( w in Locations)
        Slot[s][w] * Capacity[w] ==  RequiredLoc[s]; 

（没有标签）

然后放松其他约束。

看到

https://www.ibm.com/support/knowledgecenter/SSSA5P_12.8.0/ilog.odms.ide.help/OPL_Studio/usroplexamples/topics/opl_mp_examples_relaxation.html

最好的祝福