2017蓝桥杯C++A组——包子凑数

包子凑数题目链接

问题描述

【题目描述】

【输入】

【输出】

【样例输入】

2
4
5

【样例输出】

6

题目解析

这求解这道题之前我们需要知道以下定理：

1. 对于$ax+by=c$；
2. 若$a,b$互质，则$x,y$一定有解且有无穷多个；$s.t.$ $x,y>=0$，使$ax+by=c$无解的c个数有限且 m a x { c ∣ c 导 致 方 程 无 解 } = a × b − a − b max\{c|c导致方程无解\}=a×b-a-b max{c∣c导致方程无解}=a×b−a−b；
3. 若$a,a$不互质，则不能保证有解，有解即有无限多个c使方程无解。

类比以下，对于方程$a_0{x}_0+a_1{x}_1+a_2{x}_2+...+a_n{x}_n=c$有解：$(a_0,a_1,...a_n)$互质，否则，若不互质，有无限多个c导致方程无解。

因此我们可以使用一个$bool$类型的一维数组$f[]$来表示该数能否被解出，初始状态$f[0]=true;$接着用$if(f[i])$判断该位置是否已经可以凑出，若可以则$f[i+a[i]]=true;$最后用循环计算为$false$的数量即可。

C++代码

#include<bits/stdc++.h>
using namespace std;
int n,g;
int a[101];
bool f[10000]; //最大凑不出的数a*b-a-b
int gcd(int a,int b)
{
    if(b==0) return a;
    return gcd(b,a%b);
}
int main()
{
    scanf("%d",&n);
    f[0] = true; //初始化f[0]dp数组
    for(int i=1;i<=n;i++)
    {
        scanf("%d",&a[i]);
        if(i==1) g = a[i]; //初始化最大公约数
        else g = gcd(a[i],g);
        for(int j=0;j<10000;j++)
        {
            if(f[j]) f[j+a[i]]=true;
        }
    }
    if(g!=1)
    {
        printf("INF\n");
        return 0;
    }
    int ans = 0;
    for(int i=0;i<10000;i++)
        if(!f[i]) ans++;
    printf("%d\n",ans);
    return 0;
}