分支限界法求解过程,