运筹学基础整数规划1.pptVIP

第四章 §4.1　整数规划 【例1】 讨论：如何调整满足整数解 二、整数规划的求解方法 1、整数规划之分枝定解法 第一步：寻找替代问题并求解 【例2】 分枝为问题1、2后解可能出现如下几种情况 分枝定界法的一般步骤如下 分枝定界法的EXCEL演示 2、割平面解法 【例1】求解下列整数规划问题　 　 　 分析 【例2】 求解下列整数规划问题　 　 【例3】 求解下列整数规划问题　 　 1 0 -1 0 1 0 2 　　将其作为新的约束条件，加入到前面的最终表中，便形成新的线性规划问题。用对偶单纯形法求解。 　　第三步：引入松驰变量x6，代入新增加的约束条件中 -1/2 x5 + x6＝-1/2 检验数?j b XB CB 比 值 Cj x5 x6 x4 x3 x2 x1 0 0 0 0 2 3 1 0 -1/2 　1 0 0 7/2 x3 x6 x1 x2 0 0 3 2 -1/2 0 -1 0 0 0 -29/2 -2 0 1 1 0 0 1 -1/2 1 0 0 0 0 -1/2 新增加的约束条件 整数规划 检验数?j b XB CB 比 值 Cj x5 x6 x4 x3 x2 x1 0 0 0 0 2 3 1 -1 0 　1 0 0 4 x3 x6 x1 x2 0 0 3 2 0 -1 -1 0 0 0 -14 0 -4 1 1 0 0 3 0 2 -1 0 1 0 1 1 -2 0 0 0 0 1 x1＝4， x2＝1为最优解，最优值为Z＝14，是整数解 整数规划 E‘(1,4) 　　因为上述的线性规划的最优解已是整数解，所以得整数规划问题的最优解：x1=1， x2=4。maxZ＝14 B(13/4,5/2) A E C F x1 x2 2 4 6 2 4 6 -2 0 -4 O 整数规划 　　解引入松弛变量，写成标准形式： （1） ? ? ? í ì 3 ＝ + + ＝ + + + = , 0 , , , ; 4 3 ; 1 - ; max 4 3 2 1 4 2 1 3 2 1 2 1 x x x x x x x x x x x x z （2） 　　对上述模型不考虑整数条件，用单纯形法求解相应松弛问题的最终单纯形表为 检验数?j b XB CB 比 值 Cj x4 x3 x2 x1 0 0 1 1 1/4 -1/4 0 1 3/4 1/4 3/4 1 0 7/4 x2 x1 1 1 -1/2 -1/2 0 0 -5/2 ? ? ? í ì 3 ￡ + ￡ + + = 且为整数 , 0 , ; 4 3 ; 1 - ; max 2 1 2 1 2 1 2 1 x x x x x x x x z 最优解为 x1＝3/4，x2＝7/4 整数规划 　　显然， x1＝3/4，x2＝7/4 为非整数解。找出非整数解变量中分数部分最大的一个基变量，写出相应的约束： 　　将上式的所有变量的系数及右端常数均改写成一个整数与一个非负真分数之和的形式。据此，上式可以改写成 　　若将带有整数系数的变量整数项留在方程的左边，其余移到方程的右边，则有 , 4 / 3 4 / 1 4 / 1 4 3 1 = + - x x x , 4 / 7 4 / 1 4 / 3 4 3 2 = + + x x x , 4 / 3 0 ) 4 / 1 0 ( ) 4 / 3 1 ( ) 0 1 ( 4 3 1 + = + + + - + + x x x , 4 / 3 1 ) 4 / 1 0 ( ) 4 / 3 0 ( ) 0 1 ( 4 3 2 + = + + + + + x x x 4 3 3 1 4 / 1 4 / 3 4 / 3 x x x x - - = - 4 3 2 4 / 1 4 / 3 4 / 3 1 x x x - - = - 整数规划 整理后得 　　为了直观地在图形上描述，可将标准式的两个约束方程代入上式，则成为 　　由于要求变量取值为正整数，方程的左边必为整数。当然，方程的右边也应为整数。又由于x3≥0,x4≥0于是，有 , 0 4 / 1 4 / 3 4 / 3 4 3 ￡ - - x x -3x3 -x4 ≤-3 x2 ≤1 ? ? ? í ì 3 ＝ + + ＝ + + + = 且为整数 , 0 , , , ; 4 3 ; 1 - ; max 4 3 2 1 4 2 1 3 2 1 2 1 x x x x x x x x x x x x z -3(1+x1-x2) –(4-3x1-x2) ≤-3 这就是割平面的方程 整数规划 x1 x2 2 4 6 2 4 6 -2 0 -4 B(3/4,7/4) ? ? ? í