分支限界法是一种既带有（）又带有（）的搜索算法。