團體天梯 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;
}