【AcWing 532. 货币系统】完全背包 + 数学 + 贪心

题目链接

题意：

现在你有n种面额不同的货币，第 i 种货币的面额是a[i]，其中称这n种能表示出的金额为(n,a)的货币系统，现在让你求出另一个货币系统(m,b)，使得这个货币系统和给出的货币系统能表示出的金额和所给出的货币系统一模一样，所给出的系统能表示出的数这个货币系统能表示出来，所给出的系统不能表示出的数这个货币系统不能表示出来，问这个m的最小可能值是多少。

分析：

咱们先看样例吧。
输入样例：
2
4
3 19 10 6
5
11 29 13 19 17
输出样例：
2
5

先看第一组，n是4，数组是 3，19，10，6，那么答案是2，是哪两个数呢？咱们可以发现 6 = 3 + 3，所以 6 没用，19 = 10 + 3 + 3 + 3，所以19没用，所以就只剩下 3 和 10，现在咱们可以得出三条性质，就是这个 b 数组的性质（1）a 数组一定能被 b 数组的数给线性表示出来
（2）b数组中的数一定是从a数组中选出来的
（3）b1，b2 , b3 ,…, bn每个数都不能被其他的b数组的数给线性表示出来
现在看性质1吧，这个是显然的，因为b数组所代表的货币系统是和a数组等价的，所以说a数组中的每个数是都能被b数组线性表示出来的。再来看看性质2，这个就需要证明一下了，咱们可以采用反证法，假设b[i]是在a数组中不存在的，因为b[i]能被a数组给线性表示出来，a数组中的每个数也都能被b数组中的数线性表示出来，那么就产生了b[i]能被b数组中的数线性表示出来的这种现象了，那么b[i]的存在即是没意义的，所以说第二条性质是成立的，第三条性质显然成立，所以说咱们只需要用一个完全背包检测一下每个a是否能被表示出来即可，这个地方应该要用两重循环了，因为同一个面额的货币可能会被加上好多次，要是单纯的排个序一遍下来是得不到答案的，下面具体情况请看代码：

#include<iostream>
#include<algorithm>
#include<cstring>
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;
		memset(f,0,sizeof f);
		for(int i=1;i<=n;i++) cin>>a[i];
		sort(a+1,a+1+n);
		int m = a[n];
		f[0] = 1;
		int ans = 0;
		for(int i=1;i<=n;i++){
			if(!f[a[i]]) ans++;
			for(int j=a[i];j<=m;j++)
				f[j] += f[j-a[i]];
		}
		cout<<ans<<endl;
	}
	
	return 0;
}