软件学院3.14天梯模拟 L3-3 凑零钱 (30 分)(DFS，剪枝)

题目：

韩梅梅喜欢满宇宙到处逛街。现在她逛到了一家火星店里，发现这家店有个特别的规矩：你可以用任何星球的硬币付钱，但是绝不找零，当然也不能欠债。韩梅梅手边有 10​4​​ 枚来自各个星球的硬币，需要请你帮她盘算一下，是否可能精确凑出要付的款额。

输入格式：

输入第一行给出两个正整数：N（≤）是硬币的总个数，M（≤​​）是韩梅梅要付的款额。第二行给出 N 枚硬币的正整数面值。数字间以空格分隔。

输出格式：

在一行中输出硬币的面值 V​1​​≤V​2​​≤⋯≤V​k​​，满足条件 V​1​​+V​2​​+...+V​k​​=M。数字间以 1 个空格分隔，行首尾不得有多余空格。若解不唯一，则输出最小序列。若无解，则输出 No Solution。

注：我们说序列{ A[1],A[2],⋯ }比{ B[1],B[2],⋯ }“小”，是指存在 k≥1 使得 A[i]=B[i] 对所有 i<k 成立，并且 A[k]<B[k]。

输入样例 1：

8 9
5 9 8 7 2 3 4 1

输出样例 1：

1 3 5

输入样例 2：

4 8
7 2 4 3

输出样例 2：

No Solution

思路：

 一看到最短序列，就要想到排序，排完序从小到大取即可

这道题的正解是dp，但是由于数据比较水，直接暴力枚举也能拿到大部分分数，并且通过合理的剪枝，避免大量无用的搜索还是可以过的

那这道题就是一道DFS的模板题了

排完序之后，我们从上一个取走了的硬币开始取，就能保证从小到大无重复地取硬币，只要把当前的硬币取走后，总和不会超过给定的m，那就是可行的，如果超过直接返回，因为排完序之后，硬币面值是递增的，继续往下搜索一定找不到正解。

每次进行搜索之前都判断一下当前是否已经凑到了m，若已经凑到了，那一定是题目所需的最小序列，那就不需要再进行任何的搜索了，一直return就行。取到的硬币序列用数组去存下

还有一点要注意的是，如果所有的硬币都取走也凑不到m的话，那么此时不需要进行任何的搜索，直接输出“No Solution”即可

代码：

//L3-3 凑零钱 (30 分)
#include<vector>
#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
using namespace std;
const int N = 1e4 + 10;

int a[N];
int n , m;
vector<int> ans;

//pos表示上一次取走的硬币下标，sum表示当前取走的硬币面值和，数组t储存取走硬币的下标
void dfs(int pos , int sum , vector<int> t)    
{
	//cout<<pos<<" "<<sum<<endl; 
	if(ans.size())                        //如果已经找到了答案，就没有必要进行任何的搜索了
		return ;
	
	if(sum == 0)                          //如果已经凑到了m，那么对答案ans进行赋值
	{
		ans = t;
		return ;
	}
	
	for(int i = pos + 1 ; i < n ; i++)    //循环取硬币
	{
		if(a[i] <= sum)                   //如果取完硬币面值之和不会超过m，则取走
		{
			t.push_back(a[i]);            //硬币下标加入序列
			dfs(i , sum - a[i] , t);      //进行下一层搜索
			t.pop_back();                 //将硬币下标弹出
		}
        else                              //如果会超过m，直接返回
            return ;
	}
}

int main()
{
 	int sum = 0;
	cin>>n>>m;
 	for(int i = 0 ; i < n ; i++)
 	{
 		cin>>a[i];
 		sum += a[i];                      //搜索之前就求出所有硬币面值之和
	}
 	
 	if(sum < m)                           //如果把所有硬币都取走都凑不到m，则直接输出无解，不需要搜索
 	{
 		cout<<"No Solution"<<endl;
 		return 0;
	}
 	
	sort(a , a + n);                      //对硬币进行从大到小的排序
	
	vector<int> temp;
	dfs(-1 , m , temp);                   //pos初始化为-1
	
	if(ans.size())                        //如果找到答案，则间隔输出
	{
		for(int i = 0 ; i < ans.size() ; i++)
			cout<<ans[i]<<(i == ans.size() - 1 ? "\n" : " ");
	}
	else                                  //没找到答案输出无解
		cout<<"No Solution"<<endl;
	return 0; 
}