在回溯法中，可以用限界函数在扩展结点处剪去不满足约束的子树，用约束函数剪去得不到最优解的子树。