(数学模型 对每个子问题P,不外乎有以下三种可能情况: (1)不可行,则剪枝; (2)其最优解X为整数解,则剪枝,且 当目标值<当前上界时,则换界; 当目标值≥当前上界时,则不换界。 (3)其最优解X;为非整数解,则 当目标值>当前上界时,则剪枝; 当目标值z≤当前上界时,则分枝。 注:对于极大化问题,则是定下界,最大下界对应 的整数解为所求 0<1<…<z≤z≤ 0 则 k g X"=Ⅹ对每个子问题 ，不外乎有以下三种可能情况: Pi （1） 不可行，则剪枝； （2）其最优解 Xi 为整数解，则剪枝，且 • 当目标值 zi  当前上界时，则换界； • 当目标值 zi  当前上界时，则不换界。 （3）其最优解 Xi 为非整数解，则 • 当目标值 zi  当前上界时，则剪枝； • 当目标值 zi  当前上界时，则分枝。 注：对于极大化问题，则是定下界，最大下界对应 的整数解为所求。 1 0 z z z z −     k     则 k X Xk z = z =   , 归纳起来: