第八届蓝桥杯 包子凑数

标题：包子凑数

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

---

最近题目越做越觉得不会，拿到这道题第一反应是扩展欧几里得和背包问题，没想到两个都涉及了，菜哭了o(╥﹏╥)o

想到扩展欧几里得的原因：

 如果,该方程有解，这意味着ax+by能凑成各种各样的数（因为的解只要把前面式子的解乘以n即可）

想到背包问题的原因：

https://blog.csdn.net/iroy33/article/details/86900538 先前做过多重部分和问题（不过本题不需要进行优化，只用普通的完全背包就行），以及刷了一些背包，有点朦朦胧胧的感觉

做这道题学到的结论：两个互素的数a,b最大不能表示的整数为a*b-a-b，不能表示的个数是(a-1)*(b-1)/2

这道题不是两个数，不能直接套结论，由于没法提交我也不知道代码能不能拿满分，至少样例时符合结论的

#include<iostream>
using namespace std;
const int N=1e4+10;     //选择1e4的原因是100种蒸笼*每笼最多100个，考察清楚前10000个，大于10000的数总有办法凑。。大概是这样
bool dp[N];
int a[110];

int gcd(int a,int b)
{
    if(b==0) return a;
    return gcd(b,a%b);
}
int n;
int main()
{
    cin>>n;
    for(int i=1;i<=n;++i)
    {
        cin>>a[i];
        dp[a[i]]=true;
    }

    int d=a[1];
    for(int i=2;i<=n;++i)       //只要有两个数互素，d就是1，结果就不是INF
        d=gcd(d,a[i]);
    if(d!=1) {cout<<"INF"<<endl;return 0;}
    int cnt=0;
    for(int i=1;i<=n;++i)
        for(int j=1;j<N;++j)
        {
            if(!dp[j]&&dp[j-a[i]])
            {
                dp[j]=true;
            }

        }
    for(int j=1;j<N;++j)
        if(!dp[j])
            ++cnt;
    cout<<cnt<<endl;
    return 0;


}