数学建模整数规划.pptVIP

0-1型整数规划解法只检查变量取值的组合的一部分的方法。：求解下列问题隐枚举法(a)(b)(c)(d)例6*第30页，共78页，星期日，2025年，2月5日0-1型整数规划解法解法一：隐枚举法(x1,x2,x3)z值abcd过滤条件(0,0,0)0√√√√Z≥0(0,0,1)5√√√√Z≥5(0,1,0)-2(0,1,1)3(1,0,0)3Z≥8(1,0,1)√√√√(1,1,0)81(1,1,1)6所以，最优解(x1，x2，x3)T=(1，0，1)T，maxz=8。*第31页，共78页，星期日，2025年，2月5日0-1型整数规划解法为了使最优解尽可能早出现，可先将目标函数中各变量的顺序按其系数大小重新排列，这样可进一步减少计算量。隐枚举法按目标函数中各变量系数的大小重新排列各变量最大化问题：由小到大最小化问题：由大到小*第32页，共78页，星期日，2025年，2月5日解法二（优化）：重新排列xj的顺序(系数递减)0-1型整数规划解法第33页，共78页，星期日，2025年，2月5日0-1型整数规划计算表目标函数z＝3x1－2x2＋5x3＝5x3＋3x1－2x2最大值的上限是8，第二大的值是5…5x3＋3x1－2x2≥8⑤点(x3,x1,x2)约束条件满足条件?是∨否×z值⑤①②③④(1,1,0)8∨∨∨∨∨8隐枚举法：共计算5次(均满足约束条件)。（最优解为1，0，1，最优值8）可根据计算逐渐改变过滤条件(该例因最大值的点满足其他四个约束，即找到最大化问题的最好的整数解。就不需验证计算第二大值的点是否满足约束条件)0-1型整数规划解法过滤隐枚举法第34页，共78页，星期日，2025年，2月5日步骤1：将问题转化为如下标准形式：其中cj≥0，且c1≤c2≤…≤cn。例7求解0-1整数规划（选学-分枝隐枚举法）0-1型整数规划解法第35页，共78页，星期日，2025年，2月5日⑵如约束条件为≤，两边同乘(-1)；如约束条件为等式，可令变量，代入目标函数和其它约束条件中，将xn消掉。⑶按目标函数中系数由小到大的顺序重新排列变量，并将约束条件中的排列顺序做相应改变。⑴如目标函数为maxz，令，可化为。如某个变量的系数为负，令，使系数变正。0-1型整数规划解法步骤1：将问题转化为标准形式：第36页，共78页，星期日，2025年，2月5日调整后的0-1规划问题变为：(a)(b)步骤2：令所有变量取0，求出目标函数值，并代入约束条件中检查是否可行，如果可行即为问题的最优解；否则转下一步。令，得＝-10，但不满足两个约束条件。0-1型整数规划解法第37页，共78页，星期日，2025年，2月5日步骤3：分支和定界。依次令各变量分别取0或1，将问题划分为两个子问题，分别检查解是否可行，如不可行继续对边界值较小的子问题分支，直到找出一个可行解为止，这时得到值的一个上界。分支过程见下图所示：0-1型整数规划解法第38页，共78页，星期日，2025年，2月5日步骤4：考察所有子问题，有以下四种情况：⑴若某个子问题的边界值对应原问题的可行解，则将它的边界值与保留的值作比较，并取较优的一个作为新的值。如所有子问题都已考察完毕，则保留下来的值及其对应的解即为0-1整数规划问题的最优解。⑵若某个子问题的边界值大于保留下来的值，不管其是否可行，则将这一分支剪掉。⑶若某个子问题不可行（在该分支中的上级变量的值已经确定的情况下，其余变量不管取什么值都无法满足所有约束时，该枝的分枝已无可行解），则将这一分支剪掉。⑷若某个子问题可行且边界值优于值，但该边界值对应的解不是可行解，则该问题待考察。如有多个问题待考察，优先对其中最优值最大的一个子问题进行考察，转步骤3。0-1型整数规划解法第39页，共78页，星期日，2025年，2月5日分支③边界值=-6＜-4，但相应的解不可行，需继续分支。过程如上图所示。0-1型整数规划解法第40页，共78页，星期日，2025年，2月5日上述求解过程也可用表格表示：(0，1，0，1，0)(0，1，1，0，0)(0，0，1，0，0)(1，0，1，