[NOIP2018 提高组] 货币系统
题目背景
NOIP2018 提高组 D1T2
题目描述
在网友的国度中共有 n n n 种不同面额的货币,第 i i i 种货币的面额为 a [ i ] a[i] a[i],你可以假设每一种货币都有无穷多张。为了方便,我们把货币种数为 n n n、面额数组为 a [ 1.. n ] a[1..n] a[1..n] 的货币系统记作 ( n , a ) (n,a) (n,a)。
在一个完善的货币系统中,每一个非负整数的金额 x x x 都应该可以被表示出,即对每一个非负整数 x x x,都存在 n n n 个非负整数 t [ i ] t[i] t[i] 满足 a [ i ] × t [ i ] a[i] \times t[i] a[i]×t[i] 的和为 x x x。然而, 在网友的国度中,货币系统可能是不完善的,即可能存在金额 x x x 不能被该货币系统表示出。例如在货币系统 n = 3 n=3 n=3, a = [ 2 , 5 , 9 ] a=[2,5,9] a=[2,5,9] 中,金额 1 , 3 1,3 1,3 就无法被表示出来。
两个货币系统 ( n , a ) (n,a) (n,a) 和 ( m , b ) (m,b) (m,b) 是等价的,当且仅当对于任意非负整数 x x x,它要么均可以被两个货币系统表出,要么不能被其中任何一个表出。
现在网友们打算简化一下货币系统。他们希望找到一个货币系统 ( m , b ) (m,b) (m,b),满足 ( m , b ) (m,b) (m,b) 与原来的货币系统 ( n , a ) (n,a) (n,a) 等价,且 m m m 尽可能的小。他们希望你来协助完成这个艰巨的任务:找到最小的 m m m。
输入格式
输入文件的第一行包含一个整数 T T T,表示数据的组数。
接下来按照如下格式分别给出 T T T 组数据。 每组数据的第一行包含一个正整数 n n n。接下来一行包含 n n n 个由空格隔开的正整数 a [ i ] a[i] a[i]。
输出格式
输出文件共有 T T T 行,对于每组数据,输出一行一个正整数,表示所有与 ( n , a ) (n,a) (n,a) 等价的货币系统 ( m , b ) (m,b) (m,b) 中,最小的 m m m。
样例 #1
样例输入 #1
2
4
3 19 10 6
5
11 29 13 19 17
样例输出 #1
2
5
提示
在第一组数据中,货币系统 ( 2 , [ 3 , 10 ] ) (2, [3,10]) (2,[3,10]) 和给出的货币系统 ( n , a ) (n, a) (n,a) 等价,并可以验证不存在 m < 2 m < 2 m<2 的等价的货币系统,因此答案为 2 2 2。 在第二组数据中,可以验证不存在 m < n m < n m<n 的等价的货币系统,因此答案为 5 5 5。
【数据范围与约定】
对于 100 % 100\% 100% 的数据,满足 1 ≤ T ≤ 20 , n , a [ i ] ≥ 1 1 ≤ T ≤ 20, n,a[i] ≥ 1 1≤T≤20,n,a[i]≥1。
思路
- 我们发现,这些钱可以取出多个,因此我们推测是完全背包问题。因为本道题要求某某能表示某某,因此我们考虑
bool
类型的背包。 - 我们发现:有能被其他货币表示出来的货币都可以被删除,因此在做完全背包的时候,如果当前的货币已经被之前的表示过了,此时就不记录答案;反之,则记录答案。
- 其实,本道题就是背包问题求方案数的模型。状态表示和状态转移跟完全背包一毛一样。都是所以选前 i i i 个物品,体积不超过 j j 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;
}