判断题 队列式分支限界以最大效益优先方式产生状态空间树的结点。

判断题 回溯法用约束函数在扩展结点处剪去不满足约束的子树。

判断题 回溯算法中在一个扩展结点变成死结点之前，它一直是扩展结点。