如何将指定if-else条件转换为线性整数规划约束？

针对你提出的条件，我们可以通过大M法将非线性项线性化，结合二进制变量实现逻辑约束的线性表达，具体方案如下：

变量定义 #

• 二进制变量z：z=1当且仅当x ≥ 100；z=0当且仅当x < 100
• 已知x ≥ 0，p(x)为线性函数（例如p(x) = a*x + b，a、b为常数）
• 引入足够大的正数M（需满足M远大于x和p(x)可能出现的最大绝对值，比如取M=1e5，避免数值病态问题）

构建线性约束 #

1. 关联z与x的取值范围

   • x ≥ 100 - M*(1 - z)：当z=1时，约束简化为x ≥ 100；当z=0时，100 - M≤0，结合x≥0自动满足
   • x ≤ 99 + M*z：当z=0时，约束简化为x ≤ 99；当z=1时，99 + M远大于x的可能取值，无实际限制

2. 实现原逻辑条件

   • x - 100 + p(x) ≤ M*(1 - z)：当z=1（即x≥100）时，右侧为0，约束等价于x-100+p(x) ≤0；当z=0时，右侧为M，因x-100+p(x)的最大值远小于M，约束自动生效
   • p(x) ≤ M*z：当z=0（即x≤99）时，右侧为0，约束等价于p(x) ≤0；当z=1时，右侧为M，约束自动满足

3. 基础约束

   • x ≥ 0
   • z ∈ {0,1}

注意事项 #

• M的取值需合理：既要足够大以保证非激活状态的约束自动满足，又不能过大导致求解器出现数值精度问题
• 若p(x)的具体表达式已知，可代入后合并同类项进一步简化约束

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