OR(整数)6-zys.ppt

第一讲 线性规划(6) Linear Programming (Lp) 第六章 整数规划 教学的目的与要求： 1．掌握整数规划的数学模型和建模方法； 2．熟悉分枝定界法和割平面法的基本思想； 3．掌握指派问题的数学模型及匈牙利算法； 第六章 整数规划 第一节 整数规划问题的提出 一、整数规划数学模型及其分类 整数规划模型是一类特殊的规划模型,其特点是决策变量部分或全部需要是整数. 如:在进行决策或做规划时,若要求决定的是机器的台数,参加工作的人数等,这就要求它们是整数. 一、整数规划数学模型及其分类 某从事集装箱运输的公司,集装箱的标准是:体积24m3,净载重不起过13T.如果客户要求托运甲、乙两类货物，甲货每箱体积为5m3，重量2T；乙货每箱箱体积为4m3，重量5T，公司每运输一箱甲货物的利润是2000元，每运输一箱乙货物的利润是1000元．该公司当然是想在充分利用集装箱的空间和承重的能力下，获得最大的利润． 一、整数规划数学模型及其分类 变量x1,x2分别为甲、乙两种货物的托运箱数，则有 一、整数规划数学模型及其分类 用软件求出最优解是：运输4.8个甲货物，乙货物不运．可惜货物不可能拆开运送，如果直接舍去小数，即只运输4个甲货物．或者用四舍五入法，即运输5个甲货物．这种做法，是否真能得到正确的行动方案呢？ 结果显然是否定的．我们发现上述两种处理方法所得到的方案都不是最优方案．有必要对决策变量做整数的约束，从而整数规划问题就成为了一类特殊的线性规划问题． 一、整数规划数学模型及其分类 对决策变量进行整数约束． 一、整数规划数学模型及其分类 舍小数点法：x1=4,x2=0，f=8000 四舍五入法：x1=5,x2=0．第一个约束条件已经超过集装箱的标准体积24m3，故方案不可行． 整数规划求解：x1=4,x2=1,f=9000．在货物不可分拆的情况下，此方案最优． 一、整数规划数学模型及其分类 纯整数线性规划（pure integer linear programming） 　 ---全部决策变量都必须取整数值。 混合整数线性规划(mixed integer linear programming) ---决策变量中一部分必须取整数值，另一部分可以不取整数值。 0-1型整数线性规划(zero-one integer linear programming) ---决策变量只能取值 0 或 1 。 第六章 整数规划 第二节 分枝定界法 一、整数规划的求解分析 整数规划与线性规划解的性质 ⑴ 如果LP的最优值在其可行域T的某个顶点上达到,则相应的IP最优值,在T中去掉不含整数点的区域后的T*中的整数点上达到. ⑵ 对于求最大化(最小化)问题,LP最优解对应的目标函数值,是相应的IP最优解对应的目标函数值的上界(下界). 一、整数规划的求解分析 最早的整数规划论文是在1954年发表的,1959年美国的R.E.Gomory提出了割平面法(依据性质1),为IP作出了开创性的工作. 1960年美国的A.Land,A.G.Doig提出了分枝定界法(依据性质2),该方法概念简单,方法灵活,容易在计算机上运算,成为IP解法的基础. 二、IP的隐枚举法 可以设想,整数规划的可行解集一定是具有确定数目的点阵,然后搜索这些点,比较目标函数值的大小,从而求得最优解. 0-1整数规划的穷举法:检查决策变量取值为0,1两个值的全部组合,这就是穷举法.当变量个数为n时,要检查的数目是2n 但是当n15时,因计算量太大而无法实现. 二、IP的隐枚举法 例1 用穷举法解0-1整数规划 二、IP的隐枚举法 三、分枝定界法 分枝定界法：它是一种隐枚举法,用来解纯整数规划及混合整数规划. 分枝定界法的基本思想:对于给定的IP,去掉整数约束得到LP,称为整数规划的松弛问题.求解该LP,如果其最优解不是整数,就将IP分为两个增加了新约束的IP,此时新IP的可行域被分割,从而缩小了原可行域,由整数规划性质2,进行定界,逐渐求出最优解. 三、分枝定界法 例2 用分枝定界法求解整数规划 三、分枝定界法 先求出其对应的LP解，作为它的最优目标函数值f*的上界，记作f0。显然，当x1=x2=0时，f=0是f*的一个下界。即 分枝： 三、分枝定界法 三、分枝定界法 说明： 将一个总理分为若干个子问题的过程称为分枝； 对任一个子问题，若已求出最优或无解或判定不是最优，称该子问题已探明； 在max中，分枝的目标值总是小于或等于根结点的目标值。 三、分枝定界法 第六章 整数规划 第四节 0-1型整数规划 一、0-1变量的引入 投资项目选择问题 某公司有6个项目被列入投资计划，它们的投资额和每年的期望收益如表： 一、0-1变