[NOIP2018 提高组] 货币系统（完全背包问题）：表示问题：最大无关向量组个数

[NOIP2018 提高组] 货币系统

题目背景

NOIP2018 提高组 D1T2

题目描述

在网友的国度中共有 $n$ 种不同面额的货币，第 $i$ 种货币的面额为 $a[i]$，你可以假设每一种货币都有无穷多张。为了方便，我们把货币种数为 $n$、面额数组为 $a[\mathrm{1..}n]$ 的货币系统记作 $(n,a)$。

在一个完善的货币系统中，每一个非负整数的金额 $x$ 都应该可以被表示出，即对每一个非负整数 $x$，都存在 $n$ 个非负整数 $t[i]$ 满足 $a[i]\times 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

样例输入 #1

2 
4 
3 19 10 6 
5 
11 29 13 19 17

样例输出 #1

2   
5

提示

在第一组数据中，货币系统 $(2,[3,10])$ 和给出的货币系统 $(n,a)$ 等价，并可以验证不存在 $m<2$ 的等价的货币系统，因此答案为 $2$。 在第二组数据中，可以验证不存在 $m<n$ 的等价的货币系统，因此答案为 $5$。

【数据范围与约定】

对于 $100\%$ 的数据，满足 $1\le T\le 20,n,a[i]\ge 1$。

思路

• 我们发现，这些钱可以取出多个，因此我们推测是完全背包问题。因为本道题要求某某能表示某某，因此我们考虑 bool 类型的背包。
• 我们发现：有能被其他货币表示出来的货币都可以被删除，因此在做完全背包的时候，如果当前的货币已经被之前的表示过了，此时就不记录答案；反之，则记录答案。
• 其实，本道题就是背包问题求方案数的模型。状态表示和状态转移跟完全背包一毛一样。都是所以选前 $i$ 个物品，体积不超过 $j$ 的方案数集合。（后面就不再赘述，之前有说过）

代码

//因为对于每个物品你可以选多个，因此是个完全背包

#include<iostream>
#include<algorithm>
#include<cstring>

using namespace std;

const int N = 10,M = 5e4+10;

int w[N];
bool f[M];
int T,n;

int main(){
    cin>>T;
    
    while(T--){
        cin>>n;
        
        memset(f,0,sizeof f);
        
        
        for(int i=1;i<=n;i++){
            cin>>w[i];
        }
        
        sort(w+1,w+1+n);
        
        int k=w[n];
        f[0]=1;
        int cnt=0;
        
        for(int i=1;i<=n;i++){
            if(!f[w[i]])cnt++;
            for(int j=w[i];j<=k;j++){
                f[j]|=f[j-w[i]];
            }
        }
        
        cout<<cnt<<endl;
        
    }
    
    return 0;
}