(数学模型 3 ≤[b2 →X 1,1 若X1整,则剪枝当前上界 0 3 并换上界:z≤x<+0 →Xn,z 0 若X整,则X 3x211+ 若xn=b非整 今X 2942 则分枝 若X2非整,则 且z≤z<+ 若z2>,则剪枝 自然上界 若z2 19 则分枝0 0  X ,z : P0 1 — 3 • 若 X0 整，则 X = X0  • 若 非整， 则分枝 0 0 xi = bi   +  z z 且 0 自然上界 S0 0 bi S1 S2 1 1  X ,z P1 : 1 — 3 [ ] 0 0 xi  bi 2 2  X ,z P2 : 1 — 3 [ ] 1 0 0 xi  bi + 若 X1 整，则剪枝 并换上界：   +  z 1 z 若 X2 非整，则 • 若 z2  z1 ，则剪枝 • 若 z2  z1 ，则分枝 当前上界