包子凑数--完全背包

标题：包子凑数
小明几乎每天早晨都会在一家包子铺吃早餐。他发现这家包子铺有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，所有奇数都凑不出来，所以有无限多个。

分析：我们先考虑特殊情况，就是结果为INF的时候是怎样的：只要包子笼的容量中存在一对数据最大公约数为1，即互质，那么这个包子数目就是可以凑数出来的。其实这里运用到一个数学定理：欧几里得定理（辗转相除法）。简单点说就是，如果给出的容量都为偶数或者都为奇数，那么此时是不可能凑出数目为奇数的包子数目的。这个就不用解释了吧。接下来就是简单的完全背包模板了，把能凑出来的都进行标记即可。看代码：

import java.util.*;

public class Main {
	static Scanner in = new Scanner(System.in);
	static int maxn = 10010;
	static int[] dp = new int[maxn];
	static int[] a = new int[105];
	static int n;
	static int gcd(int a,int b) {//欧几里得定理
		return b==0?a:gcd(b,a%b);
	}
    public static void main(String[] args) {
    	n = in.nextInt();
    	a[1] = in.nextInt();
    	int k = a[1],ans =0 ;
    	boolean f = false;
    	for(int i = 2;i <= n;i++) {
    		a[i] = in.nextInt();
    		k = gcd(k,a[i]);
    		if(k==1) f = true;//只要存在最大公约数为1的，就可以凑出来
    		k = a[i];
        }
    	if(!f)
    		System.out.println("INF");
    	else {
    		dp[0] = 1;//边界值
    		for(int i = 1;i <= n;i++)
    			for(int j = a[i];j < maxn;j++)
    				if(dp[j-a[i]]==1)//如果可以凑出来，进行标记
    					dp[j] = 1;//当前容量可以
    		for(int i = 0;i <= 10000;i++)
    			if(dp[i]!=1)
    				ans++;
    		System.out.println(ans);
    	}
    }
}