[HDU 5090] Game with Pearls (贪心)

题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=5090

题目大意：给你n个数，问你给若干个数增加c*k(c>=0)能否组成1,2,3,4,5,...,n？

今天下午作比赛的时候，我先用了个dfs，看这个a[i]匹配的是1到n的哪个数。

后来TLE到死。。。

仔细想想，首先，如果这个数是小的数的话，那么它可以匹配很多种，因此如果先将它匹配掉了会浪费，因为它“能力”大。

因此就可以排个序，从大到小进行匹配。

我也不知道怎么用数学语言去证明。。。

 #include <iostream>
 #include <cstdio>
 #include <cstring>
 #include <cstdlib>
 #include <algorithm>
 #include <map>
 #include <set>
 #include <queue>
 #include <string>
 #include <functional>
 using namespace std;

 int vis[];
 int a[];
 int N,K;
 bool flag;

 int main(){
     int M;
     scanf("%d",&M);

     while(M--){
         flag = true;
         memset(vis,,sizeof(vis));
         scanf("%d%d",&N,&K);
         for(int i=;i<N;i++){
             scanf("%d",&a[i]);
         }
         sort(a,a+N,greater<int>() );
         int i;
         for(i=N;i>=;i--){
             for(int j=;j<N;j++){
                 if( a[j]<=i&&!vis[j]&&(i-a[j])%K== ){
                     vis[j]=;
                     break;
                 }
             }
         }
         for(int i=;i<N;i++){
             if( !vis[i] ) {
                 flag = ;
                 break;
             }
         }
         if(flag) puts("Jerry");
         else puts("Tom");
     }
     return ;
 }

 /*
 10
 3 1
 1 2 3
 3 1
 0 0 0
 3 2
 2 2 3
 3 2
 0 1 3
 5 1
 1 2 3 4 5
 6 2
 1 2 3 4 5 5
 */