分支限界法与回溯法，都是在问题的解空间树上搜索问题解