第七次课 第五章 整数规划.ppt

第五章 整数规划 1.整数规划的数学模型及解的特点 2.分枝定界法、割平面法 3.0-1整数规划 4.指派问题 1.整数规划的数学模型及解的特点 整数规划数学模型的一般形式 一部分或全部决策变量取整数值的规划问题 ——整数规划 整数规划中不考虑整数条件时对应的规划问题 ——该整数规划的松弛问题 松弛问题为线性规划的整数规划问题 ——整数线性规划 整数线性规划的几种类型 解：设在第j时段开始上班的人数为 ，则 解的特点 整数线性规划及其松弛问题比较，前者的最优解的目标函数值不会优于后者的。 2.分枝定界法 步骤： 步骤4、比较、剪枝。 各分枝的最优目标函数值中如果有小于z者，则剪掉这一枝（用打×表示），即以后不再考虑了。若已没有大于z的分枝，则已得到A的最优解，结束；否则，转(3)。 割平面算法 算法思想 算法步骤 算例 算 法 思 想 由松弛问题的可行域向整数规划的可行域逼近 方法—利用超平面切除 要求：整数解保留，松弛问题最优值切割掉 割平面生成方法 条件--保留整数解删除最优解 算 法 步 骤 4. 指派问题(assignment problem) 4.1指派问题的标准形式及其数学模型 4.2匈牙利解法 4.3一般的指派问题 指派问题的标准形式的提出？ 在我们现实生活中，常有各种性质的指派问题。例如：应如何分配若干项工作给若干个人（或部门）来完成，以达到总体的最佳效果等等。由于指派问题的多样性，我们有必要定义指派问题的标准形式。 4.1指派问题的标准形式及其数学模型 指派问题的标准形式（以人和事为例） n个人做n件事，并且要求每人必须而且只做一件事。设第i人做第j件事的费用为 Cij（i,j＝1，2……，n)，使总费用最少。 为了建立标准指派问题的数学模型，我们引入n2个 0－1变量。并且得到该问题的数学模型。 来表示。指派问题有n! 个可行解。 第二步：试求最优解。 (1)给只有一个0元素（不含划去的0）的行中的“0”画○，划去与◎同列的其它“0”； (2)给只有一个0元素（不含划去的0）的列中的“0”画○，划去与◎同行的其它“0”； (3)重复(1)、(2)，直到无新的◎画出。若系数矩阵中已无未画○也未划去的“0”，则已得到最多的◎，转(5)；否则，便出现了0元素的闭回路，转(4)。 (4)从0元素的闭回路上任选一个“0”画○，划去其同行同列的其它“0”，转(1)。 (5)显然，按上述步骤得到的◎是位于不同行不同列的。若◎已达n个，则指派问题的最优解已得到，结束计算；否则，转第三步。 4.3一般的指派问题 在实际应用中，常会遇到各种非标准形式的指派问题。通常的处理方法是先将他们化为标准形式，然后再用匈牙利解法解之 1、最大化指派问题 设最大化指派问题系数矩阵C=(Cij)n×n,其中最大元素为m,令矩阵B=(bij)n×n=(m-cij)n×n,则以B为系数矩阵的最小化指派问题和以C为系数矩阵的最大化指派问题有相同最优解。 2、人数和事数不等的指派问题 （1）人少事多 （2）人多事少 类似产销不平衡问题 3、一个人可做几件事的指派问题 4、某事一定不能由某人做的指派问题 将相应的费用系数取作足够大的数M 匈牙利法基于这样一个明显的事实：如果系数矩阵的所有元素满足cij≥0，而其中有n个位于不同行不同列的一组0元素，则只要令对应于这些0元素位置的xij＝1，其余的xij＝0，就得到最优解。 0 4 2 0 例如： （cij）= 2 0 7 8 3 1 5 0 0 6 0 3 4.2匈牙利解法 第一步：变换系数矩阵，使每行每列都出现0