题意:n种包子数,哪些数是n种包子数凑不出来的,例如:2,3可以凑出5,但是不能凑出1
这里的知识点根本不是背包问题,而是数学问题。
裴蜀定理:ax+by=t,该等式中a,b表示包子数,x,y表示倍数,t表示可以凑出的数
定理:a和b的公约数是与t有关系,关系是__gcd(a,b)==1表示能凑出的数有无限个,__gcd(a,b)>1表示能凑出的数是有限个。(有实力看原理没实力背定理 [我没实力] )
由此可得:当__gcd(a,b)>1直接打印 INF 结束,反之求有限个数
求有限个数方法:做标记设dp[0]=1 0是一定能凑出来的数,然后将包子种数都遍历一遍
#include<bits/stdc++.h>
using namespace std;
const int N=100005;
int _gcd(int a,int b){//cpp库里有__gcd但是不确定蓝桥杯是否允许使用,原理辗转相除法
if(b)return _gcd(b,a%b);
else return a;
}
bool check(vector<int>& nums){//判断nums函数的公约数是否为1
int g=0;
for(int x:nums){
g=_gcd(g,x);
if(g==1)return false;//优化,当g==1时,后面再怎么算也等于1
}
return g>1;
}
int main(){
int n;
cin>>n;
vector<int> nums(n);
for(int i=0;i<n;++i)cin>>nums[i];
if(check(nums)){
cout<<"INF"<<endl;
return 0;
}
vector<int> dp(N);
dp[0]=1;
for(int i=0;i<n;++i){
for(int j=nums[i];j<=N;++j){//做标记
dp[j]=max(dp[j],dp[j-nums[i]]);
}
}
int ans=0;
for(int& v:dp){//找到没做标记的,然后返回答案
if(!v)++ans;
}
cout<<ans<<endl;
return 0;
}