1 #include<cstdio>
 2 #include<algorithm>
 3 using namespace std;
 4 #define rd(a) scanf("%d",&a)
 5 #define rep(i,a,b) for(int i=(a);i<=(b);i++)
 6 int v[25],a[300000];
 7 int main(){
 8     int T;
 9     rd(T);
10     rep(tt,1,T){
11         int n,k;
12         rd(n);rd(k);
13         for(int i=0;i<n;i++)rd(v[i]);
14         int cnt=0;
15         bool flag=0;
16         for(int i=0;i<(1<<n);i++){//枚举所有可能性
17             int tot=0;
18             for(int j=0;j<n;j++){
19                 if(i&(1<<j))tot+=v[j];
20             }
21             if(tot==k)flag=1;
22             if(tot<k)a[cnt++]=tot;
23         }
24         sort(a,a+cnt);
25         for(int i=0;i<cnt;i++)
26             if(binary_search(a,a+cnt,k-a[i]))flag=1;
27         printf("Case %d: %s\n",tt,flag?"Yes":"No");
28     }
29 }

 1 #include<cstdio>
 2 #include<algorithm>
 3 using namespace std;
 4 #define rd(a) scanf("%d",&a)
 5 #define rep(i,a,b) for(int i=(a);i<=(b);i++)
 6 int v[25],a[20000],b[20000],sum,pow3[20]={1};
 7 bool judge(int n,int k){
 8     if(sum<k)return 0;
 9     int cnta=0,cntb=0;
10     for(int i=0;i<pow3[n/2];i++){
11         int tot=0,t=i;
12         for(int j=n/2-1;j>=0;j--){
13             while(t>=pow3[j])
14                 tot+=v[j],t-=pow3[j];
15         }
16         if(tot==k)return 1;
17         if(tot<k)a[cnta++]=tot;
18     }
19     for(int i=0;i<pow3[n-n/2];i++){
20         int tot=0,t=i;
21         for(int j=n-1;j>=n/2;j--){
22             while(t>=pow3[j-n/2])
23                 tot+=v[j],t-=pow3[j-n/2];
24         }
25         if(tot==k)return 1;
26         if(tot<k)b[cntb++]=tot;
27     }
28     sort(b,b+cntb);
29     for(int i=0;i<cnta;i++)
30         if(binary_search(b,b+cntb,k-a[i]))return 1;
31     return 0;
32 }
33 int main(){
34     rep(i,1,18)pow3[i]=pow3[i-1]*3;
35     int T;
36     rd(T);
37     rep(tt,1,T){
38         int n,k;
39         rd(n);rd(k);
40         sum=0;
41
42         for(int i=0;i<n;i++){
43             rd(v[i]);
44             sum+=v[i]*2;
45         }
46         printf("Case %d: %s\n",tt,judge(n,k)?"Yes":"No");
47     }
48 }