L3-001 凑零钱 (30分)：0-1背包，找满足条件的最小序列

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

输入格式：
输入第一行给出两个正整数：N（≤10​4​​ ）是硬币的总个数，M（≤10​2​​ ）是韩梅梅要付的款额。第二行给出 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

#include <bits/stdc++.h>
using namespace std;
#define ll long long
int a[10010],b[11000],vis[10010][11000],n,m;
void cou()
{
    
    
	int bo=0,tip=1,ans=m;
	while(ans)
	{
    
    
		if(vis[tip][ans])
		{
    
    
			if(bo) cout<<" ";
			cout<<a[tip];bo=1;
			ans-=a[tip],tip++;
		}
		while(vis[tip][ans]==0&&tip<=n)
		 tip++;
	}
}
int main()
{
    
    
    ios::sync_with_stdio(false);
    cin>>n>>m;
    for(int i=1;i<=n;i++)
     cin>>a[i];
    sort(a+1,a+n+1);
	for(int i=n;i>=1;i--)
	{
    
    
	 for(int j=m;j>=a[i];j--)
	  if(b[j]<=b[j-a[i]]+a[i])
	  {
    
    
	  	b[j]=b[j-a[i]]+a[i];
	  	vis[i][j]=1;
	  }
	} 
	if(b[m]==m) cou();
	else cout<<"No Solution";
    return 0;
}