第五章 整数规划幻灯片.pptVIP

隐枚举法(max) 原则： 用试探法，求出一个可行解， 以它的 目标值作为当前最好值Z0 (2) 增加过滤条件Z? Z0 0-1整数规划求解 例：maxZ = 3x1 -2x2+5x3 x1 +2x2 - x3? 2 ① x1 +4x2 +x3? 4 ② x1 + x2 ? 3 ③ 4x2+x3? 6 ④ x1 , x2 , x3为0或1 (x1 x2 x3 ) 目标值 Z ① ② ③ ④ 过滤条件 (0 ,0 ,0) 0 Z≥ 0 (0 ,0 ,1) 5 Z≥5 (0 ,1 ,0) -2 (0 ,1 ,1) 3 (1 ,0 ,0) 3 (1 ,0 ,1) 8 Z≥8 (1 ,1 ,0) 1 (1 ,1 ,1) 6 最优解 x = (x1 x2 x3 ) T =(1 ,0 ,1 )T max Z=8 第四节、 指派问题 4.1 指派问题的标准形式及其数学模型 4.2 匈牙利解法（例题讲解） 指派问题的标准形式的提出？ 在我们现实生活中，常有各种性质的指派问题。例如：应如何分配若干项工作给若干个人（或部门）来完成，以达到总体的最佳效果等。由于指派问题的多样性，我们有必要定义指派问题的标准形式。 4.1 指派问题的标准形式及其数学模型 指派问题的标准形式（以人和事为例） n个人做n件事，并且要求每人必须而且只做一件事。设第i人做第j件事的费用为 Cij（i,j＝1,2，…,n)，使总费用最少。 因此,我们可得指派问题的系数矩阵 4.1 指派问题的标准形式及其 数学模型 为了建立标准指派问题的数学模型，我们引入n2个 0－1变量。并且得到该问题的数学模型。 来表示。指派问题有n! 个可行解。 对于问题的每个可行解，可用解矩阵 Cij Bj Ai B1 B2 B3 B4 B5 A1 4 8 7 15 12 A2 7 9 17 14 10 A3 6 9 12 8 7 A4 6 7 14 6 10 A5 6 9 12 10 6 建立数学模型 这是一个标准的指派问题。若设0－1变量 整数规划解的目标函数值一般优于其相应的线性规划问题的解的目标函数值； 用分支定界法求解一个极大化的整数规划问题时，任何一个可行解的目标函数值是该问题目标函数值的下界； 用分支定界法求解一个极大化的整数规划问题，当得到多于一个可行解时，通常可取其中一个作为下界值，再进行比较剪枝； 判断题 （4）指派问题系数矩阵的每个元素都乘上同一个常数k，将不影响最优指派方案； （5）指派问题数学模型的形式同运输问题十分相似，故也可以用表上作业法求解； （6）求解0-1规划的隐枚举法是分支定界法的特例 （7）分支定界法在需要分支时必须满足：一是分枝后的各子问题必须容易求解；二是各子问题解的集合必须覆盖原问题的解。 判断题（续） 用匈牙利法求解下述指派问题， 已知系数矩阵如下： 作业： * 第五章 整数规划 整数规划 1、整数规划的数学模型及解的特点 2、分支定界法 3、0-1整数规划 4、指派问题 第一节、IP的数学模型及解的特点 在线性规划问题中，所有的解都假设为具有连续型的数值，即解可以是整数、分数或带有小数点的实 数。 实际对于某些具体的问题，常要求最优解是整数的情形。例如，所求的解是机器台数，完成工作的人数或装货的车数等，这时，分数或小数的解答就不符合要求。 为了满足整数解的要求，初看起来，似乎只要把已求得的解经过“舍入化整”就可以，但这常常是不可行的。因为化整后不见得是可行解。或虽然是可行解，但不一定是最