PTA 凑零钱

题目重述
韩梅梅喜欢满宇宙到处逛街。现在她逛到了一家火星店里，发现这家店有个特别的规矩：你可以用任何星球的硬币付钱，但是绝不找零，当然也不能欠债。韩梅梅手边有 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

题解
这道题可以用0-1背包或者回溯法求解，使用回溯法的算法框架找到符合条件的输出就可以。

需要注意的是，这道题让求最小序列，只需要提前将数组排序，然后再进行回溯法求解，求出来的第一组符合条件的序列就是我们要求的最小序列。

#include<bits/stdc++.h>
using namespace std;

const int N = 1e4+10;
int n,m,a[N];
bool vis[N],flag;
vector<int> ans;

bool dfs(int u,int sum){
    if(sum == m){
        cout<<ans[0];
        for(int i=1; i<ans.size(); i++)
            cout<<' '<<ans[i];
        cout<<endl;
        flag = true;
        return true;
    }
    
    for(int i=0; i<n; i++){
        if(!vis[i]){
            ans.push_back(a[i]);
            vis[i] = true;
            if(sum+a[i]<=m)
                dfs(u+1,sum+a[i]);
            if(flag)    return true;
            ans.pop_back();
            vis[i] = false;
        }
    }
    return false;
}
// 如果测试点超时，可以通过两种方式排查：
// 是否判断 所有的钱币面额加起来都小于m
// 递归终止条件是否合理，是否做了无用功。
int main()
{
    int all = 0;
    cin>>n>>m;
    for(int i=0; i<n; i++){
        cin>>a[i];
        all += a[i];
    }
    if(all<m)    cout<<"No Solution";
    else{
        sort(a,a+n);
        if(!dfs(0,0))    cout<<"No Solution";
    }

    return 0;
}