05整数规划.ppt

第五章 整数规划 整数规划（integer programming）亦称整数线性规划，它实质上是在线性规划的基础上，给一些或全部决策变量附加取整约束得到的。为了满足整数解的要求，最容易想到的办法就是把求得的非整数解进行四舍五入处理来得到整数解，但这往往是行不通的。舍入处理会出现两方面的问题：一是化整后的解根本不是可行解；二是化整后的解虽是可行解，但并非是最优解。因此，有必要另行研究整数规划的求解问题。 §5 整数规划 §5.1 整数规划问题的模型和解的特点 §5.2 整数规划问题的分支定界法 §5.3 整数规划的割平面方法 §5.4 0-1型整数规划 §5.5 指派问题 §5.1.1 整数规划的模型 要求一部分或者全部决策变量必须取整数值的规划问题称为整数规划（Integer Programming，简称IP） 不考虑整数条件，由余下的目标函数和约束条件构成的规划问题称为该整数规划问题的松驰问题（Slack Problem） 若松弛问题是一个线性规划，则称该整数规划为整数线性规划（Integer Linear Programming） §5.1.1 整数规划的模型 整数规划的一般形式为 §5.1.1 整数规划的模型 纯整数线性规划Pure 全部决策变量都必须取整数值的整数线性规划 混合整数线性规划Mixed 决策变量中有一部分必须取整数值的整数线性规划 0-1型整数线性规划Zero-one 决策变量只能了取值0或1的整数线性规划 §5.1.2 整数规划的例子 某厂生产A1和A2两种产品，需要经过B1，B2，B3三道工序，单件工时和利润以及各工序每周工时限额见下表，问工厂应如何安排生产，才能使总利润最大？ §5.1.2 整数规划的例子 设生产A1和A2两种产品x1和x2件，则优化模型为： §5.1.2 整数规划的例子 某服务部门各时段（每2小时为一个时段）需要的服务人数见下表。按规定，服务员连续工作8小时（即四个时段）为一班。现要求安排服务员的工作时间，使服务部门服务员总数最少？ §5.1.2 整数规划的例子 设在第 j 时段开始时上班的服务员人数为xj，模型为： §5.1.2 整数规划的例子 现有资金总额B，可供选择的投资项目有n个，项目 j 所需投资额和预期收益分别为aj和cj，其中 j =1,2,…,n。应当怎样选择投资项目才能使预期总收益最大？此外，由于种种原因，由三个附加条件： 若选择项目1，必须同时选择项目2，反之不一定 项目3和4 中至少选择一个 项目5，6，7中恰好选择两个 §5.1.2 整数规划的例子 每一个投资项目都有选择和不被选择两种可能，为此令 §5.1.2 整数规划的例子 投资优化的模型为 §5.1.3 整数规划解的特点 松弛问题是一个线性规划问题，整数规划问题的可行域是它的松弛问题可行域的一个子集。 松弛问题的可行域是凸集，任意两个可行解的组合仍为可行解；整数规划问题的任意两个可行解的组合不一定满足整数条件，因而不一定仍为可行解。 整数规划问题的可行解一定也是它的松弛问题的可行解，反之则不一定。 整数规划规划的最优解的目标函数值不会优于其松弛问题的最优解的目标函数值：剪枝的原理 §5.1.3 整数规划解的特点 在一般情况下，松弛问题的最优解不会刚好满足变量的整数条件 如果对松弛问题的这个最优解中不符合整数要求的变量简单的取整，所得到的解不一定是整数规划问题的最优解，甚至不一定是整数规划问题的可行解 考虑如下整数规划，对松弛问题的最优解简单取整后不是可行解 §5.1.3 整数规划解的特点 §5 整数规划 §5.1 整数规划问题的模型和解的特点 §5.2 整数规划问题的分支定界法 §5.3 整数规划的割平面方法 §5.4 0-1型整数规划 §5.5 指派问题 §5.2.1 分支定界法的原理（1） 分支定界法（Branch and Bound method，简称BB）是一种隐枚举法，其基本思想是： 首先不考虑变量的整数约束，求解松弛问题LP，如果最优解恰好满足整数条件，其就是整数规划的最优解。 如果某个变量不满足整数条件，不妨假设xi=bi，[bi]是不超过bi的最大整数，构造两个约束条件xi=[bi]和xi=[bi]+1分别加到原问题中，构造两个子问题分别求解，这就是分支。 求解两个分支问题的松弛问题，他们的最优解情况如下 §5.2.1 分支定界法的原理（2） §5.2.1 分支定界法的原理（3） 定界、新界 如果某个子问题求解恰好得到一个满足整数条件的最优解，可以将其最优值作为下界（最大化） 如果在计算过程中得到了更好的目标值，则使用新目标值为新界，修正原界限 剪枝、停止、再分支 如果某个子问题取得非整数最优解且目标值不优于界限 若子问题取得整数最优解或者无可行解 如果某个子问题取得非