CPLEX中如何为各决策变量设置0或[0.2;0.8]区间约束（forall无法生效）

当前代码中dvar float+ prodApjoms[Produkti]是纯连续型非负决策变量，取值域为[0, +∞)，本身不支持离散逻辑判定，单靠forall编写普通线性不等式，无法实现“产量为0、或落在[0.2, 0.8]区间”的二选一规则——这类分段取值需求属于带离散选择属性的约束，必须通过逻辑绑定的方式线性化后才能被CPLEX求解器识别。

方案1：利用OPL内置半连续变量类型快速实现 #

OPL自带semi-continuous（半连续）变量类型，天生适配“变量值要么取0、要么落在指定非零区间”的取值规则，不需要额外定义辅助变量：

1. 修改原产量变量的定义，替换原来的纯连续变量：

   // 变量非0时的取值范围强制为[0.2, 0.8]，否则必须取0
   dvar semi-continuous prodApjoms[Produkti] in [0.2, 0.8];
   

2. 原有的目标函数、其他约束全部保持不变即可，求解器会自动对每个产品的产量执行取值规则校验。

方案2：通过二元指示变量手动绑定逻辑（扩展性更强） #

如果后续需要给“选中生产某产品”的状态增加额外逻辑（比如计算固定启动成本、绑定生产工艺要求等），推荐通过新增二元指示变量的方式实现约束绑定：

1. 新增0-1类型的生产状态标记变量：

   // 标记产品p的生产状态：1=选中生产，0=不生产
   dvar boolean isProduced[Produkti];
   

2. 在约束段增加对每个产品的产量-状态绑定逻辑：

   subject to {
     // 逐产品绑定取值规则
     forall(p in Produkti) {
       // 若选中生产，产量最低为0.2
       prodApjoms[p] >= 0.2 * isProduced[p];
       // 若选中生产，产量最高为0.8
       prodApjoms[p] <= 0.8 * isProduced[p];
     }
     // 保留原有的全部约束
     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;
   }
   

上述两条绑定约束的等价逻辑：

• 当isProduced[p] = 0时，结合prodApjoms的非负属性，两个不等式会强制prodApjoms[p] = 0，对应不生产的状态
• 当isProduced[p] = 1时，两个不等式会将prodApjoms[p]的取值严格限定在[0.2, 0.8]区间内，对应生产的状态

• 不要在forall段直接拼接带逻辑或的条件判断（比如直接写prodApjoms[p] == 0 || (prodApjoms[p] >=0.2 && prodApjoms[p] <=0.8)），这类带离散逻辑跳转的表达式属于不可行的非线性约束，CPLEX无法直接求解
• 如果选择半连续变量实现，要注意不要给这类变量设置0值作为连续下界，否则会和“非0时不允许出现(0, 0.2)区间值”的规则冲突

内容的提问来源于stack exchange，提问作者Klims