判断题：剪枝函数分为约束函数和限界函数。