C++---背包模型---货币系统2（每日一道算法2023.3.22）

注意事项：
本题为"dp动态规划—完全背包"和"背包模型—货币系统1"的扩展题，建议先理解那两个会对本题帮助较大。

题目：
在网友的国度中共有 n 种不同面额的货币，第 i 种货币的面额为 a[i]，你可以假设每一种货币都有无穷多张。

为了方便，我们把货币种数为 n、面额数组为 a[1…n] 的货币系统记作 (n,a)。

在一个完善的货币系统中，每一个非负整数的金额 x 都应该可以被表示出，即对每一个非负整数 x，都存在 n 个非负整数 t[i] 满足 a[i]×t[i] 的和为 x。

然而，在网友的国度中，货币系统可能是不完善的，即可能存在金额 x 不能被该货币系统表示出。

例如在货币系统 n=3, a=[2,5,9] 中，金额 1,3 就无法被表示出来。

两个货币系统 (n,a) 和 (m,b) 是等价的，当且仅当对于任意非负整数 x，它要么均可以被两个货币系统表出，要么不能被其中任何一个表出。

现在网友们打算简化一下货币系统。

他们希望找到一个货币系统 (m,b)，满足 (m,b) 与原来的货币系统 (n,a) 等价，且 m 尽可能的小。

他们希望你来协助完成这个艰巨的任务：找到最小的 m。

输入格式
输入文件的第一行包含一个整数 T，表示数据的组数。
接下来按照如下格式分别给出 T 组数据。 
每组数据的第一行包含一个正整数 n。
接下来一行包含 n 个由空格隔开的正整数 a[i]。

输出格式
输出文件共有 T 行，对于每组数据，输出一行一个正整数，表示所有与 (n,a) 等价的货币系统 (m,b) 中，最小的 m。

数据范围
1≤n≤100,
1≤a[i]≤25000,
1≤T≤20

输入:
2 
4 
3 19 10 6 
5 
11 29 13 19 17 

输出：
2
5

#include <cmath>
#include <cstring>
#include <iostream>
#include <algorithm>
using namespace std;

const int N = 110, M = 25010;
int t;              //t组数据
int v[N], f[M];     //v[i]第i个钞票的面值

int main() {
    cin >> t;
    while (t--) {
        int n, m = 0;   //n是当前组不同面值钞票的数量，m为当前组中面额最大的钞票
        cin >> n;

        for (int i = 1; i<=n; i++) {        //读入
            cin >> v[i];
            m = max(m, v[i]);
        }
        
        memset(f, 0, sizeof f); //要多次计算dp，所以记得f要归零
        f[0] = 1; //这里还是一样，在0种钞票中选总和为0的，是一种方案                      
        //一维双循环完全背包dp，不理解可以去看完全背包那篇文章，有详解
        for (int i = 1; i<=n; i++) {
            for (int j = v[i]; j<=m; j++) {
                f[j] += f[j-v[i]];
            }
        }
        
        //求出答案，只有当v[i]不能被其他方案表示出来时(例如v={2,4,6,9}，其中6可以被2*3或2+4表示出来, 而9无法被表示出来)，
        //说明当前v[i]是不能被取代的，需要加入答案组中
        int res = 0;
        for (int i = 1; i<=n; i++) {
            if (f[v[i]] == 1) res++;
        }
        cout << res << endl;
    }

    return 0;
}

思路：
题目比较复杂，首先来分析一下题，然后举个栗子：

题目中的重点条件：
1.货币种数为 n、面额数组为 a[1…n] 的货币系统记作 (n,a)
2.两个货币系统 (n,a) 和 (m,b) 是等价的，当且仅当对于任意非负整数 x，它要么均可以被两个货币系统表出，要么不能被其中任何一个表出。 
3.希望找到一个货币系统 (m,b)，满足 (m,b) 与原来的货币系统 (n,a) 等价，且 m 尽可能的小。

举例：

v = {3,19,10,6}
res = {}

3	不能被v中的其他元素表示出来，是必要的元素，res = {3},
19	可以被10+3*3表示出来，不添加进res，
10	不能被表示出来，res = {3, 10},
6	可以被3+3表示出来，不添加进res。

结果(m)为2。

发现性质：
性质一：a1,a2…an必须可以被b中的元素表示出来
性质二：在最优解中，b1,b2…bm一定是从a中选择出来的
性质三：b1,b2…bm一定不能被其他bi表示出来

得出结论：
综上所述，根据这几个性质，就可以将每一组数据转换为一个完全背包问题，只要求出每个面额可以被多少种方案表示出来，再拿a中的元素循环比对，超过1种方案(取自己算一种方案)的就说明可以被其他面额表示出来，那就将方案数等于1的放入b中，最后求出b的元素个数即为答案。

再提一下dp，经典y式dp法：
1.状态表示：
f[i][j]：对于前 i 种面额的钞票，总和恰好为 j 的方案数，属性为Count。
2.状态计算：
还是按照完全背包的思路，以第i个物品拿几个来做判断：(从拿0个开始)
f[i][j] += sum(f[i-1][j], f[i-1][j-1v], f[i-1][j-2v], ..., f[i-1][j-sv])

如果有所帮助请给个免费的赞吧~有人看才是支撑我写下去的动力！

声明：
算法思路来源为y总，详细请见https://www.acwing.com/
本文仅用作学习记录和交流