运筹学第06单元.pptVIP

第6章整数规划 本章内容要点 整数规划相关概念 整数规划问题的一般特点 分枝定界法求解过程 割平面法求解过程 0-1规划的求解方法 分派问题法求解过程 引例 6.1 整数规划问题的提出 6.1.1 问题特征 变量取值范围是离散的，经典连续数学中的理论和方法一般无法直接用来求解整数规划问题。 6.1.2 整数规划建模中常用的处理方法 （1）资本预算问题 设有n个投资方案，cj为第j个投资方案的收益。投资过程共分为m个阶段，bi为第i个阶段的投资总量，aij为第i阶段第j项投资方案所需要的资金。目标是在各阶段资金限制下使整个投资的总收益最大。 该问题的约束反映了第i个时期资金增长量的平衡。这里aij代表第i时期内第j项投资的净资金流量：①aij0，表示需附加资金；②aij0，表示该项投资在第i时期内产生资金。 右端项bi表示第i时期外源资金流量的增长量：①bi0，表示有附加资金的数量；②bi0，表示要抽回资金的数量。 6.1.2 建模中常用的处理方法（续） （2）指示变量：指示不同情况的出现 例.有m个仓库，要决定动用哪些仓库，满足n个顾客对货物的需要，并决定从各仓库分别向不同顾客运送多少货物？ 6.1.2 建模中常用的处理方法（续） （3）费用 fi:动用i仓库的固定运营费（租金等） cij:从仓库i到j顾客运送单位货物的运费 约束条件： i)每个顾客的需要量dj必须得到满足； ii)只能从动用的仓库运出货物。 6.1.2 建模中常用的处理方法（续） 6.1.2 建模中常用的处理方法（续） （3）线性规划模型的附加条件 在许多实际问题中，线性规划模型中的约束条件允许一定范围的放宽或对个别因素有进一步限制时，常可通过引入0—1变量来处理。下面介绍三种情况，作为一种建模思路的启示。 ①不同时成立的约束条件。设某个模型问题中的约束条件不必同时成立，有m个线性不等式约束 对每个约束进入一个指示变量yi，并得 到每个约束左端的一个上界 Mi(i=1,2,…,n)，建立下列不等式： 显然，当yi=1时，两式等价；当yi=0时，第二个式子是恒成立，相当于除去了这个限制。 在实际问题中，如果至少有k个约束成立时，只需附加下列约束： ②最优解中非零分量个数的限制。在许多实际问题中，对最优解中的非零分量个数有所限制。类似上述分析可对每个决策变量xi找到其上界Mi，并引入指示变量yi。附加下式 （6-4） （6-5） 可以看出，式（6-4）等价于 式（6-5）说明，非零分量至多有k个。 ③离散的资源变化。实际问题中常出现下列情况：不等式约束 表示右端的值可以有k个等级的违背，而 ，这里b0为最低的限制，在这个限制下，不需付出代价；其余的限制bi（i=1,2,…,k）各需相应付出代价ci（i=1,2,…,k），自然有： 在这种情况下，可以引入0—1变量yi来把上述情况模型化：用式（6-7）和式（6-8）取代式（6-6） （6-7） （6-8） 在目标函数上需增加一项（求min时） （6-9） 由此不难看出式（6-7）以及式（6-8）决定了式（6-6）中的一个式子成立，而式（6-9）表明把相应的代价加到目标函数中。注意式（6-9）应在目标函数求最小时使用。 6.2 分枝定界法 设有整数规划问题（A）为： 显然，问题（A）的可行解集是问题（B）的可行解集的子集．因而，（A）的最优值?（B）的最优值． 第一步 对线性规划（B）求解，其结果有下列三种情形： （1）（B）无可行解，这时（A）也无可行解，停止计算； （2）（B）有整数最优解，且符合（A）的整数条件，这时（B）的最优解就是（A）的最优解，停止计算； （3）（B）有最优解，而其解不全为整数．这时（B）的最优解不是（A）的可行解．但是，（B）的目标函数最优值（设为 ），是（A）的最优目标函数值S*的上界（求最小值时，为其下界）． 第二步 分枝与定界 设线性规划问题（B）的最优解为 ： 第三步 剪枝． 在