微妙之处和局限性

微妙之处和局限性

在寻找多个解的过程中有一些微妙之处,我们现在就来讨论一下。

连续变量

当考虑具有连续变量的模型的多个解时,出现了一个微妙之处。具体地说,你可能有两个解它们对整数变量取相同的值但对连续变量取不同的值。通过在这两个解之间的直线上选择不同的点,实际上这个问题的可行解有无限个选择。这可能是个问题,因为解决方案池中可能充满了只在连续变量的值上不同但在其他方面相同的解决方案,提供的有趣信息很少。为了避免这个问题,我们定义了两个等价的解决方案,如果它们对所有整数变量(以及参与SOS约束的所有连续变量)取相同的值。如果一个解决方案等价于池中已经存在的另一个解决方案,则该解决方案将被丢弃。

最优差距

最优性差距(MIPGapMIPGapAbs)多种解决方案可能有点微妙。使用默认值时PoolSearchMode,一个非零的最优差距表明您愿意允许MIP求解器声明一个最优的解决方案,即使模型可能有其他更好的解决方案。手机万博登录求解器在终止时提出的要求是,手机万博登录没有任何其他解决方案会比最优差距更能改善现有目标。在这一点上终止最终是一个务实的选择——我们可能宁愿有真正的最佳解决方案,但将最优差距减少到零的成本通常是令人望而却步的。

在找到多个最佳解决方案时,这种务实的选择可能会产生一些混乱。具体来说,如果你要求< span > < / span > n < span >美元< / span >在最佳解决方案中,最优性差距扮演着与默认情况相似的角色,但其含义可能有点难以理解。具体地说,一个非零的最优差距意味着您愿意允许求解器声明它已经找到手机万博登录< span > < / span > n < span >美元< / span >最好的解决方案,即使有些解决方案比返回的更好。在这个案例中,任何解决方案都没有被报告< span > < / span > n < span >美元< / span >Best将会改善其中最坏的目标< span > < / span > n < span >美元< / span >最佳差距小于最优差距。

如果您希望避免这种潜在的混淆,那么在使用时应该将最优间隔设置为0PoolSearchMode = 2

日志记录

日志为一个MIP解决PoolSearchMode非默认值与标准MIP日志不一致。你应该咨询小组解决方案池和多场景日志记录获取详细信息。

分布式MIP.

我们应该指出的与多个解决方案相关的一个限制是,分布式MIP求解器还没有扩展到支持非默认手机万博登录PoolSearchMode设置。分布式MIP通常会产生比非分布式MIP更可行的解决方案,但没有办法要求它找到< span > < / span > n < span >美元< / span >最好的解决方案。