(优选)整数规划及分支定界法.pptVIP

（优选）整数规划及分支定界法第一页，共39页。3-1整数规划问题整数规划是一类要求变量取整数值的数学规划，可分成线性和非线性两类。根据变量的取值性质，又可以分为全整数规划，混合整数规划，0-1整数规划等。第二页，共39页。整数规划是数学规划中一个较弱的分支，目前只能解中等规模的线性整数规划问题，而非线性整数规划问题，还没有好的办法。第三页，共39页。例3-1：一登山队员做登山准备，他需要携带的物品有：食品，氧气，冰镐，绳索，帐篷，照相机和通讯设备，每种物品的重要性系数和重量如下：假定登山队员可携带最大重量为25公斤。第四页，共39页。序号1234567物品食品氧气冰镐绳索帐篷相机设备重量55261224重要系数201518148410第五页，共39页。解：如果令xi=1表示登山队员携带物品i，xi=0表示登山队员不携带物品i，则问题表示成0-1规划:MaxZ=20x1+15x2+18x3+14x4+8x5+4x6+10x7s.t.5x1+5x2+2x3+6x4+12x5+2x6+4x7?25xi=1或xi=0i=1,2,….7第六页，共39页。例3-2背包问题(KnapsackProblem)一个旅行者,为了准备旅行的必须用品,要在背包内装一些最有用的东西,但有个数限制,最多只能装b公斤的物品,而每件物品只能整个携带,这样旅行者给每件物品规定了一个“价值”以表示其有用的程度,如果共有n件物品,第j件物品aj公斤,其价值为cj.问题变成:在携带的物品总重量不超过b公斤条件下,携带哪些物品,可使总价值最大?第七页，共39页。解：如果令xj=1表示携带物品j，xj=0表示不携带物品j，则问题表示成0-1规划:MaxZ=Σcjxjs.t.Σajxj?bxj=0或1第八页，共39页。数学模型整数规划(IP)的一般数学模型:Max(min)Z=Σcjxjs.t.Σaijxj?bi(i=1,2,…m)xj?0且部分或全部是整数第九页，共39页。解法概述当人们开始接触整数规划问题时，常会有如下两种初始想法：因为可行方案数目有限，因此经过一一比较后，总能求出最好方案，例如，背包问题充其量有2n-1种方式；连线问题充其量有n!种方式；实际上这种方法是不可行。第十页，共39页。设想计算机每秒能比较1000000个方式，那么要比较完20!（大于2*1018）种方式，大约需要800年。比较完260种方式，大约需要360世纪。第十一页，共39页。先放弃变量的整数性要求，解一个线性规划问题，然后用“四舍五入”法取整数解，这种方法，只有在变量的取值很大时，才有成功的可能性，而当变量的取值较小时，特别是0-1规划时，往往不能成功。第十二页，共39页。例3-3求下列问题：MaxZ=3x1+13x2s.t.2x1+9x2?4011x1-8x2?82x1,x2?0,且取整数值第十三页，共39页。O1234567891054321x1x2I(2,4)B(9.2,2.4)AD可行域OABD内整数点，放弃整数要求后，最优解B(9.2,2.4)Z0=58.8，而原整数规划最优解I(2,4)Z0=58，实际上B附近四个整点(9,2)(10,2)(9,3)(10,3)都不是原规划最优解。第十四页，共39页。O1234567891054321x1x2I(2,4)B(9.2,2.4)AD假如能求出可行域的“整点凸包”（包含所有整点的最小多边形OEFGHIJ），则可在此凸包上求线性规划的解，即为原问题的解。但求“整点凸包”十分困难。EFGHIJ第十五页，共39页。O1234567891054321x1x2I(2,4)B(9.2