(数学模型 3x≥|bn+1, X 393 若X3整,则剪枝 2 若3<列,则换界z≤3<孔<+ 1若3≥,则不换界 x 3xn2|bn+1, 4七4 若X4非整,则 若4>当前上界,则剪枝 若x4≤当前上界,则分枝 剪完所有枝得:x≤k<…<孔<+ 最小上界对 应的最优解 则 2=z X=X 为所求。 kg k3 3  X ,z 1 — 3 : P3 xi0  [bi0 ]+ 1,  4 4  X ,z P4 : 1 — 3 xi0  [bi0 ]+ 1,  若 X3 整，则剪枝 • 若 z3  z1 ，则换界    +  1 z z3 z • 若 z3  z1 ，则不换界 若 X4 非整，则 • 若 z4  当前上界，则剪枝 • 若 z4  当前上界，则分枝 剪完所有枝得：     +  1 z z z k  则 k X Xk z = z =   , 最小上界对 应的最优解 为所求。 P2