dfs 剪枝。