UVa 11795 状压DP Mega Man's Mission

kill[S]表示消灭机器人的集合为S，剩下的所能杀死的机器人集合。

设d(S)表示杀死机器人集合为S的方法数，答案为d((1<<n) - 1)。

d(S)可以由d(S')转移过来，其中S'为S中少一个机器人的子集，而且S'的状态下能够杀死缺少的这个机器人。

#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std;

const int maxn = 16;
const int maxs = (1 << 16);

int n;

int kill[maxs + 10], p[maxn + 10];
long long d[maxs + 10];

char s[maxn + 10];

int main()
{
    int T; scanf("%d", &T);
    for(int kase = 1; kase <= T; kase++)
    {
        scanf("%d", &n);
        for(int i = 0; i <= n; i++)
        {
            p[i] = 0;
            scanf("%s", s);
            for(int j = 0; j < n; j++) if(s[j] == '1') p[i] |= (1 << j);
        }
        int all = (1 << n) - 1;
        for(int i = 0; i <= all; i++)
        {
            kill[i] = p[0];
            for(int j = 0; j < n; j++) if(i & (1 << j))
                kill[i] |= p[j+1];
        }

        memset(d, 0, sizeof(d));
        d[0] = 1;
        for(int S = 1; S <= all; S++)
        {
            for(int i = 0; i < n; i++) if(S & (1 << i))
            {
                int _S = S ^ (1 << i);
                if(kill[_S] & (1 << i)) d[S] += d[_S];
            }
        }
        printf("Case %d: %lld
", kase, d[all]);
    }

    return 0;
}