运筹学：第六章 整数规划.ppt

第三节分支定界法一、分支定界法二、算法一、分支定界法1、定义：分支定界法(BranchandBoundMethod)也称为隐枚举法，是在枚举法的基础上进行改进。分支定界法不是一种有效算法，它的关键是分支和定界。2、实质：是在保留原问题全部整数可行解前提下，将原问题分解为若干子问题，即分支，并利用子问题的目标值来判定分支的界限。3、分支原则：利用整数规划的相邻整数点之间无可行域这一特点，因而可以按相邻整数为边缘来分支。整数规划的松弛问题是去掉了原问题的整数性条件，所以可行域的范围增加了。4、定界原则：整数规划问题的的最优解不会更优于相应的松弛问题的最优解。对于最大化问题，松弛问题的目标函数值，是整数规划问题目标函数值的上界；对于最小化问题，其目标函数值是相应的下界。5、分支定界法的具体步骤a．整数规划问题称为问题A，相应的松弛问题称为问题B，解问题B。b．如问题B没有可行解，即停止。这时原问题无可行解。c．如求得问题B的最优解，检查它是否满足整性约束。如果满足，它就是问题A的最优解；如果不满足整数条件，转下一步。d．在问题B的解中，任选一个不符合整数条件的变量，如的值是，构造两个后继子问题，它们是对问题B分别增加一个约束条件：（1）（2）其中，为数值不大于的最大整数。不考虑整性约束，解这两个后继问题。e．在现有的分支中，选目标函数值为最大的问题作为新的问题B，回到步骤3，重复进行。二、算法算法的讨论：（以最大化问题为例）1．在计算过程中，若已得到一个整数可行解，其相应的目标函数值为，记作原问题目标函数值的下界。则在其分支过程中，如果解某一松弛问题子问题所得到的目标函数值，即可停止计算。因为进一步的分支结果所得到的最优值只能小于当前的下界z’。2．分支变量的选取。（1）选取具有最大分数值的变量作为分支变量。（2）对整数变量按其重要程度排定优先顺序，按优先顺序的先后选择分支变量。3．在分支过程中，如果出现下面两种情况，则可终止检查计算过程。（1）相应的子问题问题可行域为空集，无可行解。（2）相应子问题的最优值小于当前的下界。

*该整数规划对应是线性规划问题的最优解为：X1=3.25，x2=2.5目标函数值Z0=14.75，此为原整数规划的上界*（3.25，2.5）ox1x2X1≧4x1≦3x2≧3x2≦2*求解过程可用下列树状结构表示第四节0-1规划在现实世界中存在许多具有组合特征,或者是涉及到“是或非”决策的最优化问题，这些问题都可归结为0-1整数规划。另外，变量有上界的整数规划问题也可以归结为0-1规划。一、0-1整数规划的应用实例与建模例6.4某电冰箱厂正在考虑今后4年内有不同资金要求的投资方案。面对每年有限的资金，工厂领导需要选择最好的方案，使资金预算方案的当前估算净值最大化。每种方案的现金估算净值（现金估算净值为第一年开始时的净现金流的值）、资金需求和4年内拥有的资金见下表：项目（千元）扩建工厂扩建仓库更新机器新产品研制现值55401037总可用成本第1年资金1510101540第2年资金20151050第3年资金20201040第4年资金15541035设表示扩建工厂的变量；表示扩建仓库的变量；表示更新机器的变量；表示研制新产品的变量。由此可得下列模型：二、0-1规划的解法0-1整数规划是整数规划的一种特殊形式，当然可以用割平面法和分支定界法求解。同时根据变量仅取0、1两个值的特点，可以构造求解0-1