第3章 整数规划3.3-3.4.ppt

带绝对值的不等式 作业 P135 （4）利用0-1变量把下列各题分别表示成一般线性约束条件 ①②③④ (5) (7) §3.3分支定界方法 分支定界法基本思路 3.3.2 分支定界法求解整数规划问题的步骤(以求最大化的整数规划为例) step1 确定与整数规划问题 ( 记为问题 A) 对应的松弛 线性规划问题 ( 记为问题 B) ； step2 解问题 B ，如果问题 B 没有可行解，则问题 A 也没有可行解，计算停止；如果问题 B 有最优解，并符合 问题 A 的整数条件，则问题 B 的最优解就是问题 A 的最 优解，计算停止。若问题 B 有最优解，但不符合问题 A 的整数条件，记问题 B 的目标函数值为 s tep3 用观察法找问题 A 的 — 个整数解，一般可取 进行试探，求得其目标函数值，并记作 以 表示问题 A 的最优目标函数值；这时有 step4 在 B 的最优解中任选一个不符合整数条件的 变量进行分支，设 ，以 表示不超过 的最大整数， 构造两个约束条件 和 ，将这两个约束 条件分别加入问题 B 中，得到两个后继子问题 B l 和 B 2 。 不考虑整数条件求解这两个后继子问题。 若用分支定界法求解混合整数规划，则分支的过程中 只针对有整数要求的 变量进行，而不管连续变量的取值如何。 step5 以每个后继子记问题为一分支标明求解的结 果，与其他后继子问题的解的结果进行比较，找出最优目 标函数值最大者作为新的上界；从已符合整数条件的各分 支中，找出目标函数值最大者作为新的下界 ；若后继子 问题的解不符合整数条件，仍然保持原下界值。 step6 各分支的最优目标函数中若有小于 者，则剪 掉这支，即以后不再考虑了；若大于 ，且不符合整数条 件，则重复 step4 。一直到最后 为止，从而得到整数 规划问题 ( 问题 A) 的最优整数解。 解 : step1 确定与整数规划问题（记为问题 A ）对应的松 弛线性规划问题 ( 记为问题 B) ： step2 先求出 问题 B 的解，用单纯形方法得 问题 B 的最优解为 ： step3 用观察法找问题 A 的 — 个整数解，一般可取 ，进行试探，求得其目标函数值 ，以 表 示问题 A 的最优目标函数值；这时有 step4 在 B 的最优解中选一个不符合整数条件的 进行分支，构造两个约束条件 和 ，将 这两个 约束条件分别加入问题 B 中，得到两个后继子问题 B1 和 。 B2 问题 B l : 问题 B 2 ： 用单纯形方法得 后继子问题 B l 和 B 2 的最优解分别为 ： B l 的最优解 ： B 2 的最优解 ： step5 以后继子问题 B l 和 B 2 的解的结果进行比较， 找出最优目标函数值最大者作为新的上界 ；后继子问题 B l 和 B 2 的解不符合整数条件，仍然保持原下界值，则问 题 A 的最优目标函数值 满足： step6 因为 重复 step4 ，对后继子问题 B l 进行 分支得其后继子问题 B 3 和 B 4 。 用单纯形方法得 后继子问题 B 3 和 B 4 的最优解分别为 ： 问题 B 3 : 问题 B 4 ： B 3 的最优解 ： B 4 的最优解 ： §3.4 0－1规划 则约束条件组可表示为 解： 引进 0 - 1 变量 ，设 解：设 表示产品 j 的产量，则产品 j 的生产成本函数可 以写成： 引进 0 - 1 变量 ，设 注意 0 - 1 变量 约束条件不是线性的，但是可以把它用一个 线性约束条件等价地表示为： 例3.4.4.两组条件中满足其中一组 ?3.4.2 0-1规划的解法 解 型整数规划最容易想到的方法，和一般整数规划的 情形一样，就是穷举法，即检查变量取值为 0 或 1 的每一 种组合，比较目标函数值以求得最优解，这就需要检查变 量取值的 个组合。对于变量个数 n 较大，这几乎是不可 能的。因此常设计一些方法，只检查变量取值的组合的一 部分，就能求到问题的最优解。这样的方法称为隐枚举法 （ Implicit Enumeration ）。隐枚举法是一种简单方便，常用 于手算或求解小规模问题的方法。 例 3.4.3 求解 型整数规划 安徽大学十一五规划教材 安徽大学十一五规划教材