1117. Game Prediction

import java.io.*;
import java.util.*;

public class Main {

    /**
     * http://acm.tju.edu.cn/toj/showp1117.html
     * @author hunglee
     */
    public static void main(String[] args) throws IOException {
        
        StreamTokenizer in = new StreamTokenizer(new BufferedReader(
                new InputStreamReader(System.in)));
        
        int m, n, t = 1;
        do {
            in.nextToken();
            m = (int) in.nval;
            in.nextToken();
            n = (int) in.nval;
            if (m == 0 && n == 0) break;
            
            boolean[] exist = new boolean[m * n + 1];
            int arr[] = new int[n];
            for (int i = 0; i < n; ++i) {
                in.nextToken();
                arr[i] = (int) in.nval;
                exist[arr[i]] = true;
            }
            int max = m * n;
            int res = 0, j;
            Arrays.sort(arr);
            for (int i = n - 1; i >= 0; --i) {
                j = arr[i] + 1;
                while (j <= max && exist[j]) ++j;
                if (j <= max)
                    exist[j] = true;
                else
                    res++;
            }
            System.out.println("Case " + t++ + ": " + res);
        } while (true);
    }

}