分支定界法原理简介.pdfVIP

分支定界法原理简介 分支定界法是一种广义搜索算法，人工使用非常繁琐，但由于计算机的运 算速度快的特点，这种算法十分适合计算机进行。分支定界法是计算机最擅长 的广义搜索穷举算法。 基本思想： 1. 松弛模型的最优解要优于其相应的整数规划的解 由于松弛模型可行解的区域（多边形）包含了对应的整数规划的可行解的集 合（多边形内的整数点），因而松弛模型的解要优于整数规划的解。这就是说， 如果问题是求最大值的，则松弛模型最优解对应的目标函数值必大于或等于整数 规划最优解对应的目标函数值；如果问题是求最小值的，则松弛模型的最优解对 应的目标函数值必小于或等于整数规划最优解对应的目标函数值。由此可以推 出： 2. 松弛模型的最优解如果是整数解，则必然也是整数规划的最优解。 3. 松弛模型的最优解如果不是整数解，则如果问题是求最大值的，松弛模 型最优解的目标函数值是整数规划最优解目标函数值的一个上界；如果问题是求 最小值的，则松弛模型最优解的目标函数值是整数规划最优解目标函数值的一个 下界。 我们用例子来说明用分支定界法求解整数规划的步骤。 例 求下面整数规划的最优解 max Z 40x +90x 1 2 s.t. 9x +7x ≤56 1 2 7x +20x ≤70 1 2 x , x ≥0 1 2 x , x 为整数 1 2 解 从上述各约束条件可见，(0,0) 是一个可行解，对应的松弛模型目标函 数值Z 0 。本问题是一个求最大值的问题，因而整数规划最优解的目标函数的 下界可以取为0，即取整数规划模型最优值的下界Z 0 。 先考虑此整数规划问题的线性松弛模型0 ： 其解为 松弛模型0 Z 356 0 x 4.81 1 x 1.82 2 由于松弛模型解的目标函数值是整数规划模型最优值的一个上界，可以取此 处的Z0 为整数规划模型最优值的一个上界Z 356 。由于该松弛模型解不是整数 解，分原问题为x1 ≤4 和x1 ≥5 两个子模型：子模型1 和子模型2 。 1 子模型1 子模型2 x ≤4 x ≥5 1 1 Z 349 Z 349 1 2