微妙之处和局限性
有一些微妙之处与发现多个解决方案,现在我们将讨论。
连续变量
一个微妙出现在考虑多个解决方案和连续变量模型。具体来说,你可能有两个方案,采取相同的值的整数变量,但一些连续变量不同。通过选择不同的点在直线上这两个解决方案,你有无限的选择问题的可行的解决方案。这可能是一个问题,因为溶液池可以充满解决方案,只有在连续变量的值,但不同等价的,提供了一些有趣的信息。为了避免这个问题,我们定义两个解决方案是等价的
- presolved空间,整数变量和连续变量参与SOS和双线性约束假设相同的价值观,或
- 在原始模型空间中,所有的变量假设相同的值。
最优的差距
最优的差距之间的相互作用(MIPGap或MIPGapAbs)和多个解决方案可以有点微妙。当使用默认PoolSearchMode,一个非零的最优差距表明你愿意允许MIP解算器声明一个解决方案最优,即使可能有其他的模型,更好的解决方案。手机万博登录索赔的解算器使终止,没有其他手机万博登录的解决方案将改善现任目标超过最优性差距。终止在这一点上最终是一个务实的选择,我们可能会有真正的最佳解决方案,但减少最优间隙为零的成本往往是禁止的。
这种务实的选择可以产生一些混乱发现多个最优解。具体地说,如果你问的
最好的解决方案,最优差距发挥类似的作用是在默认情况下,但这种影响可能有点难以理解。具体地说,一个非零的最优差距意味着你愿意允许解算器宣布它已经找到了手机万博登录最好的解决方案,尽管可能会有比那些返回的解决方案。声明在这种情况下,任何解决方案都不报道最好将改善的目标中最严重的一次最好由小于最优性差距。
如果你想避免这种潜在来源混乱,你应该设定为0时使用的最优性差距PoolSearchMode = 2。
日志记录
日志的MIP解决PoolSearchMode设置为非默认值不同于标准的MIP日志。你应该咨询部分溶液池和Multi-Scenario日志记录获取详细信息。
分布式MIP
一个限制,我们应该指出相关的多个解决方案是解决分布式MIP还没有扩展到支持非默认手机万博登录PoolSearchMode设置。分布式MIP通常会产生比运作MIP更多的可行的解决方案,但是没有办法让它找到最好的解决方案。
