运筹学5-整数规划天津理工大学经管系.ppt

第三章 整数规划 整数规划问题的概念 分枝定界解法 割平面解法 0—1型整数规划 整数规划问题的概念 在前面讨论过的线性规划问题中，某些最优解是分数或小数，但对有些具体问题常要求解答必须是整数的情形（称为整数解）。我们称这样的问题为整数规划（Integer, Programming）,简称IP。整数规划是近二十年发展起来的规划论中一个重要分枝。 纯整数规划：整数规划中如果所有的变量都限制为（非负）整数； 混合整数规划：如果仅一部分变量限制为整数； 0—1整数规划：所有决策变量取值仅限于0或1。 分枝定界解法 1.首先不考虑整数约束，解（IP）的相应线性规划问题（LP），可能有以下情况： （1）若（LP）没有可行解，则（IP）也没有可行解。 （2）若（LP）有最优解，并符合（IP）的整数条件，则（LP）的最优解即为（IP）的最优解。 （3）若（LP）有最优解，但不符合（IP）的整数 条件，记（LP）最优解为Z0，转入下一步。 2.定界：记（IP）的目标函数最优值为Z*，以Z0为的Z*上界，记为? ，再用观察法找（IP）一个整数可行解，其目标函数值作为下界，记为Z，则有： ? ≤Z* ≤ Z 5.比较与剪枝：各分枝的目标函数值中，若有小于下界Z者，则剪掉此枝，以后不再考虑。若大于Z，且不符合整数条件，则重复以上步骤，直到最后 ? =Z*= Z 例： Max Z=3x1+2x2 2x1+x2≤9; 2x1+3x2≤14; x1,x2≥0; 且为整数。 先不考虑整数约束的条件，解相应的线性规划问题，得最优解为 x1= 3.25, x2= 2.5, z0= 14.75则： ?=14.75;由题意取 Z =0; 0≤Z*≤14.75 Max Z=3x1+2x2 ; 2x1+x2≤9;  2x1+3x2≤14; x1,x2≥0; 割平面解法 这个方法的基础仍然是用解线性规划的方法去解整数规划问题。首先不考虑对变量的整 数要求，球的对应的线性规划问题的最优解。如果得到最优解是一个非整数解，构造一个新的约束条件（用几何术语，称为割平面），从原可行域中切割掉一部分，这部分只包含非整数解，但没有切割掉任何整数可行解。 这个方法就是指出怎样找到适当的割平面（不见得一次就找到），使切割后最终得到这样的可行域，它的一个有整数坐标的极点（顶点）恰好是问题的最优解。这个方法是R.E. Gomory提出来的，所以又称为Gomory的割平面法。 得到新的对偶单纯形表 0-1整数规划 问题的提出 例 解决某市消防站的布点问题，该城市有6个区，每个区都可以建消防站。市政府希望设置的消防站最少，但必须满足在城市的任何地区发生火警时，消防车要在15分钟内赶到现场。据实地测定，各区之间消防车行驶的时间如下表所示，请帮助该市制定一个最省的计划。 设xi=1,0; 1-i区建消防站，0-i区不建消防站； “千里之行，始于足下”足：xi=0,1;i=1,…6 身：某区发生火警时，城市应在能及时赶到的若干区中 至多建一个消防站？ 至少建一个消防站？ z=x1+x2+x3+x4+x5+x6 min z=x1+x2+x3+x4+x5+x6 s.t. x1+x2=1, x1+x2+x3=1 x3+x4=1, x3+x4+x5=1 x4+x5+x6=1, x2+x5+x6=1 xi=0,1;I=1,…6 0-1规划的应用-救护车问题 某城市有8个区，救护车从一个区开到另一区的时间表如下： 区号 1 2 3 4 5 6 7 8 人口（万） 1 0 2 4 6 8 9 8 10 40 2 2 0 5 4 8 6