MIP Model 中的参数

1. 最重要的参数

Threads: 求解器使用的线程数， 默认使用全部机器的核数， 至多32
MIPFocus: 高层级的解策略， 默认为0， 在寻找最优解和证明当前解的最优性直接取平衡。设置为1， 那么求解器将尽快寻找更多的可行解；设置为2，求解器将侧重证明最优性；如果best bound 下降慢， 则设置为3。（备注： 要搞清楚gurobi 是如何实现的证明最优性和提高边界的）

3. 提高解的质量

ImproveStartTime： 指定的时间消逝后
ImproveStartGap：达到指定的gap

这两个参数表示求解器运行到指定的点后， 专注于寻找好的可行解。

3. 终止

TimeLimit： 求解器运行到指定的时间后终止
MIPGap: 当前解和最优解的相对误差
BestBdStop: 指定终止的最优边界
BestObjStop: 指定终止的最优解
NodeLimit:
IterationLimit:
SolutionLimit:
Cutoff:

4. 减少内存占用

当前接触的问题规模没有遇到需要减少内存的情况。 Gurobi用的方法是node达到一定的数目后， 存储到磁盘或者减少线程数。
还可以限制gurobi使用的内存大小， 如MemLimit 和SoftMemLimit 等参数。

5. 加速根松弛解

如果根松弛占用大量的时间， 可以尝试调整一下Method参数，对根松弛选择另一个连续性的方法。 Method=2 选择内点法， Method=3 选择并发求解器。

也可以尝试针对Node 的松弛求解方法， NodeMethod, 但是一般来说， 默认的dual simplex 效果会更好。

6. 困难的松弛

如果尝试了上面的方法，对于root 松弛的求解还是比较困难， 可以尝试NoRelHeurTime 和NoRelHeurWork来增加启发式方法的尝试， 尽管不会证明获得的可行解的最优性。

详见：Gurobi MIP model parameters