第1-4节整数线性规划.pptVIP

表5-6（a）（b） 改进过滤条件，用 -2x2+3x1+5x3≥5 ◎′ 代替◎，继续进行。 再改进过滤条件，用 2x2+3x1+5x3≥8 ◎″ 代替◎′，再继续进行。至此，z值已不能改进，即得到最优解，解答如前，但计算已简化。 4.2 0-1型整数线性规划的解法 表5-6（c） ♂返回 表5-2 从表5-2的最终计算表中，得到非整数的最优解： x1=3/4，x2=7/4，x3=x4=0，max z=5/2 ? 不能满足整数最优解的要求。为此考虑将带有分数的最优解的可行域中分数部分割去，再求最优解。就可以得到整数的最优解。 可从最终计算表中得到非整数变量对应的关系式： 为了得到整数最优解。将上式变量的系数和常数项都分解成整数和非负真分数两部分之和 (1+0)x1+(-1+3/4)x3+1/4x4=0+3/4 x2+(3/4)x3+(1/4)x4=1+3/4 然后将整数部分与分数部分分开，移到等式左右两边，得到： 现考虑整数条件⑤ 要求x1、x2都是非负整数，于是由条件⑥、⑦可知x3、x4也都是非负整数,这一点对以下推导是必要的，如不都是整数，则应在引入x3、x4之前乘以适当常数，使之都是整数。在上式中(其实只考虑一式即可)从等式左边看是整数；等式右边也应是整数。但在等式右边的(·)内是正数；所以等式右边必是非正数。就是说，右边的整数值最大是零。于是整数条件⑤可由下式所代替； 即 -3x3-x4≤-3 ⑧ 这就得到一个切割方程(或称为切割约束)，将它作为增加约束条件，再解例3。 引入松弛变量x5，得到等式 -3x3-x4+x5=-3 将这新的约束方程加到表5-2的最终计算表，得表5-3。 表5-3 从表5-3的b列中可看到，这时得到的是非可行解，于是需要用对偶单纯形法继续进行计算 选择x5为换出变量，计算 将x3做为换入变量，再按原单纯形法进行迭代，得表5-4。 注意：新得到的约束条件⑧ -3x3-x4≤-3 如用x1、x2表示，由⑥、⑦式得 3(1+x1-x2)+(4-3x1-x2)≥3 x2≤1 这就是(x1，x2)平面内形成新的可行域，即包括平行于x1轴的直线x2=1和这直线下的可行区域，整数点也在其中，没有切割掉。直观地表示在图5-7中。但从解题过程来看，这一步是不必要的。 图5-7 现把求一个切割方程的步骤归纳为： (1) 令xi是相应线性规划最优解中为分数值的一个基变量，由单纯形表的最终表得到 其中i∈Q(Q指构成基变量号码的集合) K k∈K(K指构成非基变量号码的集合) (2) 将bi和αik都分解成整数部分N与非负真分数f之和，即 bi=Ni+fi，其中0＜fi＜1 αik=Nik+fik，其中0≤fik＜1 (5-5) 而N表示不超过b的最大整数。例如： 若b=2.35，则N=2，f=0.35 若b=-0.45，则N=-1,f=0.55 代入(5-4)式得 (3) 现在提出变量(包括松弛变量，参阅例3的注)为整数的条件(当然还有非负的条件). 这时，上式由左边看必须是整数，但由右边看，因为0＜fi＜1，所以不能为正，即 这就是一个切割方程。 由(5-4)式，(5-6)式，(5-7)式可知： ① 切割方程(5-7)式真正进行了切割，至少把非整数最优解这一点割掉了。 ② 没有割掉整数解，这是因为相应的线性规划的任意整数可行解都满足(5-7)式的缘故。 ♂返回 第4节 0-1型整数规划 0-1型整数线性规划是整数线性规划中的特殊情形，它的变量xi仅取值0或1。这时xi称为0-1变量，或称二进制变量①. xi仅取值0或1这个条件可由下述约束条件所代替。xi≤1, xi≥0，整数 它和一般整数线性规划的约束条件形式是一致的。在实际问题中，如果引入0-1变量，就可以把有各种情况需要分别讨论的线性规划问题统一在一个问题中讨论了。在本节我们先介绍引入0-1变量的实际问题，再研究解法。 注： ①?如果变量xi不是仅取值0或1，而是可取其他范围的非负整数，这时可利用二进制的记数法将它用若干个0-1变量来代替。例如，在给定的问题中，变量x可任取0与10之间的任意整数时，令x=20x0+21x1+22x2+23x3. 这时，x就可用4个0-1变量x0，x1，x2，x3来代替。。 4.1 引入0-1变量的实际问题 1. 投资场所的选定——相互排斥的计划 例4 某公司拟在市东、西、南三区建立门市部。拟议中有7个位置(点)Ai (i=1，2，…，7)可供选择。规定： 在东区，由A1，A2，A3三个点中至多选两个； 在西区，由A4，A5两个点中至