如何解决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 举报,一经查实,本站将立刻删除。