我正在用 GAMS/CPLEX 求解模型，而 CPLEX 声称它不可行。相同的行为显示了求解器 BDMLP。
我正在用 GAMS/XPRESS 求解完全相同的模型，它提供了（已知的）最优解。求解器 BONMIN 和 CBC 也求解模型。
任何提示为什么会发生这种情况？这是公差值的问题吗？但是哪些容差可以解释这种行为？
我将 CPLEX (= 1E-05) 的默认完整性容差设置为 XPRESS (= 5E-06) 的默认值，但这并没有改变任何东西。XPRESS 和 CPLEX 的默认最优性和可行性容差具有相同的值 (= 1E-06)。
编辑
当我添加以下约束 Eq1、Eq2 时，麻烦就开始了
Eq1: - sum_{i = 1}^{5} B_{i} + (50 - epsilon) \ge (- MZ )
Eq2: - sum_{i = 1}^{5} W_{i} + 2.0 \le (M (1.0 - Z))
在哪里，
ε = 0.0001
M = 1000（大M值）
0 \le B_{i} \le 50.0 实变量
W_{i} 二进制变量
Z 二进制变量
我想说的是：
IF sum_{i = 1}^{5} B_{i} > 50 THEN sum_{i = 1}^{5} W_{i} \ge 2