分支定界搜索。