7-12 凑零钱 (30 分)

韩梅梅喜欢满宇宙到处逛街。现在她逛到了一家火星店里，发现这家店有个特别的规矩：你可以用任何星球的硬币付钱，但是绝不找零，当然也不能欠债。韩梅梅手边有 10 ^4 枚来自各个星球的硬币，需要请你帮她盘算一下，是否可能精确凑出要付的款额。
输入格式：
输入第一行给出两个正整数：N（≤10 ^4 ）是硬币的总个数，M（≤10^2 ）是韩梅梅要付的款额。第二行给出 N 枚硬币的正整数面值。数字间以空格分隔。
输出格式：
在一行中输出硬币的面值 V
1 ≤V2 ≤⋯≤V k ，满足条件 V1 +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]。
思路：dp，动态规划，01背包问题的变形，需要进行对于路径的存储，使用vector，因为要求字典序最小，所以我们在存储数据过后，需要对数据进行从大到小的排序（其实也可以从小到大，但是最后的输出循序是改变的）
代码附上：

#include<iostream>
#include<cmath>
#include<algorithm>
#include<vector>
using namespace std;
int a[10000];
bool choice[10000][10000] = {0};
int dp[10000];
bool compare(int a, int b)
{return a > b;}
void solve(int n, int m) {
	for (int i = 1; i <= n; i++) {
		for (int j = m; j >= a[i]; j--) {
			if (dp[j] <= dp[j - a[i]] + a[i]) {
				choice[i][j] = 1;
				dp[j] = dp[j - a[i]] + a[i];
			}
		}
	}
	if (dp[m] != m) cout << "No Solution" << endl;
	else {
		vector<int> arr;
		int v = m, index = n;
		while (v > 0) {
			if (choice[index][v]==1) {
				arr.push_back(a[index]);
				v = v - a[index];
			}
			index--;
		}
		for (int i = 0; i < arr.size(); i++) {
			if (i != 0) cout << " ";
			cout << arr[i];
		}
	}
}
int main() {

	int n,m;
	cin >> n >> m;
	for (int i = 1; i <= n; i++) {
		scanf("%d", &a[i]);
	}
	sort(a+1, a+n+1,compare);
	solve(n, m);
	return 0;
}