运筹学-沼臌数规划 (一)(名校讲义) .ppt

§4 隐枚举法 （11） 约束条件 2x1－5x2+3x3≤4 4x1+x2+3x3≥3 x2+x3≥1 所有 xj=0，1 j=1，2，3 [解] 1）分枝隐枚举法的标准形为 目标函数 min z = §4 隐枚举法 （12） 约束条件 Qi = －bi + ≥0，i =1，…，m xj =0，1 cj≥0 对于任意0 ? 1规划化为标准形问题将在后面详细讨论。对于本例，可化为标准形式如下： 目标函数 min z = 4x1+3x2+2x3 约束条件 Q1=4－2x1+5x2－3x3≥0 Q2=-3+4x1+x2+3x3≥0 Q3=-1+x2+x3≥0 x1，x2，x3为1，0 §4 隐枚举法 （13） 2）首先检查目标值最小的点，显然xi=0(j=1，2，3)时，目标值最小（因为目标系数全为非负数），此时z=0，然后检查是否满足约束条件，即Qi≥0？将xj =0代入后得： Q1=4≥0 Q2=-30 Q3=-10 可见，这不是可行解。于是，x1，x2，x3都是未确定值，称为自由变量。参见图2-7的节点①。 §4 隐枚举法 （14） 3）判断当前节点①能否引出可行解 这一步的目的是在令自由变量全为0的情况下不可行，那末变为其它值是否有可行解呢？若此时自由变量等于任何值都不可行，就说明，该节点引出的解不可行。 检验方法是：在不满足的约束Qi中，令带正系数的变量由0变为1（这样有可能使Qi0变为≥0）。令x1，x2，x3全为1， 得 Q2=-3+4+1+3=50 Q3=-1+1+1=10 §4 隐枚举法 （15） 原来Q1≥0，现仍≥0, 可见从节点①有可能引出可行解：转下一步。 4）节点分枝 从给定节点上，每次选1个变量与已有规定值的变量进行组合，形成2个分枝。究竟选哪个自由变量来分枝呢？通常采用试探法，其中比较有效的方法是“可行距离法”。设候选自由变量集合为T={1，2，3}，则该法的选取规则为，从T中选取某变量之值为1时，能使得不满足约束Qi值离0点之间距离和最小（满足约束的Qi，认为离可行点距离为0）。 §4 隐枚举法 （16） 对于节点①的分枝试探： 对变量x1=1时（其余为零）离可行距离 Q1=4-2=2≥0(满足) 0 Q2=-3+4=1≥0（满足） 0 Q3=-10（不满足） 1 总距离=1 同理，对变量x2=1 时，总距离=2 对变量x3=1时，总距离=0 §4 隐枚举法 （17） 于是，取总距离最小的变量x3来分枝，从节点①引出x3=1和x3=0的2个分枝。 5）在节点②，x3=1为规定值，x1，x2为自由变量，先令其全为0。此时，x1=0，x2=0，x3=1,于是得，z=4x1+3x2+2x3=2,然后检验可行性，将此解代入3个约束条件： Q1=4-3=1≥0 Q2=-3+3=0≥0 Q3=-1+1=0≥0 故知是可行解，且z值为2。 令zmin=z=2，这是迄今为止的最好目标解值。 §4 隐枚举法 （18） 6）分析节点③ 该节点x3=0为规定值，x1，x2为自由变量，先令自由变量x1，x2全为零，由前分析，不可行。于是需判断从节点③是否可进一步分枝及如何分枝。 令T为可作为进一步分枝的自由变量xj之集合，则xj变量之目标系数cj及在当前不满足的约束条件Qi中的系数aij应同时符合下述两个条件： (i) cjz min－c 其中，cj——自由变量xj的目标系数 §4 隐枚举法 （19） z min——迄今为止已获得的最好目标值 c——该节点中已取值为1的规定变量的目标系数和 否则，xj=1，只会使新解费用超过已获得的最好目标值，这称为保证最优性。 (ii) 存在i，使aij?0 即，在不满足的约束条件Qi中，至少有一个约束方程Qi的xj系数为正。 否则，在不满足约束中，xj系数全为非正，则令xj=1，不会使不满足的约束逼近可行，甚至变坏，这称为保证可行性。 §4 隐枚举法 （20） 对于本例，要求cjz min－c=2－0=2，而x1，x2系数c1，c2分别为4和3。故都不属于T集，因此，T = ?（空集）。这说明，从节点③分枝，找不到z2的可行解。从而，可知 x