MIP日志


MIP日志

MIP日志可分为三个部分:预定部分,单纯x进度部分和摘要部分。

Presolve节

与单纯形和屏障日志一样,MIP日志的第一部分是预定剖视图。以下是Miplib模型的预算输出MAS76.

pre - olve removed 0 rows and 3 columns pre - olve time: 0.00s pre - olve: 12 rows, 148 columns, 1615 non0
在本例中,presolve能够删除3列。最后一行显示了传递给分支切割算法的模型的大小。

进展部分

MIP日志中的下一节跟踪分支和剪切搜索的进度。搜索涉及许多不同的步骤,因此本节通常包含大量详细信息。例如,在日志中观察的第一件事MAS76.这些线:

发现启发式解决方案:目标93644.999发现启发式解决方案:目标87658.484找到启发式解决方案:目标80811.127
这些表明,Gurobi启发式在解决了根部松弛之前发现了三种整数可行的解决方案。

在日志中看到的下一件事是根放松解决方案显示。对于root快速解决的模型,此显示包含单行:

根放松:目标3.889390E + 04,43迭代,0.00秒

对于根松弛需要更多时间的模型(MIPLIB模型)dano3mip.例如,Gurobi求解器将自动包括放松本身的详细Sim手机万博登录plex日志:

根放松日志...迭代客观原始INF。双伊米。TIME 8370 5.6894789E + 02 3.032449E + 05 0.000000E + 00 5S 13770 5.6906050E + 02 2.875568C + 02 2.875568E + 06 0.000000E + 00 10S 18758 5.6924158C + 02 7.523521C + 06 0.000000E + 00 15S 25649 5.7101828E + 02 1.463095E+06 0.000000e+00 20s 31400 5.7146225e+02 6.748823e+04 0.000000e+00 25s 34230 5.7623162e+02 0.000000e+00 0.000000e+00 28s Root relaxation: objective 5.762316e+02, 34230 iterations, 28.47 seconds
更准确地说,当根松弛需要超过DisplayInterval参数值(默认为5秒)。

下一节提供了关于树枝和砍树搜索的进度信息:

节点|当前节点|目标界限|.工作解释概述|OBJ深度Intinf |现任者最畅销的差距|它/节点时间0 0 38893.904 0 11 80811.127 38893.904 51.9% -  0 H 0 0 45476.147 38893.904 14.5% -  0 0 0 38903.750 0 13 45476.147 38903.750 14.5% -  0 0 0 38926.214 0 12 45476.147 38926.214 14.4% -  0 0 0 38950.968 013 45476147 38950.968 14.3% -  0s 0 0 38952.279 0 14 45476.147 38952.279 14.3% -  0s H 0 2 43875.000 38952.279 11.2% -  0s H 0 2 40005.054 38952.279 2.63% -  0s 0 2 38952.279 0 14 40005.054 38952.279 2.63% -  0s 96386 22115截止37 40005.054 39504.729 1.25%4.0 5s 153831 18491可行42 40005.054 39576.907 1.07%4.0 10s 203266 12649截止30 40005.054 39756.344 0.62%3.9 15s
这个显示的信息有些密集,但希望每一列都相当容易理解。这节点部分(前两列)提供有关搜索进展的一般定量信息。第一列显示了到该点为止已经探索过的分支和切割节点的数量,而第二列显示了搜索树中仍然未探索的叶节点的数量。有时,会有H*输出行开头的字符。这些结果表明,一个新的可行解已经被发现,或通过MIP启发式(H)或分支(*)。

当前节点节提供了关于在分支和切割树中该点所探索的特定节点的信息。它显示了关联松弛的目标、分支与切割树中该节点的深度,以及关联松弛中具有非整数值的整变量的数量。

目标范围部分提供有可行解决方案的最佳已知的客观值(即当前现任者的客观值)的信息,以及搜索树的叶节点提供的当前物镜束。最佳目标值始终在这两个值之间。本节中的第三列(差距)显示了两个客观界限之间的相对差距。当这个间隙小于MIPGap参数,优化终止。

工作日志的一部分提供有关对该点执行多少工作的信息。第一列显示分支和切割树中每个节点执行的单值迭代的平均数量。最终列以自解决开始以来的经过时间。

默认情况下,Gurobi MIP解算器每5秒打印一次日手机万博登录志行(尽管对于节点特别耗时的模型,间隔有时会更长)。日志线之间的间隔可以调整DisplayInterval参数(参见参数本文档的一部分以获取更多信息)。

注意,被探索的节点数通常在一段较长的时间内保持在0。这意味着Gurobi MIP求解器正在处理根节点。手机万博登录Gurobi求解器经常手机万博登录会在根节点上花费大量的精力,生成切割平面并尝试各种启发式方法,以减小后续分支和切割树的大小。

摘要部分

日志中的第三部分提供了一旦MIP求解器完成后提供摘要信息:手机万博登录

切割平面:戈梅里:6封面:5 miR:8申请的226525节点(854805 Simplex迭代)11.15秒螺纹计数为2(2个可用处理器)找到最佳解决方案(公差1.00E-04)最佳目标4.0005054142E + 04,最佳绑定4.0001112908E + 04,间隙0.0099%
在这个例子中,Gurobi求解器只需要超过11秒才能解决手机万博登录模型,以使其使用两个处理器(处理器计数可以限制线程范围)。最好的可行解决方案目标和最佳界限之间的差距仅为0.01%,产生一个最优终止状态,因为实现的差距小于默认值MIPGap参数值。