UVa11825 (状态压缩 + dp)

题目链接（需翻墙）

题意：

数学模型：把n个集合P1，P2，P3。。。Pn分成尽量多组，使得每组中所有集合的并集等于全集。

题解：

cover（s）表示若干Pi的集合S中所有Pi的并集（二进制表示），即这些Pi在数值上的“按位或”。

不(hen)难想到这样的动态规划：用ans（s）表示子集s最多可以分成多少组，则ans（s） = max{ans（s - ss）| ss是s的子集，cover（ss）等于全集} + 1。这里有一个重要的技巧：枚举s的子集ss。

代码：

#include<cstdio>
#include<iostream>
#include<algorithm>
#include<cstring>
#include<cmath>
#include<queue>
#include<stack>
#include<vector>
#include<map>
#include<set>
#include<cstdlib>
#include<string>
#define INF 0x3f3f3f3f
#define MAXM 160000 + 10
#define MAXN 65536 + 10

using namespace std;
typedef long long ll;
const ll MOD = 1e9 + 7;

int main()
{
    int n, cas = 0;
    while(~scanf("%d", &n), n){

        int p[MAXN] = {0}, cover[MAXN] = {0}, ans[MAXN] = {0};
        for(int i = 0; i < n; i ++) p[i] = (1 << i);

        for(int i = 0; i < n; i ++){
            int k, temp; scanf("%d", &k);
            for(int j = 0; j < k; j ++)
                scanf("%d", &temp), p[i] |= (1 << temp);
        }

        for(int s = 0; s < (1 << n); s ++){
            for(int i = 0; i < n; i ++){
                if(s & (1 << i)) cover[s] |= p[i];
            }
        }

        int all = (1 << n) - 1;
        for(int s = 1; s < (1 << n); s ++){
            for(int ss = s; ss; ss = (ss - 1) & s){
                if(cover[ss] == all) ans[s] = max(ans[s], ans[s^ss] + 1);
            }
        }

        printf("Case %d: %d\n", ++cas, ans[all]);
    }
}

/*

The WAM is F**KING interesting .

*/