蓝桥杯2017届C++B组省赛真题 包子凑数

小明几乎每天早晨都会在一家包子铺吃早餐。他发现这家包子铺有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。

例如，
输入：

2  
4  
5   

程序应该输出：

6  

再例如，
输入： 

2  
4  
6    

程序应该输出：

INF

样例解释：

对于样例1，凑不出的数目包括：1, 2, 3, 6, 7, 11。  
对于样例2，所有奇数都凑不出来，所以有无限多个。

 

分析：

设a0,a1,a2……为每种蒸笼所能放的包子数，x0,x1,x2……为这种蒸笼的数目，C为包子数

a0x0 + aba1x1 + a2x2 + …… + anxn = C

若a0,a1,a2,……an不互质，则有无限多个C导致方程组无解

若a0,a1,a2,……an互质，则方程有解且C的上界是Ai*N-(Ai+N);

===>如果方程有解，用完全背包进行统计，将能被凑出的数标记为True，最后统计False的个数

 

代码:

#include<iostream>
using namespace std;
const int N = 110;
const int MAX_N = 10000; 
int A[N];
int n;
bool bb[MAX_N];
int gcd(int a,int b){
	return b? gcd(b,a%b) : a;
}
int main(){
	cin >> n;
	for(int i = 0;i < n;i++){
		cin >> A[i];
	}
	int g = A[0];
	for(int i = 1;i < n;i++){
		g = gcd(g,A[i]);
	}
	if(g != 1){//不互质，则有无限多个 
		cout << "INF";
	}else{//互质,用完全背包来判断 
		bb[0] = true;
		for(int i = 0;i < n;i++){
			for(int j = 0;j + A[i] < MAX_N;j++){
				if(bb[j]){//如果j能凑出来，那么j+a[i]一定也能凑出来 
					bb[j+A[i]] = true;
				}
			}
		}
		int count = 0;
		for(int i = 0;i < MAX_N;i++){
			if(!bb[i]){
				count++;
			}
		} 
		cout << count;
	}
	return 0;
}