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