lp_solve求解简单线性规划异常：忽略X<=0约束返回X=1

你遇到的这个异常并不是操作错误，而是lp_solve在处理二进制变量与X <= 0这类约束时的特殊逻辑问题，具体来说是求解器预处理阶段的判定偏差导致的。

背后的逻辑： #

• 当你声明bin X时，lp_solve会自动为该变量添加隐含约束：0 <= X <= 1；
• 你的显式约束X <= 0本应把X的可行域锁定为唯一值0，但lp_solve的预处理模块错误地将这个约束判定为“冗余”（或者在合并自动约束与显式约束时出现逻辑失误）；
• 由于你的目标函数是最大化100X，求解器在忽略了X <= 0的约束后，自然会选择能让目标值最大的二进制取值1。

解决方法： #

针对这个问题，有几种可靠的修正方式，在大型模型中同样适用：

• 直接固定变量取值：把X <= 0替换为X = 0，直接明确变量的取值，这样求解器不会忽略这个约束：

  max: 100X ;
  X = 0 ;
  bin X ;
  

• 调整声明顺序：有些版本的lp_solve对变量类型声明和约束的顺序敏感，先声明变量类型再添加约束，可能会让预处理模块正确识别约束：

  max: 100X ;
  bin X ;
  X <= 0 ;
  

• 改用整数变量+明确约束：如果二进制变量的自动约束导致冲突，可以改用整数变量，同时显式写出所有约束，避免求解器的隐含逻辑干扰：

  max: 100X ;
  int X ;
  X >= 0 ;
  X <= 1 ;
  X <= 0 ;
  

以上几种方法都能让求解器返回正确的X=0结果，在包含类似约束的大型模型中，推荐使用第一种或第三种方式，约束更明确，不易出现预处理偏差。

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