dfs,剪枝