【蓝桥杯 包子凑数】

问题描述

小明几乎每天早晨都会在一家包子铺吃早餐。他发现这家包子铺有N种蒸笼，其中第i种蒸笼恰好能放Ai个包子。每种蒸笼都有非常多笼，可以认为是无限笼。

每当有顾客想买X个包子，卖包子的大叔就会迅速选出若干笼包子来，使得这若干笼中恰好一共有X个包子。比如一共有3种蒸笼，分别能放3、4和5个包子。当顾客想买11个包子时，大叔就会选2笼3个的再加1笼5个的（也可能选出1笼3个的再加2笼4个的）。

当然有时包子大叔无论如何也凑不出顾客想买的数量。比如一共有3种蒸笼，分别能放4、5和6个包子。而顾客想买7个包子时，大叔就凑不出来了。

小明想知道一共有多少种数目是包子大叔凑不出来的。
输入
第一行包含一个整数N。(1 <= N <= 100)
以下N行每行包含一个整数Ai。(1 <= Ai <= 100)

输出
一个整数代表答案。如果凑不出的数目有无限多个，输出INF。

思路（完全背包，数论）

数学中两个互质的数m，n，最大不能覆盖的数为mn-m-n.之后的数都可以覆盖。所以如果输入的任何两个数都不互质，那么就输出INF。如果存在互质的两个数，在mn-m-n的范围内寻找覆盖不到数，因为N和Ai都在100以内，我们就直接在10000内寻找覆盖不到的数就可以了，不用特地去寻找m,n。

#include<iostream>
#include<algorithm>
#include<string>
#include<math.h>
#include<vector>
#include<cstdio>
#include<cstring>
using namespace std;
const int maxn =10000;

int dp[maxn], n;
int num[100+10];

//求最大公约数
int gcd(int a, int b)
{
	return b == 0 ? a : gcd(b, a%b);
}


int main()
{
	cin >> n;
	for (int i = 1; i <= n; i++)scanf("%d", &num[i]);

	int g = num[1];
	for (int i = 2; i <= n; i++)g = gcd(g, num[i]);
	if (g != 1) {//如果不是1，意思是不存在两个数互质，输出INF
		printf("INF\n");
		return 0;
	}
	dp[0] = 1;
	for(int i=1;i<=n;i++)
		for (int j = 0; j+num[i] < maxn; j++) {
			if (dp[j])dp[j + num[i]] = 1;//如果dp[j]可达，那么dp[j+num[i]]一定也是可达的
		}
	int ans = 0;
	for (int i = 0; i < maxn; i++)if (!dp[i])ans++;//记录不可达到的个数
	printf("%d\n", ans);
	return 0;
}

网上很多朋友都在疑惑为什么只考虑10000以内的数就行了，不用管10000之后的数，希望大家看了之后有所理解。