MIP解决方案相互矛盾

问题描述

我正在使用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(-M Z)

Eq2:-sum_ {i = 1} ^ {5} W_ {i} + 2.0 \ le(M(1.0-Z))

在哪里

ε= 0.0001

M = 1000(BigM值)

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

解决方法

暂无找到可以解决该程序问题的有效方法,小编努力寻找整理中!

如果你已经找到好的解决方法,欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@)