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

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

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

回溯法为了避免生成那些不可能产生最佳解的问题状态，不断地利用限界函数来处死那些实际上不可能产生所需解的活结点，...

判断题回溯法为了避免生成那些不可能产生最佳解的问题状态，不断地利用限界函数来处死那些实际上不可能产生所需解的活结点，以减少问题的计算量。

对于问题的一个实例，解向量满足显式约束条件的所有多元组，构成了该实例的一个解空间。

判断题对于问题的一个实例，解向量满足显式约束条件的所有多元组，构成了该实例的一个解空间。