搜索,搜索与剪枝