02 整数规划.pptVIP

整 数 规 划 分枝定界法 割平面法 0-1型整数规划 指派问题与匈牙利解法 * 运 筹 帷 幄 之 中 决 胜 千 里 之 外 运 筹 学 课 件 整数规划 Integer Programming 引例：某厂利用集装箱托运甲、乙两种货物，每箱体积重量、可获利润及托运限制如下： 体积 重量 利润 甲 5 2 20 乙 4 5 10 托运限制 24 13 两种货物各托运多少箱使利润最大？ Max Z= 20x1 +10x2 5x1 +4x2≤24 2x1 +5x2≤13 x1 , x2≥0 x2 x1 (4.8, 0 ) A Z=96 x1 , x2 为整数 (4,0) Z=80 (5,0) (4,1) max Z=90 整数规划的数学模型 整数规划问题（IP）:是指要求部分或全部决策变量的取值为整数的规划问题。 伴随规划问题：若不考虑整数条件，由余下的目标函数和约束条件构成的规划问题。 重点研究：整数线性规划问题 整数线性规划问题的模型 j=1,2,…,n i=1,2,…,m xj 中取部分或全部为整数 整数规划问题的类型 纯（全）整数规划 混合整数规划 0-1型整数规划 7.1 分枝定界法 基本思想 定界：为求解纯整数规划和混合整数规划问题(A)，先求出其伴随规划（B）的最优解，作为问题A的最优目标函数值的上界，同时选择任意整数可行解作为A的最优目标函数值的下界。 分支：将应为整数解，但尚是非整数解之一的决策变量取值分区，并入伴随规划问题中，形成两个子规划，分别求解。依结果来调整上下界。 举例 例1：A问题为 B问题为 MaxZ=40x1+90x2 9x1+7x2≤56 7x1+20x2 ≤70 x1,x2≥0 x1,x2 都为整数 MaxZ=40x1+90x2 9x1+7x2≤56 7x1+20x2 ≤70 x1,x2≥0 问题B x1=4.81 ,x2=1.82 Z=356 Z=356 Z=0 问题B1 x1=4,x2=2.1 Z=349 问题B 2 x1=5 ,x2=1.57 Z=341 x1≤4 x1≥5 Z=349 Z=0 x2≤2 x2≥3 问题B3 x1=4, x2=2 Z=340 问题B4 x1=1.42 x2=3 Z=327 Z=349 Z=340 x2≤1 x2≥2 问题B5 x1=5.44 x2=1 Z=308 Z*=340 问题B6 无可行解 7.2 割平面法 基本思想 找到纯整数线性规划的伴随规划，不考虑整数约束条件，但增加线性约束条件，将伴随规划的可行域切割掉一部分，但不切割掉任何整数解，只切割掉包括伴随规划的最优解在内的非整数解。 举例 Max Z=x1+x2 -x1+x2≤1 3x1+x2 ≤4 x1 , x2≥0且为整数 伴随规划 Max Z=x1+x2 -x1+x2≤1 3x1+x2 ≤4 x1 , x2≥0 -x1+x2+x3 =1 3x1+x2 +x4=4 x1 , x2≥0 不考虑整数解约束，解伴随规划的最优单纯形表 CB XB b 1 1 0 0 x1 x2 x3 x4 0 x3 1 -1 1 1 0 0 x4 4 3 1 0 1 σ 1 1 0 0 … … … … … … … 1 x1 3/4 1 0 -1/4 1/4 1 x2 7/4 0 1 3/4 1/4 -Z=-5/2 σ 0 0 -1/2 -1/2 将 -3x3-x4+x5= -3（切割方程） 代入最优表 CB XB b 1 1 0 0 0 x1 x2 x3 x4 x5 1 x1 3/4 1 0 -1/4 1/4 0 1 x2 7/4 0 1 3/4 1/4 0 0 x5 -3 0 0 -3 -1 1 -Z=-5/2 σ 0 0 -1/2 -1/2 0 1 x1 1 1 0 0 1/3 1/12 1 x2 1 0 1 0 0 1/4 0 x3 1 0 0 1 1 -1/3 -Z=-2 σ 0 0 0 -1/3 -1/3 7.3 0-1型整数规划 0-1变量的概念 0-1变量：一种逻辑变量，常用来表示系统处于某个特定状态，或者决策时是否取某个特定方案。 x= 1 当决策取方案P时 0 当决策不取方案P时 特殊约束的处理 矛盾约束 f(x)≥a f(x)≤-a -f(x)+a ≤My f(x)+a≤M(1-y) 引入0-1变量y 2. 多中选一的约束 f