整数规划2.pptVIP

如果f (x)0成立，则y不能为1，否则与（*）矛盾； 所以 y=0, g (x) ? 0 成立。 如果 f (x) ? 0（即f (x)0不成立） 则y的取值已无关紧要，因为y取任何值（*）总成立，所以y的取值由（*）控制，因此g (x) 的取值不受任何限制。 2 分枝定界解法 （Branch and Bound Method) 原问题的松驰问题：任何整数规划（IP），凡放弃某些约束条件（如整数要求）后，所得到的问题（P） 都称为（IP）的松驰问题。 最通常的松驰问题是放弃变量的整数性要求后，（P）为线性规划问题。 分枝定界法步骤 一般求解对应的松驰问题，可能会出现下面几种情况： 若所得的最优解的各分量恰好是整数，则这个解也是原整数规划的最优解，计算结束。 若松驰问题无可行解，则原整数规划问题也无可行解，计算结束。 若松驰问题有最优解，但其各分量不全是整数，则这个解不是原整数规划的最优解，转下一步。 从不满足整数条件的基变量中任选 一个xl进行分枝，它必须满足xl ?[xl ] 或xl ?[xl ] +1中的一个，把这两个约束条件加进原问题中，形成两个互不相容的子问题（两分法）。 定界：把满足整数条件各分枝的最优目标函数值作为上（下）界，用它来判断分枝是保留还是剪枝。 剪枝：把那些子问题的最优值与界值比较，凡不优或不能更优的分枝全剪掉，直到每个分枝都查清