如何用CPLEX实现分段函数？现有拆分代码模型报错求排查

核心问题点 #

• 索引变量冲突：forall循环已使用i作为索引，后续sum中重复用i会引发作用域冲突，CPLEX无法识别正确的变量范围。
• 分段区间逻辑错误：第二个约束的条件i<=9 || i>=7会覆盖所有整数i，导致分段重叠且完全覆盖，不符合三段式分段函数的预期逻辑。

修正后的代码 #

forall (i in pr, m in Wh, k in DC)
    sum(i2 in pr:i2<=6 || i2==10) Q2[i2][m][k] == sum(r in ra,f in Fa:f==1)Qf2[f][m][k][r];
forall (i in pr, m in Wh, k in DC)
    sum(i2 in pr:i2>=7 && i2<=9) Q2[i2][m][k] == sum(r in ra,f in Fa:f==2)Qf2[f][m][k][r];
forall (i in pr, m in Wh, k in DC)
    sum(i2 in pr:i2>=11) Q2[i2][m][k] == sum(r in ra,f in Fa:f==3)Qf2[f][m][k][r];

修正说明 #

1. 将求和内的索引变量从i改为i2，避免与外层forall的i冲突，让CPLEX正确解析求和范围。
2. 调整第二个分段的条件为i2>=7 && i2<=9，确保三个分段区间互不重叠且覆盖所有目标范围，匹配三段式分段函数的逻辑。

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