剪枝函数