运筹学第四章整数规划.pptVIP

OR3 OR3 第四章：特殊的线性规划 整数规划 本章的主要内容： 理解整数规划的基本概念 掌握分枝定界法的思想和方法 掌握0-1变量的含义和用法 掌握指派问题的求解方法 4.1 整数规划问题的提出 整数规划的应用背景 4.1 整数规划问题的提出 决策问题中经常有整数要求，如人数、件数、机器台数、货物箱数……如何解决？四舍五入不行，枚举法太慢 所谓整数规划，就是指决策变量有整数要求的数学规划问题。 问题分类：纯整数规划、混合整数规划、0-1整数规划 专门方法：分枝定界法、割平面法、隐枚举法、匈牙利法 应用举例1：投资问题 5个投资项目；600万元资金，投资受到约束： (1) 项目1、2和3至少一项被选中； (2) 项目3和4只能选一项； (3) 项目5选中的前提是1必须被选中。 问如何投资才能使收益最大？ 投资问题的数学模型：0－1规划 设0?1变量为决策变量，即xi=1表示项目i被选中，xi=0表示项目i被淘汰，则模型可表示为 应用举例2：背包问题 目标：在不超过一定重量的前提下，使所携带物品的重要性系数之和最大 。 例：登山队员需携带的物品及每一件物品的重量和重要性系数见下表。假定允许携带的最大重量为25千克，试确定一最优方案。 背包问题的数学模型 解：设0?1变量表示携带物品i，表示不携带物品i，则问题可写为 可通过计算每一物品的重要性系数和重量的比值ci/ai来解决。 应用举例3：布点问题 共同目标：满足公共要求，布点最少，节约投资费用。 学校、医院、商业区、消防队等公共设施的布点问题。 例：某市6个区，希望设置最少消防站以便节省费用。条件： 必须保证在城区任何地方发生火警时，消防车能在15分钟之内赶到现场。各区之间消防车行驶的时间见右表。 请确定设站方案。 布点问题的数学模型： 设0?1为决策变量，当表示i地区设站，表示i地区不设站。这样根据消防车15分钟赶到现场的限制，可得到如下模型 4.2 整数规划的求解方法 分枝定界法、隐枚举法、匈牙利法 4.2 整数规划的求解方法 在一般情况下，单纯形法求得的解并不能保证是整数最优解。 例：求整数规划 求解其松弛问题，很容易得出最优解为 。 整数规划图解法 x2 图解法的启示 A（4.8，0）点是LP问题的可行解，不是IP问题的可行解，B（4，1）才是IP的最优解 纯整数规划可行解是可行域中的整数点 非整数点不是可行解，对于求解没有意义，故切割掉可行域中的非可行解，不妨碍整数规划问题的优化 IP问题的最优解不优于LP问题的最优解 求解整数规划的分枝定界法 思路：分枝和定界两部分： 分枝：切割可行域，去掉非整数点。一次分枝变成两个可行域，分别求最优解 定界：松弛问题最优解——上界；IP问题的任意可行解——下界，不断减小上界和增加上界，最终的最优解。 对于最大化问题 对于最小化问题 例1. 求解整数规划A 解：先不考虑整数要求，解相应的LP问题，得： 是IP问题的上界,记作 Z=0，是的一个下界 。 分枝定界法（续） (第一次分枝前） （第一次分枝后） B1 B2 子问题B1， 子问题B2， 分枝定界法（续） 因为Z1 ＞Z2 ，故将 改为5.333，那么必存在最优整数解，得到 ，并且 。 继续对子问题B1和B2进行分枝。 因为Z1 ＞Z2，因此先将B1再分为两枝。增加条件 。前者称为子问题B3，后者称为子问题B4。在图中再舍去之间的可行域，再进行第二次迭代。得到的最优解为 子问题B3， ； 子问题B4无可行解。 分枝定界法（续2） 因子问题B3的解中所有变量均为整数，因此它的目标函数值 可取为 ，由于它大于 ，因此没有必要对子问题B2进行分枝。于是可以断定 。子问题B3的解 为最优整数解。 该问题整数解的分枝树如下图所示。 总结： 分枝定界法的解题步骤 1、不考虑整数约束，解相应LP问题 2、检查是否符合整数要求，是，则得最优解，完毕。否则，转下步 3、任取一个非整数变量xi=bi，构造两个新的约束条件：xi ≤[bi] ,xi ≥ [bi]+1,分