IBM ILOG CPLEX引擎日志核心术语解析请求

先贴一段典型的CPLEX求解ILP模型的日志片段，方便对照理解：

Root node processing (before b&c):
  Real time             =    0.12 sec. (100.00 ticks)
Parallel b&c, 8 threads:
  Real time             =    2.34 sec. (500.00 ticks)
  Sync time (average)   =    0.05 sec.
  Wait time (average)   =    0.00 sec.
                         ------------
Total (root+branch&cut) =    2.46 sec. (600.00 ticks)

Nodes                                         Cuts/
Node  Left     Objective  IInf  Best Integer    Best Bound    ItCnt     Gap
*    0     0      100.5000    0      100.0000      100.5000       10    0.50%
*    2     1      100.2500    0      100.2500      100.5000       20    0.25%
     5     3      100.4000    2      100.2500      100.4000       30    0.15%

核心术语解析 #

Root node processing #

• 是CPLEX求解ILP的起始阶段：对根节点（即未添加任何分支约束的原始ILP问题）执行预处理、求解LP松弛（去掉整数约束的线性规划问题）、生成初始割平面等操作，目的是快速得到初始的最优边界和可行整数解，为后续分支定界做准备。
• 日志中Root node processing (before b&c)就是该阶段的耗时统计。

Parallel b&c #

• 全称是Parallel Branch & Cut（并行分支定界），指CPLEX启用多线程同时处理分支生成的多个子问题节点，以此加速求解过程。
• 日志里Parallel b&c, 8 threads表示使用8个线程并行计算，后续的统计项是该阶段的实时耗时、线程同步/等待时间等。

Nodes（表格列：Node） #

• 代表分支定界树中的节点编号，每个节点对应一个添加了分支约束的子问题（比如限制某个整数变量必须≤k或≥k+1）。
• 编号前带*的节点表示在该节点找到了更优的整数可行解，会同步更新Best Integer值。

Left（表格列：Left） #

• 指当前分支定界树中剩余未处理的节点数量。求解过程中这个数值会动态变化：处理一个节点时，若其松弛解不是整数解，会分支生成新节点，Left数可能增加；若节点被剪枝（比如松弛解目标值差于当前最优整数解，或无可行解），Left数会减少。

Gap（表格列：Gap） #

• 即最优性间隙，是衡量当前解接近全局最优解的核心指标，计算公式为：(Best Bound - Best Integer) / |Best Integer| × 100%（最小化问题会自动调整为(Best Integer - Best Bound)/|Best Integer|×100%）。
• 当Gap为0%时，说明已找到全局最优解；Gap越小，当前整数解越接近最优。

新手实用资源 #

• CPLEX本地官方文档：安装目录下cplex/doc文件夹中的《ILOG CPLEX Optimization Studio User's Manual》和《ILOG CPLEX Reference Manual》是权威资料，其中Branch and Cut章节详细讲解算法实现细节。
• CPLEX示例库：安装目录cplex/examples包含多语言（Python、C++、Java等）的ILP模型示例，可直接运行并对照日志理解术语。
• 官方社区入门教程：IBM CPLEX社区内的新手系列文章，从模型构建到日志分析有分步指导，适合零基础用户。
• 算法基础教材：《Integer Programming》（Wolsey著），系统讲解整数规划核心算法，帮助理解日志背后的原理。

内容的提问来源于stack exchange，提问作者Sanath Kumar Vengaldas