判断题：限界函数剪去当前可预见的肯定不能达到最优的分枝，留下肯定可以达到最优的分枝。