7-2 凑零钱 (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

解题思路

看题目是0-1背包问题，一开始我还在思考要怎么才能满足刚好能够付钱，在网上看了一个老哥的代码之后收到了启迪，其实只需要每一次遍历的时候选用容量j与要装物品比较即可，现将代码整理如下：

#include <iostream>
#include <string.h>
#include <algorithm>

using namespace std;

int main()
{
    int N, M;
    cin >> N >> M;
    int DP[M + 1]{}, Val[N]{}, Record[N][M]; //背包、价值、用于记录路径的二维数组
    memset(Record, 0, sizeof(Record));  //置0

    for (int i = 0; i < N; i++)
        cin >> Val[i];

    sort(Val, Val + N, greater<int>());

    for (int i = 0; i < N; i++)
    {
        for (int j = M; j >= Val[i]; j--)
        {
            if (DP[j] <= DP[j - Val[i]] + Val[i]) //其实这里就保证了结果不会超过容量
            {
                DP[j] = DP[j - Val[i]] + Val[i];
                Record[i][j] = 1;
            }
        }
    }

    if (DP[M] == M)
    {
        int n = N - 1, m = M;   //这里注意要N-1不然会数组越界
        while (m != 0) //进行逆向的打印，输出最小的组合
        {
            if (Record[n][m] == 1)
            {
                if (m != M)
                    cout << " ";
                cout << Val[n];
                m -= Val[n];
            }
            n--;    
        }
    }
    else
        cout << "No Solution" << endl;
    return {};
}