manbet体育手机客户端

避免舍入的输入

数值问题的常见来源数值四舍五入的数字用来表示约束矩阵系数。为了说明这个问题,考虑下面的例子:

人们可能会说两个方程是等价的,但添加一个模型将导致一个不正确的结果。这一点很重要对于我们的用户:Gurobi总是相信他们提供的输入数字,而且他们永远不会改变,除非可以证明这种变化不会影响到解决方案。

因此,考虑到这一点,在presolve Gurobi可以使用第二个约束来确定:

当替换成第一个约束,这个收益率因此作为唯一的解决方案。

如果用户提供了这两个方程:

这将给:收益率:即使一个很小的阈值治疗一个系数为零,其结果是,第一个约束是真正的冗余。任何解决方案会认为是可行的。

的主要观点是,约束是完全平行,或线性相关(双精度浮点和小公差内)是无害的,但几乎是相互平行的约束产生微小系数线性系统解决了预处理,可以肆虐的解决方案的过程。在下一节中,我们扩展的限制双精度浮点数字,特别是为什么。