AcWing 532 货币系统

题目描述：

在网友的国度中共有 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

分析：

本题的货币系统的定义类似于线性代数向量组的概念，两个向量组等价当且仅当它们可以相互表出，本题是给定若干个向量组，求每个向量组的秩，即最大线性无关向量组中向量的个数。通俗的讲，就是给定一个货币系统(n,a)，求另一个货币系统(m,b)，使得这两个货币系统等价，且m最小。首先，对于货币系统a中的任意一个面额ai，都可以由货币系统b中的若干个面额的货币表示出来；第二，货币系统b中的面额一定都是来自货币系统a，这是因为：设货币系统b中的面额bt不属于货币系统a，由于货币系统a与b等价，则bt可以由货币系统a表示出来，比如说bt可以由a1,a2,a3表示出来，由于货币面额都是整数，所以用来表示bt的面额一定都小于bt，同理，a1,a2,a3也可以由货币系统b中小于它们的面额表示出来，综上所述，bt可以由小于货币系统b中若干个面额小于bt的面额表示出来，这与b是a的极大向量线性无关组矛盾，所以假设不成立，故货币系统b中的货币面额都是来自货币系统a。

要想求出货币系统的最小线性无关组的个数，需要先对货币系统a的面额自小到大排序，对于面额ai，如果可以由前面比它小的面额表示出来，则不需要加入极大线性无关组；如果不能由比它小的货币面额表示出来，则需要加入极大线性无关组。所以可以对排序后的货币系统a做类似于完全背包问题的状态转移，f[i][j]表示前i个货币能够组成金额是j的方案数，如果前i-1个状态可以表示出第i种货币的面额，则f[i-1][v[i]]就是非0的，否则不存在合法方案，v[i]就需要加入极大线性无关组中。

#include <iostream>
#include <cstring>
#include <algorithm>
using namespace std;
const int N = 25005,M = 105;
int v[M],f[N];
int main(){
    int T,n,m;
    scanf("%d",&T);
    while(T--){
        scanf("%d",&n);
        for(int i = 0;i < n;i++)    scanf("%d",&v[i]);
        sort(v,v + n);
        m = v[n-1];
        memset(f,0,sizeof f);
        f[0] = 1;
        int res = 0;
        for(int i = 0;i < n;i++){
            if(!f[v[i]])    res++;
            for(int j = v[i];j <= m;j++){
                f[j] += f[j-v[i]];
            }
        }
        printf("%d\n",res);
    }
    return 0;
}