回溯法是一种既带有（）又带有（）的搜索算法。