分支定价数值稳定性分析.docxVIP

分支定价数值稳定性分析

分支定价数值稳定性分析

在运筹优化与大规模组合优化求解器的工程实践中，分支定价方法已经成为处理车辆路径、机组排班、切割下料、集装箱配载等列生成类问题的核心框架。该方法通过将原问题主问题与定价子问题解耦，在迭代过程中不断生成具有负检验数的新列来改进下界或上界，从而以可控的内存代价逼近大规模整数规划的最优解。然而当模型规模扩大、约束矩阵条件数恶化、对偶变量数值跨度增大、定价子问题存在浮点误差累积时，分支定价过程会出现节点下界震荡、割平面与列生成互相干扰、分支方向失效、定价子问题返回伪负检验数、主问题基变量结构不稳定等现象。这些问题并不总能被简单归结为算法实现bug，而往往根植于数值计算链路中精度传播、标度变换、容差设置、线性求解器内部迭代终止条件以及子问题动态规划状态转移舍入方式之间的耦合。因此，对分支定价数值稳定性进行分析，并不是在理论证明之外做附属性的工程修补，而是决定算法是否可信、可复现、可部署到生产系统的前提条件。

一、浮点算术与对偶变量传播中的误差积累

（1）分支定价主问题通常表现为带列生成机制的线性规划或整数规划松弛，其每次迭代都依赖单纯形法或内点法给出的对偶价格。对偶变量本身并非绝对精确的数学对象，而是由浮点运算按照IEEE754双精度规则逼近得到的数值近似。当主问题约束中包含极小容量的车辆载重、极大范围的时间窗、以分为单位计费的成本、以