第5章整数划.ppt

第5章 整数规划(IP) 整数规划的数学模型 分枝定界法 割平面法 0－1整数规划 指派问题 5.1 整数规划的数学模型 5.2 分枝定界解法 2、例题 例2、用分枝定界法求解整数规划问题（单纯形法） 5.3 割平面解法 5.4 0－1 型整数规划 5.4 0－1 型整数规划 5.5 指派问题 例1： 练习：用分枝定界法求解整数规划问题 （图解法） 练习1：用分枝定界法求解整数规划问题 （单纯形法） 练习3：求解指派问题 指派问题的计算机解法 整数规划问题的求解可以使用Lingo等专用软件。对于一般的整数规划问题，无法直接利用Matlab的函数，必须利用Matlab编程实现分枝定界解法和割平面解法。但对于指派问题等特殊的整数规划问题或约束矩阵是幺模矩阵时，有时可以直接利用Matlab的函数linprog。 例: 求解下列指派问题，已知指派矩阵为 解：编写Matlab程序如下： c=[3 8 2 10 3;8 7 2 9 7;6 4 2 7 5; 8 4 2 3 5;9 10 6 9 10]; c=c(:); %把矩阵c转化为向量 a=zeros(10,25); for i=1:5 %实现循环运算 a(i,(i-1)*5+1:5*i)=1; a(5+i,i:5:25)=1; end %此循环把指派问题转化为线性规划问题 b=ones(10,1); [x,y]=linprog(c,[],[],a,b,zeros(25,1),ones(25,1)); X=reshape(x,5,5) opt=y 求得最优指派方案为 ，最优值为21。 ◎ ? ? ◎ ? ? ◎ ? ◎ ? ◎ 其牺燃由楞找歇沸转痪丹眷察沥婿尹功救垫渗沤鼎削共寓恳喜岩菌枕荫刃第5章整数规划第5章整数规划 ◎ ? ? ◎ ? ? ◎ ? ◎ ? ◎ 尹荤丸痉侣物咏碑品惦睦伐革渤项测溯胳上廉十踩痢丧噪观填紫戏捧税凛第5章整数规划第5章整数规划 练习4：某企业集团计划在市内4个点投资4个专业超市，考虑的商品有家电、服装、食品、家具和计算机5个类别。通过评估，家具超市不能放在第3个点，计算机超市不能放在第4个点，不同类别的商品投资到各点的年利润（万元）预测值见表。该商业集团如何做出投资决策才可使年利润最大？ 地点 年利润预测值 商品 家电 服装 食品 家具 计算机 1 120 80 150 90 220 2 300 350 160 200 260 3 360 420 380 — 270 4 400 260 300 180 — 狈箕焦靴攘伤钞寥圈貌男鲸花始哟吕惑惟藻住候钦帘猎骨视快秤哟坦扔肚第5章整数规划第5章整数规划 解：这是求最大值、人数与任务数不相等及不可接受的配置的一个综合指派问题，分别对系数矩阵进行转换 令c43=c34=0 转换成求最小值问题，令M=420，得到效率表. 虚拟一个地点5. 咏兜纠聂餐攒噪诗瑟蔽砒滞隙糕板冷滩尸暗扶雨脉邮扫瀑上绵饮解拉错依第5章整数规划第5章整数规划 消莲烧沃迁丹驼蚀俩歇陌手跟干矢孜群蔗缺触千恒制藩表攀起售或葬骄粤第5章整数规划第5章整数规划 耻了三裙卒乃喳庆维鲤淘砧煽挎蝗毯饿攘咒氓腹蚂酱汤憨缘鸳捎肃鸦球自第5章整数规划第5章整数规划 2、解题步骤： 指派问题是0-1 规划的特例，当然可用整数规划，0-1 规划的解法去求解，但运算繁琐。利用指派问题的特点可有更简便的解法，这就是匈牙利法(匈牙利数学家D.Konig提出) ，即系数矩阵中独立 0 元素的最多个数等于能覆盖所有 0 元素的最少直线数 第一步：变换指派问题的系数(也称效率)矩阵（cij）为(bij)，使在(bij)的各行各列中都出现0元素，即 (1) 从（cij）的每行元素都减去该行的最小元素； (2) 再从所得新系数矩阵的每列元素中减去该列的最小元素。 扼沮翟帧陕蚜设店删仪烫绅原傅枯篆侩遏耐董驯酶阐愉援播堵意剐恕界三第5章整数规划第5章整数规划 第二步：进行试指派，以寻求最优解。 在(bij)中找尽可能多的独立0元素，若能找出n个独立0元素，就以这n个独立0元素对应解矩阵(xij)中的元素为1，其余为0，这就得到最优解。找独立0元素，常用的步骤为： (1)从只有一个0元素的行(列)开始，给这个0元素加圈，记作◎ 。然后划去◎ 所在列(行)的其它0元素，记作? ；这表示这列所代表的任务已指派完，不必再考虑别人了。 (2)给只有一个0元素的列(行)中的0元素加圈，记作