整数线性规划约束中使用min/max算子的可行方法咨询

可以通过你给出的这类方式对整数变量施加约束，这类形式在整数规划或约束优化场景中是合理且常用的表达。

对应的中文翻译如下：

• 示例1约束：min(x1, x2, x3) + min(y1, y2, y3) <= 100
  翻译为：x1、x2、x3中的最小值加上y1、y2、y3中的最小值小于等于100
• 示例2约束：max(x1, x2, x3) / 5 + max(y1, y2, y3) / 5 >= 50
  翻译为：x1、x2、x3中的最大值除以5，加上y1、y2、y3中的最大值除以5，大于等于50

需要注意的是，如果使用的求解器不直接支持min/max这类非线性表达式，通常可以通过引入辅助变量将其转化为等价的线性约束，比如对于min(a,b) <= c，可以拆分为a <= c且b <= c；对于max(a,b) >= c，可以拆分为a >= c或b >= c（在整数规划中可通过0-1变量实现逻辑或）。

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