下面说法不正确的是（）A用限界函数剪去得不到最优解的子树B用约束函数在扩展结点处剪去不满足约束的子树C使用限界函数作优先级，第一个加入队列的叶子就是最优解D回溯和分支限界都是动态生成解空间树