CPLEX中当Q[b][j]为0时强制布尔变量Y[b][j]取0的实现方法

你之前只写了单向的上界约束，没有把Q和Y做成双向绑定的等价关系，自然堵不住漏洞：

• 原约束Q[b][j] - 9999*Y[b][j] <= 0 只能实现「Y=0时Q必须为0」的逻辑。反过来当Q=0时，不管Y取0还是1，0 <= 9999*Y 这个不等式都成立，求解器完全可以自由给Y赋值1，不会触发约束冲突。

先明确两个建模前提：

• Q[b][j]作为作业计数变量，本身必须定义为非负整数，不能出现负数取值；
• 确定M值为Q[b][j]的理论最大边界，不用盲目取9999这类超大数——只要比单个(b,j)对下最多能分配的作业数大即可，比如单批次最多承载20个作业，M取20就足够，过大的M反而会降低求解器的数值稳定性、拖慢求解速度。

然后添加两条配套约束，形成闭环绑定：

• 保留你原有的上界约束：Q[b][j] <= M * Y[b][j]
  作用：只要Y取0，右侧值为0，就强制Q必须≤0，不允许Q有非零值。
• 新增对应的下界约束：Q[b][j] >= 1 * Y[b][j]
  作用：只要Y取1，右侧值为1，就强制Q必须≥1，直接堵死“Q=0时Y取1”的漏洞——因为这种场景下0 >= 1 根本不满足约束，求解器不会生成不可行的赋值。

两个约束共同作用时，所有变量组合都会被严格限定：

• Y=0时：两条约束分别要求Q≤0、Q≥0，结合Q的非负属性，Q必须严格等于0，没有灵活取值空间；
• Y=1时：两条约束分别要求Q≤M、Q≥1，完全匹配“分配至少1个作业时布尔变量为1”的建模目标，也不会出现Q非零但Y为0的逻辑错误。

如果使用CPLEX较新版本的API，不需要手动推导上下界，直接写逻辑等价关系即可：

直接声明等价关系：Y[b][j] == (Q[b][j] >= 1)
CPLEX会自动把这个逻辑关系转换为求解器可识别的线性约束，减少手动写约束出错的概率。

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