蓝桥杯 包子凑数（拓展欧几里得）

标题：包子凑数
小明几乎每天早晨都会在一家包子铺吃早餐。他发现这家包子铺有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，所有奇数都凑不出来，所以有无限多个。  
资源约定：
峰值内存消耗（含虚拟机） < 256M
CPU消耗  < 1000ms

请严格按要求输出，不要画蛇添足地打印类似：“请您输入...” 的多余内容。

拓展欧几里得：一定存在（x,y）使得ax+by=gcd(a,b);

将其拓展到本题的高维： 
本题题意需要满则x>=0,y>=0（即包子的笼数是非负的）;也就是说，如果gcd（a,b）的值为1，
那么对于任意的数值方程两边只需要乘以一个整数，即可凑出。这时候取决a和b的取值
凑不出的情况就对应是系数是负值的情况。 当max(a,b,....)…………^2能够凑出后，以后所有的都可以凑出。因此检验到1e4即可

如果gcd(a,b）的值不为1，
那么一定有所有的gcd(a,b)的正整数倍的数值是能够凑出来的。同样也有无数个数值是凑不出的。

欧几里得的具体实现：
void extgcd(int a,int b,int &d,int &x,int &y)
{
	if(!b){
		d=a;x=1;y=0;return; 
	}
	extgcd(b,a%b,d,y,x);y-=(a/b)*x;
  }  
 

#include<iostream>
#include<cstring>
#include<vector>
using namespace std;

int n,a[110],com;
int dp[10004] ;
int gcd(int x,int y)
{
	return y==0?x:gcd(y,x%y);
}
const int V=10000;
int main()
{
	cin>>n;
	for(int i=1;i<=n;i++)cin>>a[i];
	
	//求n个数的最大公约数 
	com=gcd(a[1],a[2]);
	for(int i=3;i<=n;i++)com=min(com,gcd(a[i],com));
	if(com!=1){
		cout<<"INF"<<endl;return 0;	
	} 
	
	dp[0]=1;//0个包子是一定能凑出来的
	 
	for(int i=1;i<=n;i++)
	for(int j=0;j+a[i]<=V;j++)
	{
		if(dp[j])dp[j+a[i]]=1; 
	}
	int cnt=0;
	for(int i=V;i>=0;i--)
	{
		if(!dp[i])cnt++;
	}
	cout<<cnt<<endl;
	return 0;
}