UVA 1099【状态压缩】

题意：有一块x*y的巧克力，问你是否可以分成n块大小分别为aI的小巧克力

分析：n<=15,很小，可以用二进制记录每种组合情况，定义dp[s][x]表示s集合的巧克力能否组成边长为x的大巧克力。

然后枚举s的子集，判断子集能否构成。

代码：

#include<algorithm>
#include<iostream>
#include<cstring>
#include<cstdio>
#include<string>
#include<vector>
#include<queue>
#include<cmath>
#include<stack>
#include<set>
#include<map>
#define INF 0x3f3f3f3f
#define Mn 1<<15
#define Mm 2000005
#define mod 1000000007
#define CLR(a,b) memset((a),(b),sizeof((a)))
#define CPY(a,b) memcpy ((a), (b), sizeof((a)))
#pragma comment(linker, "/STACK:102400000,102400000")
#define ul u<<1
#define ur (u<<1)|1
using namespace std;
typedef long long ll;
int a[20];
int sum[Mn];
int dp[Mn][105];
int lowbit(int x) {
    return x&(-x);
}
int countbit(int x) {
    int re=0;
    while(x) {
        re++;
        x-=lowbit(x);
    }
    return re;
}
int dfs(int s,int x) {
    if(dp[s][x]!=-1) return dp[s][x];
    if(countbit(s)==1) return dp[s][x]=1;
    int y=sum[s]/x;
    dp[s][x]=0;
    for(int s0=(s-1)&s;s0;s0=(s0-1)&s) {
        int s1=s^s0;
        if(sum[s0]%x==0&&dfs(s0,min(x,sum[s0]/x))&&dfs(s1,min(x,sum[s1]/x)))
            return dp[s][x]=1;
        if(sum[s0]%y==0&&dfs(s0,min(y,sum[s0]/y))&&dfs(s1,min(y,sum[s1]/y)))
            return dp[s][x]=1;
    }
    return dp[s][x]=0;
}
int main() {
    int n,x,y,cas=0;
    while(scanf("%d",&n)) {
        if(n==0) break;
        cas++;CLR(sum,0);
        scanf("%d%d",&x,&y);
        for(int i=0;i<n;i++)
            scanf("%d",&a[i]);
        for(int s=1;s<(1<<n);s++)
            for(int i=0;i<n;i++)
                if(s&(1<<i)) sum[s]+=a[i];
        int flag=1;
        int all=(1<<n)-1;CLR(dp,-1);
        if(sum[all]!=x*y||sum[all]%x) flag=0;
        else if(!dfs(all,min(x,y))) flag=0;
        printf("Case %d: ",cas);
        if(flag) printf("Yes\n");
        else printf("No\n");
    }
    return 0;
}