例37】用隐枚举法求解下列.PPT

割平面法是将整数规划的松弛问题增加一些线性约束条件,这些约束条件使松弛问题的可行区域减小,就象被割掉一样,但又不会割掉整数可行解,这样不断增加约束条件,再求解,直到找到最优整数解为止。 －1/8 0 －1/2 0 0 λj 3 3 1 －1/4 3/8 －1/2 0 0 1 1/2 －1/2 1/2 0 1 0 1 0 0 x1 x2 x4 4 3 0 0 －1/4↑ －5/8 0 0 λj 5/2 15/4 －2→ 0 0 1 －1/2 3/4 [－2] 1/4 －1/8 －1 0 1 0 1 0 0 x1 x2 x5 4 3 0 x5 x4 x3 x2 x1 XB CB b 0 0 0 3 4 Cj 最优解X(1)＝(3，3)，最优值Z＝21。所有变量为整数，X(1)就是IP的最优解。如果不是整数解，需要继续切割，重复上述计算过程。 3.2 纯整数规划的求解 Solving Pure Integer Programming 表3－4 如果在对偶单纯形法中原切割方程的松弛变量仍为基变量，则此松弛变量所在列化为单位向量后就可以去掉该行该列，再切割。 作业：教材P76 T 7，8 1.理解分枝与定界的含义 2.选择合适的“ 枝”生“ 枝” 3.掌握何时停止生“ 枝” 4.领会割平面法的基本原理 5.分离源行，求出Gomory约束 6.在最优表中增加Gomory约束，用 对偶单纯形法迭代 3.2 纯整数规划的求解 Solving Pure Integer Programming 下一节： 0－1规划的求解 3.3 0－1规划的求解 Solving BIP 3.3.1 求解0－1整数规划的隐枚举法 隐枚举法的步骤： 1.找出任意一可行解，目标函数值为Z0 2.? 原问题求最大值时，则增加一个约束 当求最小值时，上式改为小于等于约束 3. 列出所有可能解，对每个可能解先检验式（*），若满足再检验其它约束，若不满足式（*），则认为不可行，若所有约束都满足，则认为此解是可行解，求出目标值 4. 目标函数值最大（最小）的解就是最优解 3.3 0－1规划的求解 Solving BIP 【例3.7】用隐枚举法求解下列BIP问题 【解】（1）不难看出，当所有变量等于0或1的任意组合时，第一个约束满足，说明第一个约束没有约束力，是多余的，从约束条件中去掉。还能通过观察得到X0＝(1，0，0，1)是一个可行解，目标值Z0＝11是BIP问题的下界，构造一个约束： ，原BIP问题变为 3.3 0－1规划的求解 Solving BIP * 7.1 整数规划数学模型 Mathematical Model of IP 7.2 纯整数规划的求解 Solving Pure Integer Programming 7.3 0－1规划的求解 Solving Binary Integer Programming Chapter 7 整数规划 Integer Programming 物流运筹学 Operations Research 7.1 整数规划数学模型 Mathematical Model of IP 一个规划问题中要求部分或全部决策变量是整数，则这个规划称为整数规划。当要求全部变量取整数值的，称为纯整数规划；只要求一部分变量取整数值的，称为混合整数规划。如果模型是线性的，称为整数线性规划。本章只讨论整数线性规划。 很多实际规划问题都属于整数规划问题 1. 变量是人数、机器设备台数或产品件数等都要求是整数 2. 对某一个项目要不要投资的决策问题，可选用一个逻辑变量 x，当x=1表示投资，x=0表示不投资； 3. 人员的合理安排问题，当变量xij=1表示安排第i人去做j工作，xij=0表示不安排第i人去做j工作。逻辑变量也是只允许取整数值的一类变量。 3.1 整数规划的数学模型 Mathematical Model of IP 【例3.1 】某人有一背包可以装10公斤重、0.025m3的物品。他准备用来装甲、乙两种物品，每件物品的重量、体积和价值如表3-1所示。问两种物品各装多少件，所装物品的总价值最大？ 表3-1 【解】设甲、乙两种物品各装x1、x2件，则数学模型为： (3.1) 3.1 整数规划的数学模型 Mathematical Model of IP 4 3 0.002 0.0025 1.2 0.8 甲 乙 价值 (元/每件) 体积 （m3/每件） 重量 （公斤/每件） 物品 如果不考虑x1、x2取整数