Mosek MIP优化日志中BEST_INT_OBJ列的精确定义咨询

核心定义 #

• BEST_INT_OBJ列记录的是当前分支定界过程中，已找到的最优可行整数解对应的目标函数值。

原问题与预处理器问题的对应说明 #

该值是基于用户定义的原问题计算得出的，而非预处理器生成的次级问题的目标值。Mosek的预处理器会对原问题做转换优化（如变量替换、约束简化等），但日志中展示的所有目标函数值都会自动映射回原问题的尺度和目标定义，确保用户看到的结果和自己输入的问题直接对应。

日志中的更新逻辑 #

随着分支定界的推进，每当找到更优的可行整数解时，BEST_INT_OBJ的值会被更新为这个更优解的目标值（比如你提供的日志中，该值从8.3888091139e+07下降到3.1273162420e+07，就是找到了更优的可行整数解）。

内容的提问来源于stack exchange，提问作者iLoveMosek