如何為每個決策變量指定區間？ CPLEX

Question

我有一組代表產品數量的決策變量。 我希望它們中的每一個都可以為 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;
}

Answer 1

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;

*/