5.运筹学课件整数线性规划研讨.ppt

第六章 整数线性规划 第一节 整数规划问题的提出 第二节 分支定界法(Branch and Bound Method) 三、运算步骤 第三节 割平面法 三、计算步骤 四、几何解释 第四节 0-1整数线性规划 二、隐枚举法求解0-1整数线性规划的思路 三、0-1规划与全、纯整数线性规划的转换 第五节 指派问题 注 意 思 考 思 考 解： 目标函数的系数按升序排列 通过试探可行解(x1, x2, x3)=(1, 0, 0) 引入下列过滤条件： 0 5 否 是 1 0 1 -1 0 5 (0,0,0) (0,0,1) (4) (3) (2) (1) (0) Z值 是否满足条件 条 件 点 (x2, x1, x3) 改进过滤条件： 8 否 是 1 1 2 0 3 8 (0,1,0) (0,1,1) (4) (3) (2) (1) (0‘) Z值 是否满足条件 条 件 点 (x2,x1,x3) 改进过滤条件： 否 否 否 否 -2 3 1 6 (1,0,0) (1,0,1) (1,1,0) (1,1,1) (4) (3) (2) (1) (0‘) Z值 是否满足条件 条 件 点 (x2, x1, x3) 1. 结论 任何一个非负整数 y 都可表示为 2. 0-1规划与全、纯整数线性规划的转换 1) 0-1规划问题就是全、纯整数线性规划问题 2) 全、纯整数线性规划问题可以利用上述结论 转化为0-1规划问题 例8 解：把 代入纯整数规划的目标函数和约束条件即可。 一、问题的提出 例9 有四个熟练工人，他们都是多面手，有四项任务要他们完成。若规定每人必须完成且只完成一项任务，而每人完成每项任务的工时耗费如下表所示，问如何分配任务使完成四项任务的总工时耗费最少？ 1 1 1 1 任务 1 1 1 1 10 9 7 8 5 8 7 7 5 4 6 5 2 3 4 5 甲 乙 丙 丁 人员 A B C D 任务 工时 人员 解：设 则此指派问题的模型为： 指派问题的一般形式： 二、求解指派问题的理论依据 定理1 在原指派问题的效率矩阵中同行或同列加上某一常数，所得指派问题与原问题同解。 定理2 方阵中独立零元素的最多个数等于覆盖所有零元素的最少直线数。 定理1的证明： 以例1的求解为例： 第一步：变换效率矩阵，使每行每列至少有一个零 行变换：找出每行最小元素，从该行各元素中减去之 列变换：找出每列最小元素，从该列各元素中减去之 三、匈牙利法步骤 ( ) ( ) ( ) ( ) ( ) 第二步：试指派 1.逐行检查，若该行只有一个未标记的零，对其加( )标记，将( )标记元素同行同列上其它的零打上*标记。若该行有二个或以上未标记的零，暂不标记，转下一行检查，直到所有行检查完； 2.逐列检查，若该列只有一个未标记的零，对其加( )标记，将( )标记元素同行同列上其它的零打上*标记。若该列有二个或以上未标记的零，暂不标记，转下一列检查，直到所有列检查完； ( ) * ( ) * ( ) * 重复1、2后，可能出现三种情况： 情况a：每行都有一个(0)，显然已找到最优解，令对应(0)位置的 xij =1； 情况b：仍有零元素未标记，此时，一定存在某些行和列同时有多个零，称为僵局状态，因为无法采用1、2中的方法继续标记。 情况c：所有零都已标记，但标有( )的零的个数少于n； 划线过程： 对没有标记( )的行打? 对打? 行上所有其它零元素对应的列打 ? 再对打?列上有( )标记的零元素对应的行打 ? 重复以上步骤 ，直至无法继续 对没有打?的行划横线，对所有打?的列划竖线 3.打破僵局。令未标记零对应的同行同列上其它未标记零的个数为该零的指数，选指数最小的先标记( )；采用这种方法直至所有零都被标记，此时或出现情况a，或出现情况c。 ? ? ? 划线后会出现两种情况： (1) 标记( )的零少于n个，但划有n条直线，说明矩阵中已存在n 个不同行不同列的零，但