第14次课--第五章整数规划答辩.ppt

温故知新;第五章 整数规划;第五章 整数规划;纯整数线性规划（全整数规划） 混合整数线性规划 0-1型线性规划问题 ;整数线性规划的数学模型;求解整数规划数学模型：;;;二. 分支定界法; 步骤一：求解问题B; 步骤二：求解问题A;第1步：分支定界 ;第1步：分支定界 ;第二步：比较与剪支 ;二. 分支定界法;解 先不考虑条件⑤，即解相应的线性规划B,①～④(见图5-2)，得最优解x1=4.81，x2=1.82，z0=356 ; 这时z0 ＝356是问题A的最优目标函数值z*的上界，记作z0= 。 而在x1=0，x2=0时，显然是问题A的一个整数可行解，这时z=0，是z*的一个下界，记作 =0，即0≤z*≤356。;首先注意其中一个非整数变量的解，如x1，在问题B的解中x1=4.81。 对原问题增加两个约束条件x1≤4，x1≥5。可将原问题分解为两个子问题B1和B2(即两支)。 这并不影响问题A的可行域。;x1≤4，x1≥5;不考虑整数条件解问题B1和B2，称此为第一次迭代。得到最优解为： 显然没有得到全部变量是整数的解。因z1＞z2，故将 改为349，那么必存在最优整数解，得到z*，并且0≤z*≤349;继续对问题B1和B2进行分解;继续对问题B2进行分解;分支定界法是求解整数规划的较好方法，有着广泛 的适用性，便于编程实现。;第五章 整数规划;割平面解法的思路： 首先不考虑决策变量为整数的条件，增加线性约束条件（几何术语称为割平面），使得由原可行域中切割掉一部分，这部分只包含非整数解，没有切割掉任何整数可行解。 割平面法就是找到适当的割平面（不见得一次就找到），使切割后最终得到这样的可行域，它的一个有整数坐标的顶点恰好是问题的最优解。; 割平面需要满足;例：求解纯整数规划问题; ;由最终表得到：;现考虑整数条件，可知上面两式右侧必须非正，得到：;三.割平面法; ;;第一步：求解相应的松弛问题，列出最终单纯形表。 ;第二步：分解系数为整数和非负真分数两个部分。 ;第三步：利用分数部分得到切割方程。 ;思考： 切割方程式真正进行了切割，至少把不满足整数条件的最优基可行解割掉了。 没有割掉任何整数可行解。 ;第四步：将得到的切割方程作为约束条件加到原线性规划问题中，并求解。;割平面法较少单独使用。; P152 6.3（1）;第五章 整数规划;四. 0-1型整数规划;例 引入0-1变量的实际问题;于是问题可列成： ;0-1型整数规划的数学模型;求解0-1型整数规划数学模型的方法;举例说明隐枚举法;第一步 找到一个可行解，增加约束条件。 ;第二步 在表中列出所有约束条件，并逐次计算所有解。 ;改变◎约束条件，继续实施，直至得到最优解。 ;四. 0-1型整数规划;隐枚举法改进： 重新排列xi的顺序使目标函数中xi的系数是递增(不减)的，在上例中， 改写 z=3x1-2x2+5x3=-2x2+3x1+5x3 因为-2，3，5是递增的序，变量(x2，x1，x3)也按下述顺序取值：(0，0，0)，(0，0，1)，(0，1，0)，(0，1，1)，…。这样，最优解容易比较早的发现。 ;重新排列决策变量在目标函数中的顺序使之在目标函数中的系数是递增（不减）的，可以改进计算效率。; P154 6.8（2）;第五章 整数规划; 生活中经常遇到这样的问题：完成若干项任务，恰好若干个人可以承担这些任务。由于每人的专长不同，各人完成任务的能力、花费和效率不同。于是产生应指派哪个人去完成哪项任务，使完成任务的总体效果最好（花费最小，时间最少或者完成程度最好等）。 ;例：有一份中文说明书，要译成英、日、德、俄四种文字，记作E、J、G、R。现有甲、乙、丙、丁四人。他们将中文说明书译成不同语种的说明书所需时间如表所示。问应指派每人去完成何工作，使所需总时间最少？;类似有：有n项加工任务，怎样指派到n台机床上分别完成的问题；有n条航线，怎样指定n艘船去航行……。 对应每个指派问题，需有效率矩阵或系数矩阵，其元素cij＞0(i,j=1,2，…，n)表示指派第i人去完成第j项任务时的效率(或时间、成本等)。 建模时需引入变量xij；其取值只能是1或0。并令 ;指派问题数学模型的标准形式;满足约束条件的可行解xij也可写成表格或矩阵形式，称为解矩阵(xij)n×n 。 如前例的一个可行解矩阵 目标函数的价值系数矩阵(cij)n×n;指派问题模型的特点;指派问题的求解;指派问题的求解;指派问题的求解;由定理一得指派问题最优解的性质： 从价值系数矩阵( cij )的一行（列）各元素中分别减去