DFS+DP剪枝