分支限界法是一种即带有____又带有____的搜索算法。