用约束函数在扩展结点处剪去不满足约束的子树;用限界函数剪去得不到最优解的子树