整数规划精美管理课件.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《整数规划精美管理课件.ppt》由用户(晟晟文业)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 整数 规划 精美 管理 课件
- 资源描述:
-
1、整整 数数 规规 划划(Integer Programming)第一节第一节.整数规划整数规划问题的提出问题的提出一、整数规划的一般形式一、整数规划的一般形式1、实例:、实例:例例1 1 某厂拟用集装箱托运甲乙两种货物,每箱的体某厂拟用集装箱托运甲乙两种货物,每箱的体积、重量、可获利润以及托运所受限制如表积、重量、可获利润以及托运所受限制如表51:货物货物体积体积每箱(米每箱(米3 3)重量重量每箱(百斤)每箱(百斤)利润利润每箱(百元)每箱(百元)甲甲 乙乙 5 4 2 5 20 10托运限制托运限制 24 13问两种货物各托运多少箱,可使获得的利润为最大?问两种货物各托运多少箱,可使获得的
2、利润为最大?,且且为为整整数数,013522445:102021212121xxxxxxSTxxMaxZ 部部分分或或全全部部为为整整数数iiTxxbAXSTXCMaxZ,0:2、整数规划一般形式、整数规划一般形式解:设托运甲、乙两种货物解:设托运甲、乙两种货物x1,x2箱,用箱,用数学式可表示为:数学式可表示为:整数规划的数学模型整数规划的数学模型一般形式一般形式且且部部分分或或全全部部为为整整数数或或 n)1.2(j 0)2.1()min(max11jnjijijnjjjxmibxaxcZZ 依照决策变量取整要求的不同,整数规划可分为纯整依照决策变量取整要求的不同,整数规划可分为纯整数规划
3、、全整数规划、混合整数规划、数规划、全整数规划、混合整数规划、0 01 1整数规划。整数规划。纯整数规划:纯整数规划:所有决策变量要求取非负整所有决策变量要求取非负整数(这时引进的松弛变量和剩余变量可以不要数(这时引进的松弛变量和剩余变量可以不要求取整数)。求取整数)。全整数规划:全整数规划:除了所有决策变量要求取非负除了所有决策变量要求取非负整数外,系数整数外,系数aij和常数和常数bi也要求取整数(这时引也要求取整数(这时引进的松弛变量和剩余变量也必须是进的松弛变量和剩余变量也必须是 整数)。整数)。混合整数规划:混合整数规划:只有一部分的决策变量要只有一部分的决策变量要求取非负整数,另一
4、部分可以取非负实数。求取非负整数,另一部分可以取非负实数。01整数规划:整数规划:所有决策变量只能取所有决策变量只能取 0 或或 1 两个整数两个整数。整数规划与线性规划的关系整数规划与线性规划的关系 从数学模型上看整数规划似乎是线从数学模型上看整数规划似乎是线性规划的一种特殊形式,求解只需在线性规划的一种特殊形式,求解只需在线性规划的基础上,通过舍入取整,寻求性规划的基础上,通过舍入取整,寻求满足整数要求的解即可。但实际上两者满足整数要求的解即可。但实际上两者却有很大的不同,通过舍入得到的解却有很大的不同,通过舍入得到的解(整数)也不一定就是最优解,有时甚(整数)也不一定就是最优解,有时甚至
5、不能保证所得倒的解是整数可行解。至不能保证所得倒的解是整数可行解。举例说明。举例说明。例:设整数规划问题如下例:设整数规划问题如下 且为整数0,13651914max21212121xxxxxxxxZ 首先不考虑整数约束,得到线性规划问题(一般称首先不考虑整数约束,得到线性规划问题(一般称为松弛问题)。为松弛问题)。0,13651914max21212121xxxxxxxxZ用用 解法求出最优解解法求出最优解x13/2,x2=10/3且有且有Z=29/6x1x233(3/2,10/3)现求整数解(最优解):现求整数解(最优解):如用如用“舍入取整法舍入取整法”可可得到得到4个点即个点即(1,3
6、)(2,3)(1,4)(2,4)。显然,。显然,它们都不可能是整数规它们都不可能是整数规划的最优解。划的最优解。按整数规划约束条件,其可行解肯定在线性规划问题按整数规划约束条件,其可行解肯定在线性规划问题的可行域内且为整数点。故整数规划问题的可行解集的可行域内且为整数点。故整数规划问题的可行解集是一个有限集,如图所示。是一个有限集,如图所示。图图 因此,可将集合内的整数点一一找出,其最因此,可将集合内的整数点一一找出,其最大目标函数的值为最优解,此法为完全枚举法。大目标函数的值为最优解,此法为完全枚举法。如上例:其中如上例:其中(2,2)()(3,1)点为最点为最大值,大值,Z=4。目前,常用
7、的求解整数规划的方法有:目前,常用的求解整数规划的方法有:分支定界法和割平面法;分支定界法和割平面法;对于特别的对于特别的0 01 1规划问题采用隐枚举法和匈规划问题采用隐枚举法和匈牙利法。牙利法。在在20世纪世纪60年代初年代初 Land Doig 和和 Dakin 等人提出等人提出了分了分枝枝定界法定界法.由于该方法灵活且便于用计算机求由于该方法灵活且便于用计算机求解解,所以目前已成为解整数规划的重要方法之一所以目前已成为解整数规划的重要方法之一.分分枝枝定界法既可用来解纯整数规划定界法既可用来解纯整数规划,也可用来解混合也可用来解混合整数规划整数规划.分枝定界法的主要思路是首先求解整数规
8、划的伴分枝定界法的主要思路是首先求解整数规划的伴随规划随规划(整数规划的松弛问题)(整数规划的松弛问题),如果求得的最如果求得的最优解不符合整数条件优解不符合整数条件,则增加新则增加新约约束束缩小可行缩小可行域域;将原整数规划问题分将原整数规划问题分枝枝分为两个子规划分为两个子规划,再解子规划的伴随规划再解子规划的伴随规划通过求解一系列子规通过求解一系列子规划的伴随规划及不断地定界划的伴随规划及不断地定界.最后得到原整数规最后得到原整数规划问题的整数最优解划问题的整数最优解.分枝定界法分枝定界法基本思路基本思路 且为整数且为整数)2.1(,0)2.1()(max11mjxmibxaIPxcZj
9、njijijnjjj考虑纯整数问题:考虑纯整数问题:)2.1(,0)2.1()(max11mjxmibxaLPxcZjnjijijnjjj整数问题的松弛问题:整数问题的松弛问题:例 某公司计划建筑两种类型的宿舍某公司计划建筑两种类型的宿舍.甲种每幢占地甲种每幢占地0.25 103m2,乙种每幢地乙种每幢地0.4103m2.该公司拥该公司拥有土地有土地3103m2.计计划划甲种宿舍不超过甲种宿舍不超过 8 幢幢,乙乙种宿舍不超过种宿舍不超过4幢幢.甲种宿舍每幢利润为甲种宿舍每幢利润为10万元万元,乙种宿舍利润为每幢乙种宿舍利润为每幢20万元万元.问该公司应计划甲、问该公司应计划甲、乙两种类型宿舍
10、各建多少幢时乙两种类型宿舍各建多少幢时,能使公司获利最能使公司获利最大大?解解 设计划甲种宿舍建设计划甲种宿舍建 幢幢,乙种宿舍建乙种宿舍建 幢幢,则本题则本题数学模型为数学模型为:2x1x211020maxxxZ取整数,0,4834.025.0.212121xxxxxxts这是一个纯整数规划问题这是一个纯整数规划问题,称为问题称为问题 。将将(1)中约中约束条件束条件0A34.025.021xx的系数全化为整数的系数全化为整数,改为改为:608521 xx(1)然后去掉整数条件然后去掉整数条件,得到问题得到问题 的的伴随规划伴随规划 (2),(2),称之为称之为问题问题0A0B211020m
11、axxxf0,486085.212121xxxxxxts(2)用单纯形法求解问题用单纯形法求解问题 ,得到最优解及最优值得到最优解及最优值:0B,6.51x,42x,),(21*0TxxX.136*0f1.计算原问题计算原问题 目标函数值的初始上界目标函数值的初始上界 0AZ因为问题因为问题 的最优解不满足整数条件的最优解不满足整数条件,因此因此 不是问题不是问题 的最优解的最优解,又因为又因为 的可行域的可行域 问题问题 的可行域的可行域 ,故问题故问题 的最优值不会超过问题的最优值不会超过问题 的最优值的最优值.即有即有0B*0X0A0K0B0K0A0B*0*fZ 因此可令因此可令 作为作
12、为 的初始上界的初始上界*0f*ZZ即即.136Z一般说来一般说来,若问题若问题 无可行解无可行解,则问题则问题 也无可行解也无可行解,停止计停止计0B0A算算。若问题若问题 的最优解的最优解 满足问题满足问题 的整数的整数0B*0X0A条件条件,则则 也是问题也是问题 的最优解的最优解,停止计算停止计算.*0X0A2.计算原问题计算原问题 目标函数值的初始下界目标函数值的初始下界0AZ若能从问题若能从问题 的约束条件中观察到一个整数可行解的约束条件中观察到一个整数可行解,则可将则可将其目标函数值作为问其目标函数值作为问题题 目标函数值的初始下界目标函数值的初始下界,否则可令否则可令初始下界初
13、始下界Z=Z=-.给定下界的目的给定下界的目的,是希望在求解过程中寻找是希望在求解过程中寻找比当前比当前 更好的原问题的目标函数值更好的原问题的目标函数值 .0A0AZ对于本例对于本例,很容易得到一个明显的可行解很容易得到一个明显的可行解X=(0,0)X=(0,0)T T,Z=0.,Z=0.问问题题 的最优目标函数值决不会比它小的最优目标函数值决不会比它小,故可令故可令 =0.=0.0AZ3.增加约束条件将原问题分枝增加约束条件将原问题分枝当问题当问题 的最优解的最优解 不满足整数条件时不满足整数条件时,在在 中任选一个中任选一个不符合整数条件的变量不符合整数条件的变量.如本例选如本例选 显然
14、问题显然问题 的的整数最优解只能是整数最优解只能是 或或 ,而绝不会在而绝不会在5 5与与6 6之间之间.因此当将可行域因此当将可行域 切去切去 部分时部分时,并没有切去并没有切去 的的整数可行解整数可行解.可以用分别增加约束条件可以用分别增加约束条件 及及 来达来达到在到在 切去切去 部分的目的部分的目的.切去切去 后就分后就分为为 及及 两部分两部分,即问题即问题 分为问题分为问题 及问题及问题 两枝子两枝子规划规划.*0X0A*0X,6.51x0A51x61x0K651 x0A51x61x651 x651 x0K0K1K2K0A1A2A问题问题 1A问题问题 2A211020maxxxZ
15、取整数,0,5486085.2112121xxxxxxxts211020maxxxZ取整数,0,6486085.2112121xxxxxxxts 作出问题作出问题 的伴随规划的伴随规划 则问题则问题 的可行的可行域域为 见图见图2(b).2(b).以下我们将由同一问题分解出的两以下我们将由同一问题分解出的两个分个分枝枝问题称为问题称为 一对分枝一对分枝.,1A2A,1B,2B,1B,2B,1K,2KOO112234421x2x2x1x468684.分别求解一对分枝分别求解一对分枝在一般情况下在一般情况下,对某个分枝问题对某个分枝问题(伴随规划伴随规划)求解时求解时,可能出现可能出现以下几种可能
16、以下几种可能:(a)(a)(b)图2(1)无可行解无可行解若无可行解若无可行解,说明该枝情况己查明说明该枝情况己查明,不需要由此分枝再继续不需要由此分枝再继续分枝分枝,称该称该分枝为分枝为 “树叶树叶”,剪枝。,剪枝。(2)得到整数最优解得到整数最优解若求得整数最优解,则若求得整数最优解,则该枝情况己查明该枝情况己查明,不需要不需要再对再对此继续此继续分枝分枝,该该分枝也是分枝也是 树叶树叶.(3)得到非整数最优解得到非整数最优解若求得某个若求得某个分枝分枝问题得到的是不满足整数条件的最优解,问题得到的是不满足整数条件的最优解,该最优解的目标函数值该最优解的目标函数值Z Z小于当前的下界小于当
17、前的下界 ,则该,则该枝内不可能含有原问题的整数最优解,称为枝内不可能含有原问题的整数最优解,称为“枯枝枯枝”,需需剪掉。剪掉。Z该最优解的目标函数值该最优解的目标函数值Z Z大于当前的下界大于当前的下界 ,则仍,则仍需对该枝继续分枝,以查明该分枝内是否有目标函数值比需对该枝继续分枝,以查明该分枝内是否有目标函数值比当前的当前的 更好的整数最优解。更好的整数最优解。ZZ本例中问题本例中问题 及问题及问题 的模型及求解结果的模型及求解结果如下:如下:1B2B还要区分两种情况:还要区分两种情况:问题1B问题2B211020maxxxf0,5486085.2112121xxxxxxxts211020
18、maxxxf0,6486085.2112121xxxxxxxts解为:TX)4,5(*1解为:TX)75.3,6(*2130*1f135*2f问题问题 的解的解 是整数最优解是整数最优解,它当然也是问题它当然也是问题 的整数可行解的整数可行解,故故 的整数最优解的整数最优解1BTX)4,5(*10A0A.130*1*fZ即此时可将即此时可将 修改为修改为:Z130*1 fZ同时问题同时问题 也被查清也被查清,成为成为“树叶树叶”。1B因为因为 ,不满足整数条件不满足整数条件,故问题故问题 分别增加约分别增加约束条件束条件:及及 。分为分为 与与 两两枝枝,建立相应的建立相应的伴随规划伴随规划问
19、题问题 与与TX)75.3,6(*20A32x42x3B.4B3A3A问题3B问题4B211020maxxxf0,46486085.21212121xxxxxxxxts211020maxxxf0,36486085.21212121xxxxxxxxts它们的可行域分别为,3K).(4K见图3。O2x1x12324468图3因为因为 ,问题问题无可行解无可行解,此问题此问题已已是是 树叶树叶,已被查清已被查清.4K4B求解问题求解问题 ,得到最优解得到最优解 3BTX)3,2.7(*3132*3f5.修改上、下界修改上、下界 与与ZZ(l)修改下界修改下界 Z修改下界的时机是修改下界的时机是:每求
20、出一个整数可行解时每求出一个整数可行解时,都要作修改都要作修改下界下界 的工作的工作.Z修改下界修改下界 的原则的原则:在至今所有计算出的在至今所有计算出的整数可行解整数可行解中中,选选目标函数值最目标函数值最大大的那个作为最新下界的那个作为最新下界 。ZZ因此在用分枝定界法的求解全过程中因此在用分枝定界法的求解全过程中,下界下界 是不断增大的是不断增大的.(2)修改上界修改上界 Z上界上界 的修改时机是的修改时机是:每求解完一对分枝每求解完一对分枝,都要考虑修改上界都要考虑修改上界Z修改上界修改上界 的原则是的原则是:挑选在迄今为止所有挑选在迄今为止所有未被分枝未被分枝的问题的的问题的目标函
21、数值中最目标函数值中最大大的一个作为新的上界的一个作为新的上界.新的上界新的上界 应该小于应该小于原来的上界原来的上界 .ZZ在分枝定界法的整个求解过程中在分枝定界法的整个求解过程中,上界的值在不断减小上界的值在不断减小.问题6B问题5B211020maxxxf0,46486085.21212121xxxxxxxxts211020maxxxf0,36486085.21212121xxxxxxxxtsO24681x132x24解为解为:TxxX)3,7(21*5130*5fTxxX)5.2,8(21*6130*6f因为此时因为此时 的解为整数解的解为整数解,因此修改下界为因此修改下界为 =130
22、,而此而此时所有未被分枝的问题时所有未被分枝的问题()的目标函数值中最大的的目标函数值中最大的为为 ,故修改上界故修改上界 =130.=130.5BZ,5B,4B6B130*6*5 ffZ6.结束准则结束准则当所有分当所有分枝枝均已查明均已查明(或无可行解或无可行解“树叶树叶”,或为整数可或为整数可行解行解“树叶树叶”,或其目标函数值不大于下界或其目标函数值不大于下界 ”枯枯枝枝”)Z且此时且此时 ,则已得到了原问题的整数最优则已得到了原问题的整数最优 ZZ解,解,即目标函数值为下界即目标函数值为下界 的那个整数解的那个整数解 .Z在本例中在本例中,当解完一对当解完一对分枝分枝 后后,得到得到
23、 又又 是是 树叶树叶,为为 枯枝枯枝,因此所有分枝因此所有分枝()均已查明均已查明.故已得到问题故已得到问题 的最优解的最优解:,5B6B,130 ZZ5B6B,5B6B,4B,1B0A,)3,7(5*TXX.130*Z,)4,5(1*TXX或.130*Z故该公司应建甲种宿舍故该公司应建甲种宿舍7 7幢乙种宿舍幢乙种宿舍3 3幢幢;或甲种或甲种5 5幢、乙幢、乙种种4 4幢时幢时,获利最大获利最大.获利为获利为130130万元万元.可将本例的求解过程与结果用图可将本例的求解过程与结果用图5 5 来描述来描述.问题6.51x0B32x42x1360f136Z0Z问题51x1B42x1301f问
24、题61x2B75.32x1352f问题2.71x3B32x1323f问题4B问题71x5B32x1305f问题81x6B5.22x1306f51x61x135Z130Z42x不可行132Z130Z71x81x130Z130ZX分枝规则情况情况 2,4,5 找到最优解找到最优解情况情况 3 在缩减的域上继续分枝定界法在缩减的域上继续分枝定界法情况情况 6 问题问题 1 的整数解作为的整数解作为界界被保留,用于以后与问题被保留,用于以后与问题 2 的后的后续分枝所得到的解进行比较,结论如情况续分枝所得到的解进行比较,结论如情况 4 或或 5下面将分下面将分枝枝定界法求解混合型整数规划的计算步骤归纳
25、如下定界法求解混合型整数规划的计算步骤归纳如下:第第1 1步步:将原整数线性规划问题称为问题将原整数线性规划问题称为问题 .去掉问题去掉问题的整数条件的整数条件,得到伴随规划问题得到伴随规划问题 0A0A0B第第2 2步步:求解问题求解问题 ,有以下几种可能有以下几种可能:0B(l)(l)没有可行解没有可行解,则则 也没有可行解也没有可行解,停止计算停止计算。0B0A(2)得到得到 的最优解的最优解,且满足问题且满足问题 的整数条件的整数条件,则则 的的最优解也是最优解也是 的最优解的最优解,停止计算停止计算.0B0A0B0A(3)(3)得到不满足问题得到不满足问题 的整数条件的的整数条件的
展开阅读全文