物流运筹方法与工具 教学课件 作者 彭秀兰 毛磊第四章整数规划 第一节整数规划问题.pptVIP

第四章　整数规划;１．了解一般整数规划问题的基本概念及其数学模型的形式。 ２．理解分支定界法求解一般整数规划的基本原理。 ３．了解0-1规划问题的基本概念及其数学模型的形式。 ４．掌握0-1规划问题的建模方法。 ５．理解隐枚举法求解0-1规划的基本原理。 ６．了解指派问题的基本概念及其数学模型的形式。 ７．掌握匈牙利法求解指派问题的基本方法。 ８．掌握整数规划模型及混合整数规划模型的物流应用。 ? ;某连锁经营公司选址资料; 某连锁经营公司选址资料; 在整数规划中，若要求全部自变量取整数值，就是纯整数 规划问题（Pure Integer Programming,简记PIP）；若仅要求 一部分自变量取整数值，就是混合整数规划问题（Mixed Integer Programming,简记MIP）；若自变量只能取0或1，就 是0-1规划问题（Binary Integer Programming,简记BIP）， 也称为特殊的整数规划问题。 整数规??问题要求变量为整数是有其实际背景的。例如， 当决策变量表示的是人数、汽车量数、机器台数、出售的商品 件数，以及对事物的逻辑判断等都应是整数。很多物流实际问 题可以归结为整数规划问题，象生产调度、生产车间作业时间 表、装配线平衡、配送中心的布局及资源分配等都可用整数规 划来描述。 ; maxZ = ; 从数学模型上看，整数规划似乎是线性规划的一种特殊情况，求 解只需在线性规划解的基础上，通过舍入取整，寻求整数要求的解即 可。其实不然，有时舍入法则找到的解不一定是最优解，甚至不能保 证它是可行解。下面举一例说明。 例4-1 某宝石加工厂最近新到6粒大小、质量等级相似的钻石毛 料，管理层有两种选择，一是切磨成一般的皇冠形，每粒可获利2.5千 元；一是切磨成虽然较难切磨但当前市场较流行的心形，每粒可获利4 千元。若切磨成皇冠形则每粒需要5个工作日，若切磨成心形则每粒需 要9个工作日，由于工厂切工师傅较忙，最多只有45个工作日来做这批 工作。另外，由于毛料自身形状的关系，其中只有4粒毛料可以切磨成 皇冠形，而6粒毛料中任何一粒都可以切磨成心形。管理层如何决策才 能使这批钻石获利最大？;例4-1 解：设x1, x2分别代表切磨成皇冠形和切磨成心 形的钻石粒数，因钻石粒数只能是整数，所以这是 一个纯整数规划问题，数学模型为：;例4-1 如不考虑对变量的整数约束，所得模型是一线 性规划问题（称为原问题的松弛问题）：;将两个模型的解用表4-2对比如下 表4-2 解的对比;下面介绍一种求解整数规划的有效方法——分支定界法。 分支定界法的关键是分支和定界。 若整数规划的松弛问题的最优解不符合整数要求，假设 不符合整数要求，[ ]是不超过 的最大整 数，则构造两个约束条件：xi≤[ ]和xi≥[ ]+1。分别 将其并入上述松弛问题中，从而形成两个分支，即两个后继问 题。两个后继问题的可行域中包含原整数规划问题的所有可行 解。而在原松弛问题可行域中，满足[ ] xi[ ]+1的一 部分区域在以后的求解过程中被遗弃了，然而它不包含整数规 划的任何可行解。根据需要，各后继问题可以类似地产生自己 的分支，即自己的后继问题。如此不断继续，直到获得整数规 划的最优解。这就是所谓“分支”。; 分支定界法的关键是分支和定界。 在分支过程中，若某个后继问题恰巧获得整数规划问题的一 个可行解，则它的目标函数值就是一个“界限”，可作为衡量处理 其他分支的一个依据。因为整数规划问题的可行解集是它的松弛 问题可行解集的一个子集，前者最优解的目标函 数值不会优于后者最优解的目标函数值。所以，对于那些相 应松弛问题最优解的目标函数值比上述“界限”值差的后继问题， 就可以不再考虑了。而在以后的分支过程中出现了更好的“界 限”，则以之取代原来的界限，从而提高定界的效果。这就是所谓 “定界”。 下面通过例子来进一步介绍分支定界法的一般步骤。;例4-2 求解 max z = x1+ x2; 例4-2 求解 （LP）的最优解不符合整数要求，可任选一变量进行分支， 如选x1=3/2。由于最接近3/2的整数是1和2，因而可以构造两个 约束条件：① x1≥2; ② x1≤1。将①和②分别并入该例松弛问 题（LP）中，形成两个分支，即后继问题（LP1）和（LP2），分 别由（LP）和①及（LP）和②组成。图4-2中S1和S2分别为 （LP1）和（LP2）的可行域。不连通的域S1∪S2中包含了（IP） 的所有可行解，S中被舍去的一部分S\ S1∪S2中不包含（IP