LA 4794 Sharing Chocolate （状压DP）

题意：给你一块x * y的巧克力问是否经过若干次切割后能分成面积为a1,a2,....an的巧克力

思路：因为n很小，所以可以状态压缩，设dp[S][i]当宽为i的时候是否能分成集合为S的巧克力，因为宽度确定了的话，那么长度也就一定确定了，再者就是保证S集合的巧克力面积总和要可以整除i。这里还需要运用到一个枚举子集的技巧，这样才能高效枚举子集。

#include<cstdio>
#include<cstring>
#include<algorithm>
const int maxn = 1e2 + 10;
using namespace std;

int sum[1 << 16], dp[1 << 16][maxn];
int n, x, y, a[maxn], kase = 1;

int bit(int x) { return x ? bit(x >> 1) + (x & 1) : 0; }

int dfs(int S, int r) {
    if(dp[S][r] != -1) return dp[S][r];
    int &ans = dp[S][r];
    if(bit(S) == 1) return ans = 1;
    int c = sum[S] / r;
    for(int S0 = (S - 1) & S; S0; S0 = (S0 - 1) & S) {
        int S1 = S - S0;
        if(sum[S0] % r == 0 && dfs(S0, min(r, sum[S0] / r)) && dfs(S1, min(r, sum[S1] / r)))
            return ans = 1;
        if(sum[S0] % c == 0 && dfs(S0, min(c, sum[S0] / c)) && dfs(S1, min(c, sum[S1] / c)))
            return ans = 1;
    }
    return ans = 0;
}

int main() {
    while(scanf("%d", &n) && n) {
        memset(dp, -1, sizeof dp);
        memset(sum, 0, sizeof sum);
        scanf("%d %d", &x, &y);
        for(int i = 0; i < n; i++) {
            scanf("%d", &a[i]);
        }
        for(int S = 0; S < (1 << n); S++) {
            for(int i = 0; i < n; i++) {
                if(!(S & (1 << i))) continue;
                sum[S] += a[i];
            }
        }
        int ans;
        if(sum[(1 << n) - 1] != x * y) ans = 0;
        else ans = dfs((1 << n) - 1, min(x, y));
        printf("Case %d: %s\n", kase++, ans ? "Yes" : "No");
    }
    return 0;
}