如何为每个决策变量指定区间？ CPLEX

如何解决如何为每个决策变量指定区间？ CPLEX

我有一组代表产品数量的决策变量。我希望它们中的每一个都可以是 0（如果它没有被选中）或在某个区间（[0.2;0.8]）。 forall 不起作用。

{string} Produkti = ...;
{string} Vielas = ...;

float Izmaksas[Produkti] = ...;
float vielVertibas[Produkti][Vielas]= ...;
float normas[Vielas]= ...;
dvar float+ prodApjoms[Produkti];

minimize
    sum(p in Produkti) Izmaksas[p] * prodApjoms[p];
    
subject to{
    forall(v in Vielas) sum (p in Produkti) vielVertibas[p][v] * prodApjoms[p] >= normas[v]*0.95;
    forall(v in Vielas) sum (p in Produkti) vielVertibas[p][v] * prodApjoms[p] <= (normas[v]*1.05);
    sum (p in Produkti) prodApjoms[p] <= 15;
    sum (p in Produkti) prodApjoms[p] >= 5;
}

解决方法

forall(p in Produkti) 
    (prodApjoms[p]==0) || ((0.2<=prodApjoms[p]) && (prodApjoms[p]<=0.8));

将完成工作

https://github.com/AlexFleischerParis/zooopl/blob/master/zoosemiinteger.mod 中的完整工作示例

int nbKids=300;
float costBus40=500;
float costBus30=400;
 
dvar int+ nbBus40;
dvar int+ nbBus30;
 
minimize
 costBus40*nbBus40  +nbBus30*costBus30;
 
subject to
{
 (nbBus40==0) || (4<=nbBus40<=20);
 (nbBus30==0) || (4<=nbBus30<=20);
 
 
 40*nbBus40+nbBus30*30>=nbKids;
} 

/*

which gives

nbBus40 = 8;
nbBus30 = 0;

*/