整数割平面法与整数规划演示文件修改版.pptVIP

第3节 Gomory割平面解法 基本思路:找到适当的割平面(不见得一次就找到)，使切割后最终得到这样的可行域，它的一个有整数坐标的极点恰好是问题的最优解法。 不考虑条件⑤，可求得相应线性规划的最优解(即问题B)： x1=3/4，x2=7/4，max z=10/4但不合于整数条件。 思路:  寻找左图中像CD那样的直线切割域R，去掉三角形域ACD，那么具有整数坐标的C点(1，1)就是域R’的一个极点，从而进入单纯型法中顶点的选择之列. 解法的关键: 怎样构造一个这样的“割平面”CD。 在原问题的前两个不等式中增加非负松弛变量x3、x4，使两式变成等式约束： -x1+x2+x3 =1 ⑥ 3x1+x2 +x4=4 ⑦ 不考虑条件⑤，用单纯形表解题，见表5-2。 表5-2 上述解不能满足整数最优解的要求。为此考虑将带有分数的最优解的可行域中分数部分割去，再求最优解。就可以得到整数的最优解。 可从最终计算表中得到非整数变量对应的关系式： 为得到整数最优解，将上式变量的系数和常数项都分解成整数和非负真分数两部分之和 (1+0)x1+(-1+3/4)x3+1/4x4=0+3/4 x2+(3/4)x3+(1/4)x4=1+3/4 然后将整数部分与分数部分分开，移到等式左右两边，得到： 1) 要求x1、x2都是非负整数，于是由条件⑥、⑦可知x3、x4也都是非负整数; 否则，则应在引入x3、x4之前乘以适当常数，使之都是整数。 2) 在上式中从等式左边看是整数；等式右边也应是整数。但在等式右边的(·)内是正数；所以等式右边必是非正数。就是说，右边的整数值最大是零。于是得到下面新的约束: 即 -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中。 求一个切割方程的步骤归纳为： (1) 令xi是相应线性规划最优解中为分数值的一个基变量，由单纯形表的最终表得到 (3) 现在提出变量(包括松弛变量，参阅例3的注)为整数的条件(当然还有非负的条件). 例如： 若b=2.35，则N=2，f=0.35 若b=-0.45，则N=-1,f=0.55 代入(5-4)式得 小结: 由前面公式可知： ① 切割方程(5-7)式真正进行了切割，至少把非整数最优解这一点割掉了。 ② 没有割掉整数解，这是因为相应的线性规划的任意整数可行解都满足(5-7)式的缘故。 第4节 0-1型整数线性规划 概念: 它的变量xi仅取值0或1的整数线性规划。这时xi称为0-1变量，或称二进制变量①. xi仅取值0或1这个条件可由下述约束条件所代替。 xi≤1, xi≥0， 它和一般整数线性规划的约束条件形式是一致的。 本节安排: 1) 介绍引入0-1变量的实际问题； 2) 学习解法。 注： 如果变量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变量的实际问题 投资场所的选定——相互排斥的计划 例4 某公司拟在市东、西、南三区建立门市部。拟议中有7个位置(点)Ai (i=1，2，…，7)可供选择。规定： 在东区，由A1，A2，A3三个点中至多选两个； 在西区，由A4，A5两个点中至少选一个； 在南区，由A6，A7两个点中至少选一个。 如选用Ai点，设备投资估计为bi元，每年可获利润估计为ci元，但投资总额不能超过B元。问应选择哪几个