运筹学整数规64划讲义.ppt

整数规划;内容总述;§5.1整数规划的数学模型及解的特点;要求全部或部分决策变量的取值为整数的线性规划问题，称为整数线性规划，简称整数规划(Integer Programming)。 不考虑整数条件，由余下的目标函数和约束条件构成的规划问题自然数为该IP的松驰问题（slack problem) 全部决策变量的取值都为整数，则称为全整数规划(All IP)； 仅要求部分决策变量的取值为整数，则称为混合整数规划(Mixed IP)； 要求决策变量只能取0或1值，则称为0-1规划(0-1 Programming)。 ;整数规划是数学规划中一个较弱的分支，目前只能解中等规模的线性整数规划问题，而非线性整数规划问题，还没有好的办法。;一、 问题的提出 ;产品 资源;不考虑整数约束则是一个线性规划问题，称为原整数规划问题的松弛问题。 不考虑整数约束的最优解：x1 *=28/9≈3.1， x2 * =25/9≈2.7，Z * =293/9 舍入化整 x1 =3， x2 =3，Z =33，不满足约束条件5x1 +7 x2 ≤35，非可行解； x1 =3， x2 =2，Z =28，满足约束条件，是可行解，但不是最优解； x1 =4， x2 =1，Z =29，满足约束条件，才是最优解。;例2：一登山队员做登山准备，他需要携带的物品有：食品，氧气，冰镐，绳索，帐篷，照相机和通讯设备，每种物品的重要性系数和重量如下：假定登山队员可携带最大重量为25公斤。;解：如果令xi=1表示登山队员携带物品i，xi=0表示登山队员不携带物品i，则问题表示成0-1规划: Max Z= 20x1+15x2 +18x3 +14x4 +8x5 +4x6 +10x7 s.t. 5x1 + 5x2 +2x3 +6x4 +12x5 +2x6 +4x7 ?25 xi=1或xi=0 i=1,2,….7;例3. 某服务部门各时段（每2小时为一个时段）需要的服务员人数见下表。按规定，服务员必须连续工作8小时（4个时段）。现在要求安排服务员的工作时间，在各时段服务员数量够用的前提下，服务部门用的总服务员数量最少。;例4 求下列问题： Max Z=3x1+13x2 s.t.2x1+9x2 ? 40 11x1-8x2 ? 82 x1,x2 ? 0,且取整数值;;;;X1 ? 2;从以上的可以看出，假如放弃整数要求后，用单纯形法求得最优解恰好满足整数性要求，则此解也是原整数规划的最优解。 以上描述了目前解整数规划问题的两种基本途径。即 分枝定界法和割平面法。;二、数学模型 整数规划(IP)的一般数学模型: Max (min) Z = Σcjxj s.t. Σaijxj ? bi(i=1,2,…m) xj ? 0 且部分或全部是整数;§5.2 解整数规划的分枝定界法;定界的含义： 整数规划是在相应的线性规划的基础上增加变量为整数的约束条件，整数规划的最优解不会优于相应线性规划的最优解。 对极大化问题来说，相应线性规划的目标函数最优值是原整数规划函数值的上界； 对极小化问题来说，相应线性规划的目标函数的最优值是原整数规划目标函数值的下界。;下面我们用一例说明求解步骤;第三步，分枝过程 将不满足整数约束的变量x1进行分枝，x1称为分枝变量，构造两个新的约束条件 x1≤ [28/9]=3，x1 ≥ [28/9] +1=4  ;?;第四步，定界过程 LP3的解满足整数约束，不必再分枝，它的目标函数值是29，大于原有下界0，则新的下界为29； 现有上界为未分枝子问题中目标函数最大值，即为226/7≈33.2。界限二（29，226/7） LP2的解仍不满足整数约束的要求，它的目标函数值226/7大于现有下界，则应继续分枝。 第五步，分枝过程 将不满足整数约束的变量x2进行分枝，构造两个新的约束条件： x2≤ [20/7]=2，x2 ≥ [20/7] +1=3 ;问题4：maxZ= 6x1 +5 x2 问题5： maxZ= 6x1 +5 x2 2x1 + x2 ≤9 2x1 + x2 ≤9 5x1 +7 x2 ≤35