动态规划——包子凑数

题目：包子凑数
小明几乎每天早晨都会在一家包子铺吃早餐。

他发现这家包子铺有 N 种蒸笼，其中第 i 种蒸笼恰好能放 Ai 个包子。

每种蒸笼都有非常多笼，可以认为是无限笼。

每当有顾客想买 X 个包子，卖包子的大叔就会迅速选出若干笼包子来，使得这若干笼中恰好一共有 X 个包子。

比如一共有 3 种蒸笼，分别能放 3、4 和 5 个包子。

当顾客想买 11 个包子时，大叔就会选 2 笼 3 个的再加 1 笼 5 个的（也可能选出 1 笼 3 个的再加 2 笼 4 个的）。

当然有时包子大叔无论如何也凑不出顾客想买的数量。

比如一共有 3 种蒸笼，分别能放 4、5 和 6 个包子。

而顾客想买 7 个包子时，大叔就凑不出来了。

小明想知道一共有多少种数目是包子大叔凑不出来的。

输入格式
第一行包含一个整数 N。

接下来 N 行，每行包含一个整数 Ai。

输出格式
输出一个整数代表答案。

如果凑不出的数目有无限多个，输出INF。

数据范围
1≤N≤100,
1≤Ai≤100
输入样例1：
2
4
5
输出样例1：
6
输入样例2：
2
4
6

解题思路：
如果n个数的最大公因数d > 1，则只要不是d的倍数就无法凑出
如果n个数的最大公因数d == 1，则在Amax*Amax中有有限的数无法被凑出
以上证明略

那么我们只需要在这个范围中找到所有不能被凑出的数就行了，这个个问题就是一个完全背包问题，其中背包的容量要递推到Amax*Amax
状态函数：f[i][j] 表示在前i个数中选，和为j的数是否能被凑出
状态转移方程：f[i][j] = f[i-1][j] | f[i][j-A[i]]
以最后一个元素为划分依据

#include<iostream>
#include<algorithm>

using namespace std;

const int N = 1010;

int a[110];
int f[110][N];

int gcd(int a, int b)
{
	return b ? gcd(b, a % b) : a;
}

int main()
{
	int n;
	cin >> n; 
	int d = 0;
	for(int i = 1 ; i <= n; i++)
	{
		scanf("%d", &a[i]);
		d = gcd(d, a[i]);
	}
	
	if(d != 1) puts("INF");
	else
	{
		f[0][0] = 1;
		for(int i = 1; i <= n; i++)
			for(int j = 0; j < N; j++)
			{
				f[i][j] = f[i-1][j];
				if(j >= a[i]) f[i][j] |= f[i][j-a[i]];
			}
		
		int cnt = 0;
		for(int i = 1; i < N; i++)
			if(f[n][i] == 0)
				cnt ++;
		cout << cnt << endl;
	}

	return 0;
}