在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];
你的模型不可行,CPLEX放松了它。
如果您希望该约束是一个硬约束,那么您应该将其更改为
forall(s in Products )
//ctProductHasEnoughLocations:
sum( w in Locations)
Slot[s][w] * Capacity[w] == RequiredLoc[s];
(没有标签)
然后放松其他约束。
看到
最好的祝福