蓝桥练习题—包子凑数

0包子凑数 - 蓝桥云课 (lanqiao.cn)

思路：dp动态规划，因为蒸笼的数量是无限的，所以若第i个包子能凑出来，则第i-bucket[j]个包子也一定能凑出来，且0个包子一定能凑出来所以baozi [i] =baozi [i] ||baozi [i-bucket [j]];

其中，若蒸笼中能装的包子数不互质（求最小公约数）则有无限多种可能凑不出来，如4，6，8凑不出所有基数

（也是从其他大佬那里学到的，不知道具体是什么原理，有没有了解的大佬在评论区说一下）

c++代码：

#include<iostream>
#include<algorithm>

using namespace std;
int N;
#define F 100000
int bucket[F+10];//每个蒸笼bucket[i]能放的包子
bool baozi[F+10];//baozi[i]有i个包子是否能凑出来
long long ans=0;
int g;
int main()
{
  // 请在此输入您的代码
  cin>>N;
  for(int i=1;i<=N;i++){
    cin>>bucket[i];
    if(i==1)
    g=bucket[i];
    else
    g=__gcd(g,bucket[i]);//求蒸笼之间最小公约数
  }

  if(g!=1){//如果最小公约数不为1，则不互质，有无限多种包子的数量凑不出来
    cout<<"INF";
    return 0;
  }
  
  baozi[0]=true;//0个包子一定能凑出来
  for(int i=1;i<=N;i++){//遍历每个蒸笼
    for(int j=bucket[i];j<=F;j++){//前面的已经计算过了，直接从bucket[i]遍历
      baozi[j]=baozi[j]|baozi[j-bucket[i]];//如果baozi[j-bucket[i]]能凑出来，那baozi[j]一定能凑出来
    }
  }

  for(int i=1;i<=F;i++){//最后遍历baozi数组为0，则不能凑出来
    if(!baozi[i])
    ans++;
  }

  cout<<ans<<endl;

  return 0;
}