L3-001凑零钱（详细 01背包问题 输出字典序最小方案）

Content

韩梅梅手边有 $10^4$ 枚来自各个星球的硬币，需要请你帮她盘算一下，是否可能精确凑出要付的款额。这家店有个特别的规矩：你可以用任何星球的硬币付钱，但是绝不找零，当然也不能欠债。

注意输出格式

在一行中输出硬币的面值 $V_1<=V_2<=\dots \dots <=V_k$，满足条件 $V_1+V_2+\dots \dots +V_k=M$，$M$为要付的款额。数字间以 1 个空格分隔，行首尾不得有多余空格。若无解，则输出"No Solution"

Solution

一看到“找零钱”这三个字，立马就想到了01背包，然后这个题还是一个恰好装满背包的01背包（因为是要精确凑出要付的款额）

如果仅有这些的话，这个题难度还是不大的，但是加大难度的是在输出上，要求把字典序最小的选择方案给输出，这就需要加一点思考了。

• 我们先来复习一下01背包模板如何写，在这里，物品（即硬币）的价值和重量等同！

  for(int i=1;i<=n;i++)
  {
  	for(int j=m;j>=a[i];j--)
  		{
              dp[j] = max(dp[j],dp[j-a[i]]+a[i]);
          }
  }

我知道，大多数小伙伴肯定和我一样，背过了模板如何写，也大概知道是啥意思，但总觉得还欠缺点什么。这还是理解领悟地不够深刻导致的！

当$dp[j]$变大的时候，就意味着在选择前$i$个物品，背包容量为$j$的情况下可以把第$i$个物品放入进来。

• 如果只是单纯地是否可以把背包装满，那么做法就是选择让那些无效状态都设置初值为不可能即可，注意求$max$和$min$时的初值设置要区分好。

• 但这里考虑了输出方案，那么我们就需要一种记录方案。

  不妨设$vis[i][j]$表示第$i$件物品在容量为$j$时是否放入

  然后需要把输入的硬币面值进行降序排序（这样每加进一个物品来都能把字典序下降），然后输出就可以了。

• 注意这里的01背包部分的写法，相等时也要加进去，这样才能抵消掉前面的大件物品！

if(dp[j]<=dp[j-a[i]]+a[i]){//注意这里的 等号 
				dp[j] = dp[j-a[i]]+a[i];
				vis[i][j] = 1;
}

• 看到网上也有小伙伴用dfs可以说是暴力求解这个问题，因为m值比较小，所以有时候可以莽过去或者得较多的部分分，不过我认为正解还是01背包。

AC代码

bool cmp(int a,int b)
{
	return a>b;
}
int main()
{
	cin>>n>>m;
	for(int i=1;i<=n;i++)
		scanf("%d",&a[i]);
	
	sort(a+1,a+n+1,cmp);
	
	for(int i=1;i<=n;i++)
	{
		for(int j=m;j>=a[i];j--)
		{
			if(dp[j]<=dp[j-a[i]]+a[i]){//注意这里的 等号 
				dp[j] = dp[j-a[i]]+a[i];
				vis[i][j] = 1;
			}
		}
	}
		
	if(dp[m]!=m){
		cout<<"No Solution";
		return 0;
	}
	
	int id = n, v = m;
	vector<int>vec;
	while(v)
	{
		if(vis[id][v])
		{
			vec.push_back(a[id]);
			v-=a[id];	
		}
		id--;
	} 
	cout<<vec[0];
	for(int i=1;i<vec.size();i++)
		cout<<" "<<vec[i];
	return 0;
}