数学建模课b件.pptVIP

第五章 整数规划 第1节 整数线性规划问题的提出 一、引例 某厂拟用集装箱托运甲乙两种货物，每箱的体积、重量、可获利润以及托运所受限制如表5-1所示。问两种货物各托运多少箱，可使获得利润为最大?表5-1 建立数学模型 设x1，x2分别为甲、乙两种货物的托运箱数，则： max z =20x1+10x2 ① 5x1+4x2≤24 ② 2x1+5x2≤13 ③ (5.1) x1，x2≥0 ④ 求解 很容易求得最优解为:x1=4.8，x2=0，max z=96 应该加上整数约束！！ 最终的模型： max z =20x1+10x2 ① 5x1+4x2≤24 ② 2x1+5x2≤13 ③ (5.1) x1，x2≥0 ④ x1，x2整数 ⑤ 二、整数规划相关的概念 1、整数规划 一部分或全部决策变量取整数值的规划问题 2、整数规划的松弛问题 整数规划中不考虑整数条件所对应的规划问题 3、整数线性规划 松弛问题为线性规划的整数规划问题（本章所讨论的内容） 注：松弛问题的性质 性质1：若松弛问题没有可行解，则原问题也一定没有可行解。 性质2：松弛问题目标函数的最优值给出原问题目标函数最优值的一个上（下）界。具体而言，对于max是上界，对于min是下界。 性质3：若松弛问题的某个最优解是原问题的可行解，则它也是原问题的一个最优解。 整数规划的分类： （1）纯整数线性规划（PIP） （2）混合整数线性规划(MIP) 注：一种特殊整数规划，0-1型整数线性规划 三、整数规划问题的求解 对于整数规划 max z =20x1+10x2 ① 5x1+4x2≤24 ② 2x1+5x2≤13 ③ (5.1) x1，x2≥0 ④ x1，x2整数 ⑤ 其松弛问题的最优解为： x1=4.8，x2=0，max z=96 原问题的最优解怎么求得？ 第2节 分支定界解法 分支定界法(branch and bound method)可用于解纯整数或混合的整数线性规划问题。在20世纪60年代初由Land Doig和Dakin等人提出。由于这方法灵活且便于用计算机求解，所以现在它已是解整数线性规划的最重要方法。 分支定界法的思想 设有最大化的整数线性规划问题A，其松弛问题为B，从解问题B开始，若其最优解不符合A的整数条件，那么B的最优目标函数必是A的最优目标函数z*的上界，记作 ；而A的任意可行解的目标函数值将是z*的一个下界z。分支定界法就是将B的可行域分成子区域(称为分支)的方法，逐步减小上界和增大下界，最终求到z*。 例 2 求解A max z=40x1+90x2 ① 9x1+7x2≤56 ② 7x1+20x2≤70 ③ (5.2) x1，x2≥0 ④ x1，x2整数 ⑤ 解 先不考虑条件⑤，即解相应的线性规划B,①～④(见图5-2)，得最优解x1=4.81，x2=1.82，z0=356  ? 分支定界法的解法 首先注意其中一个非整数变量的解，如x1，在问题B的解中x1=4.81。于是对原问题增加两个约束条件x1≤4，x1≥5 可将原问题分解为两个子问题B1和B2(即两支)， 给每支增加一个约束条件，如图5-3所示。这并不影响问题A的可行域，不考虑整数条件解问题B1和B2，称此为第一次迭代。得到最优解为： 图5-3 x1≤4，x1≥5 显然没有得到全部变量是整数的解。因z1＞z2，故将 改为349，那么必存在最优整数解，得到z*，并且0≤z*≤349 继续对问题B1和B2进行分解 因z1＞z2，故先分解B1为两支。增加条件x2≤2者，称为问题B3；增加条件x2≥3者称为问题B4。在图5-3中再舍去x2＞2与x3＜3之间的可行域， 再进行第二次迭代。 继续对问题B2进行分解 解题的过程都列在图5-4中。