01背包（L3-001 凑零钱 （30 分））

原题链接

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

---

分析：
看到这一题的第一眼觉得题目不难，就是01背包的类型，只不过就是需要把价值也看出重量而已。
但是，这一题让我苦恼的是需要输出最小序列，我就有点懵逼。因为按照正常的处理，最小序列的答案是会被覆盖掉的。
后来学习别人的解法后，其实可以对v数组从大到小排序。这个怎么理解呐，我提供我自己的理解，因为如果从小到大排序，那么小的值的决策一定会被大的值的决策覆盖。所以如果从大到小排序，那么每一层的决策一定是最小的，那么最后的答案也是最小序列。
其实后来我自己想了想，不妨在dp之后，按照他给的最小序列的定义，对dp进行搜索，但是时间复杂度会比较高。所以也就没有尝试。如果你也有类似的想法的话，你也可以尝试一下。

---

#include<iostream>
#include<vector>
#include<algorithm>
using namespace std;

const int N = 10001;
int dp[N];
int v[N];
bool choice[N][N];

int cmp(int a, int b) {
    return a > b;
}
int main() {
    int n, m;
    cin >> n >> m;
    for(int i = 1; i <= n; i++) {
        cin >> v[i];
    }
    sort(v + 1, v + n + 1, cmp);
    for (int i = 1; i <= n; i++) {
        for (int j = m; j >= v[i]; j--) {
            if (dp[j] <= dp[j - v[i]] + v[i]) {
                dp[j] = dp[j - v[i]] + v[i];
                choice[i][j] = true;
            }
        }
    }
    if(dp[m] == m) {
        int w = m, ind = n;
        while(w != 0) {
            if(choice[ind][w] == true) {
                if(w != m) cout <<" ";
                cout << v[ind];
                w -= v[ind];
            }
            ind--;
        }
    } else {
        cout << "No Solution";
    }
    return 0;
}