团体天梯 L3-001 凑零钱 （30 分）

L3-001 凑零钱 （30 分）

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

输入格式：

输入第一行给出两个正整数：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

 注意：有可能所有硬币都不足以付款，此时进行搜索会导致超时（测试点 6）

#include<iostream>
#include<vector>
#include<algorithm>
using namespace std;
int n, m, used[10000], t, sum;
vector<int> coin, result;
void search(int k) {
	if (k == m) {
		for (int i = 0; i < result.size(); i++) {
			if (i != 0) printf(" ");
			printf("%d", result[i]);
		}
		exit(0);
	}
	for (int i = 0; i < n&&k < m; i++) {
		if (!used[i]) {
			used[i] = 1;
			result.push_back(coin[i]);
			search(k + coin[i]);
			used[i] = 0;
			result.pop_back();
		}
	}
}
int main() {
	scanf("%d%d", &n, &m);
	for (int i = 0; i < n; i++) {
		scanf("%d", &t);
		sum += t;
		coin.push_back(t);
	}
	sort(coin.begin(), coin.end());
	if (sum >= m)   //当所有硬币都不足以付款，就不要搜索
		search(0);
	cout << "No Solution" << endl;
	return 0;
}