7整数规划详解.docVIP

第7章 整数规划 在我们讨论线性规划问题时，其中的变量是非负实数，它可以是整数，也可以是分数、小数.但是，在实际问题中，常常要求问题中全部或部分变量只能取整数值.例如，在研究经济管理问题时，装货的车辆数，工人看管的机器数，完成工作的人员数等，都要求取非负整数值.此外还有一些问题，如要不要在某地建设工厂，可选用一个逻辑变量，令表示在该地建厂，表示不在该地建厂，逻辑变量也是只允许取整数值的一类变量.这就需要我们研究整数规划问题. 整数规划是在1958年由R.E.戈莫里提出割平面法之后形成独立分支的,几十多年来发展出很多方法以解决各种问题. 0-1规划在整数规划中占有重要地位:一方面，许多实际问题,如指派问题、选址问题、送货问题都可归结为此类规划；另一方面，任何有界变量整数规划都与0-1规划等价，用0-1规划方法还可以把多种非线性规划问题表示成整数规划问题，所以不少人致力于这个方向的研究. 7.1 整数规划模型 7.1.1 整数规划的定义 如果一个数学规划的某些决策变量或全部决策变量要求必须取整数，则这样的问题称为整数规划问题．其模型称为整数规划模型． 如果整数规划的目标函数和约束条件都是线性的，则称此问题为整数线性规划问题．在这里我们只就整数线性规划问题进行讨论，整数线性规划的一般模型为： , (7.1) 7.1.2 整数规划的分类 整数规划问题根据对设计变量的取值要求的不同可以分为四类： （1）纯（完全）整数规划：所有决策变量全限制为整数的整数规划； （2）混合整数规划：部分决策变量限制为整数的整数规划； （3）0-1整数规划：所有决策变量全限制为0-1的整数规划； （4）混合0-1整数规划：部分决策变量限制为0-1的整数规划. 7.1.3 整数规划的模型 例7.1 背包问题 有一辆最大货运量为10t的货车，用它装载3种货物，每种货物的单位重量及相应单位价值如表7-1所示．问应如何装载，可使得价值最大． 表7-1 每种货物的单位重量及相应单位价值表 货物编号 1 2 3 单位重量（t） 3 4 5 单位价值Ｃi 4 5 6 解: 设第种货物装载件的数量为（1,2,3）,则所述问题可表为： 例7.2 二维装包问题 有一船能装的货物有5种，各种货物的单位重量和单位体积以及它们相应的价值如表7-2表示： 表7-2 各种货物的单位重量、单位体积及它们相应的价值表 货物 1 5 1 4 2 8 8 7 3 3 6 6 4 2 5 5 5 7 4 4 货物的最大载重和体积分别=112,=109．现要确定怎样装运这些货物，使装运价值最大． 解: 设第种货物装载件数为（=1,2,3,4,5）．则所述问题为 7.1.4 整数规划求解思想和方法分类 对于实际中的某些整数规划问题,我们有时候可以想到先略去整数约束的条件,即视为一个线性规划问题,求得线性规划问题的最优解后,对其进行取整处理.实际上,这样得到的解未必是原整数规划问题的最优解,因此不能按照线性规划问题实数最优解简单取整而获得.但可借鉴这种思想. 整数规划求解方法总的基本思想是：去掉整数规划问题(7.1)中的整数约束,使构成易于求解的新问题：松弛问题(),如果这个问题()的最优解是原问题(7.1)的可行解,则就是原问题(7.1)的最优解；否则，在保证不改变松弛问题()的可行性的条件下，修正松弛问题()的可行域（增加新的约束），变成新的问题(),再求问题()的解,重复这一过程直到修正问题的最优解在原问题(7.1)的可行域内为止,即得到了原问题的最优解. 注：如果每个松弛问题的最优解不是原问题的可行解,则这个解对应的目标函数值一定是原问题最优值的上界(最大化问题),即；或下界(最小化问题),即. 整数规划求解方法分类： （1）分枝定界法：可求纯或混合整数线性规划； （2）割平面法：可求纯或混合整数线性规划； （3）隐枚举法：求解0-1整数规划，有过滤隐枚举法和分枝隐枚举法； （4）匈牙利法：解决指派问题（0-1规划特殊情形）； （5）蒙特卡洛法：求解各种类型规划. 下面将简要介绍常用的几种求解整数规划的方法. 7.2 分枝定界法 对于求解整数规划问题，大家往往会有如下两种想法. （1）通过枚举法对结果进行比较总能求出最好方案这种想法对于维数很低的整数规划问题行得通，但是随着决策变量维数的增加，该方法的计算量是不可想象的，因而此种想法不可行. （2）考虑先忽略整数约束，解一个线性规划问题，然后用四舍五入法取得其整数解，事实证明，这样经过四舍五入的结果甚至不是问题的可行解