NOIP2018提高组复赛T2：货币系统

题目描述

在网友的国度中共有 $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\le n\le 100$,
$1\le a[i]\le 25000$,
$1\le T\le 20$

输入样例：

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

输出样例：

2
5

算法思想（DP、完全背包求方案数）

根据通过题目的描述，分析测试样例：

• 第一组， $n=4$, $a=[3,19,10,6]$，与之等价的货币系统 $m=2$, $b=[3,10]$
• 第二组， $n=5$, $a=[11,29,13,19,17]$，与之等价的货币系统 $m=5$, $b=[11,29,13,19,17]$

模拟测试样例可以发现如下性质（这里假设 { b 1 , b 2 , b 3 , . . . , b m } \{{b_1, b_2, b_3,..., b_m \}} {b1​,b2​,b3​,...,bm​}为最优货币系统$(m,b)$中的货币面额）：

1. 货币系统$(n,a)$中， a i ∈ { a 1 , a 2 , a 3 , . . . , a n } a_i ∈ \{{a_1, a_2, a_3,..., a_n \}} ai​∈{a1​,a2​,a3​,...,an​} 一定可以被最优解中的$b_i$表示出来
2. 最优解$(m,b)$中，$b_1,b_2,....,b_m$ 一定不能被其它$b_i$表示出来
3. 最优解$(m,b)$中，$b_1,b_2,....,b_m$ 一定都是从 { a 1 , a 2 , a 3 , . . . , a n } \{{a_1, a_2, a_3,..., a_n \}} {a1​,a2​,a3​,...,an​} 中选择出来的

性质1、2显而易见。下面使用反证法证明性质3：

• 假设最优解$(m,b)$中存在 b i ∉ { a 1 , a 2 , a 3 , . . . , a n } b_i∉\{{a_1, a_2, a_3,..., a_n \}} bi​∈/{a1​,a2​,a3​,...,an​}，因为两个货币系统是等价的，当且仅当对于任意非负整数 $x$，它要么均可以被两个货币系统表出，即最优解中的$b_i$可以由货币系统$(n,a)$中若干面额的货币表出，例如：$b_i=t_1\times a_j+t_2\times a_k+...$。
• 而货币系统$(n,a)$中$a_j,a_k,..$均可以由货币系统$(m,b)$中面额小于$b_i$的货币表出，即可以得到$b_i=r_1\times b_j+r_2\times b_k...$。
• 这与假设最优解$(m,b)$是最优解矛盾，证毕。

得到性质1、2、3后，本题就变成了从 { a 1 , a 2 , a 3 , . . . , a n } \{{a_1, a_2, a_3,..., a_n \}} {a1​,a2​,a3​,...,an​} 中选择出不能被其它面额表示出来的货币个数。可以使用完全背包问题的思想，求装满背包的方案数。如果方案数为0，则不能表示出来；否则，可以表示出来。

注意，为了方便计算，需要先将面额$a_i$从小到大排序，用面额小的来组成面额大的货币。

背包问题求解方案数，可以参考博主的另一篇文章——每周一算法：背包问题（五）求解方案数。

状态表示

$f[j]$表示组成面值为$j$的方案总数。

状态计算

$f[j]=f[j]+f[j-v[i]]$

初始状态

$f[0]=1$，表示组成面值为0的方案总数为$1$。

时间复杂度

经过完全背包二维变一维的优化后，时间复杂度为$O(n\ast a[n])$。

代码实现

#include <iostream>
#include <cstring>
#include <algorithm>
using namespace std;
const int N = 110, M = 25010;
int a[N], f[M];
int main()
{
    int T;
    cin >> T;
    while(T --)
    {
        int n;
        cin >> n;
        for(int i = 1; i <= n; i ++) cin >> a[i];        
        sort(a + 1, a + n + 1);
        memset(f, 0, sizeof f);
        f[0] = 1; //初始状态        
        int m = a[n]; //背包容量
        int res = 0;
        for(int i = 1; i <= n; i ++)
        {
            if(f[a[i]] == 0) res ++;//如果当前面额不能被其它面额表示
            //完全背包优化，从小到大枚举背包容量   
            for(int j = a[i]; j <= m; j ++)
                f[j] = f[j] + f[j - a[i]];
        }        
        cout << res << endl;
    }    
    return 0;
}