怎么想都是dfs+剪枝。。但是剪枝的判定不知道怎么做