对于目标函数值求最小的整数规划，利用分支定界法求解，如果当前分支放松线性规划的最优值比已知最好解的目标函数值大，则该分支舍弃