GPLT 凑零钱 (30分)-dfs

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

输入格式：

输入第一行给出两个正整数：N（≤104）是硬币的总个数，M（≤102）是韩梅梅要付的款额。第二行给出 N 枚硬币的正整数面值。数字间以空格分隔。

输出格式：

在一行中输出硬币的面值 V1≤V2≤⋯≤V**k，满足条件 V1+V2+…+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

思路：dfs暴搜，需要剪枝，不然最后一个点t,剪枝的策略就是对判断当前位置已选元素 的和与后缀和相加如果小于m,意味着无解。

#include <iostream>
#include<cstdio>
#include<cstring>
#include<string>
#include<algorithm>
#include<vector>
using namespace std;
const int N = 1e4 + 10;
int a[N];
long long suffix[N];

int n, m;
vector<int>v(n);
int flag = 1;

void dfs(int step, int tot)
{
    if(tot == m){
        for(int j = 0; j < v.size(); j++){
            if(j != 0)printf(" ");
            printf("%d", v[j]);
        }
        flag = 0;
        return;
    }
    if(tot + suffix[step] < m)//如果当前和 + 当前位置的后缀和  比m小，无解
        return;

    if(tot > m)
        return ;
    for(int i = step; i <= n; i++){
        v.push_back(a[i]);
        tot += a[i];
        dfs(i+1,tot);
        if(flag == 0)
            return;
        v.pop_back();
        tot -= a[i];
    }
}

int main()
{
    scanf("%d%d", &n, &m);
    for(int i = 1; i <= n; i++)
        scanf("%d", &a[i]);
    sort(a + 1, a + n + 1, less<int>());
    suffix[n] = a[n];
    for(int i = n-1; i >= 1; i--){//后缀和
        suffix[i] = a[i] + suffix[i+1];
    }
    dfs(1,0);
    if(flag)
        printf("No Solution\n");
    return 0;
}