Lightoj Coin Change - Binary Search, Bisection.

//题意最多用18个不同硬币，每个硬币最多用2次,求是否能用硬币组成
//n=18    K(1 ≤ K ≤ 109)   硬币大小 [1, 107]
//将硬币两等分后 枚举一组的所有情况->二分查询另一组的值是否存在
//复杂度m=(18/2)       x=3^m     *       log(x)
#include<stdio.h>
#include<string.h>
#include<algorithm>
using namespace std;

typedef __int64 lld;
const int maxn=20000;
int st[maxn];
int A1[maxn];
int A2[maxn];
int n,m;
int cnt;
int t1,t2;

void DFS(int s,int id){
	if(id>=t2){
		st[cnt++]=s;
		return ;
	}
	DFS(s,id+1);
	DFS(s+A2[id],id+1);
	DFS(s+A2[id]*2,id+1);
}
int flag;
void Solve(int s,int id){
	if(flag)return ;
	if(id>=t1){
		int tmp=lower_bound(st,st+cnt,m-s)-st;
		if(m-s==st[tmp]&& tmp<cnt)
			flag=1;
		return ;
	}
	Solve(s,id+1);
	Solve(s+A1[id],id+1);
	Solve(s+A1[id]*2,id+1);
}
int main()
{
	int T;

	int i,j;
	scanf("%d",&T);
	for(int cas=1;cas<=T;cas++){
		scanf("%d%d",&n,&m);
		if(n==1){
			scanf("%d",&A1[0]);
			if(A1[0]==m ||A1[0]+A1[0]==m) printf("Case %d: Yes\n",cas);
			else printf("Case %d: No\n",cas);
			continue;
		}
		t1=n/2; t2=n-n/2;
		for(i=0;i<t1;i++)
			scanf("%d",&A1[i]);
		for(i=0;i<t2;i++)
			scanf("%d",&A2[i]);
		cnt=0;
		DFS(0,0);
		sort(st,st+cnt);
		flag=0;
		Solve(0,0);
		if(flag)printf("Case %d: Yes\n",cas);
		else printf("Case %d: No\n",cas);
	}
	return 0;
}