uva 11825 Hackers' Crackdown

数学模型：每个集合含0,1...n-1中的若干个元素。把n个已知集合分成尽量多组，使得每一组中集合的并都等于全集（已知的n个元素）

1.集合运算的总结（参见另一篇博文）

2.符号表示：

p[i]:第i个集合中的元素。p[i]的第k位=1 <=> 集合中含k元素

s:n个集合的子集 (0,1...1<<n-1)。s二进制的第k位=1 <=> 子集含有第k个集合

cover[s]:s对应的子集的并集 含有的所有元素

f[s]：n个集合的子集最多可以分成满足题意的组数。s的二进制数中第k为=1 <=> s子集含第k个集合

3.状态转移方程：

f[s]=max{ f[s|s0]+1,s0是s的子集，且s0中集合的并=全集}

#include<stdio.h>
#include<iostream>
#include<string.h>
#include<algorithm>
#include<map>
#include<vector>
#include<queue>
#define maxn 18
#define maxm 10001
#define ll long long
#define sf scanf
#define pf printf
#define INF 0x3f3f3f3f
#define mem(a,b) memset(a,b,sizeof(a))
const ll mod=1000000000;
#define clr(x) memset(x,0,sizeof(x))
using namespace std;

int n,cas;
int p[maxn],cover[1<<maxn];
int f[1<<maxn];
int main(){
    //freopen("a.txt","r",stdin);
    cas=0;
    while(scanf("%d",&n)!=EOF){
        if(!n) break;
        mem(p,0),mem(cover,0);
        for(int i=0;i<n;i++){
            int m,x;
            scanf("%d",&m);
            p[i]=1<<i;
            while(m--) { scanf("%d",&x); p[i]|=(1<<x); }
        }
        for(int i=0;i<(1<<n);i++){
            for(int j=0;j<n;j++){
                if(i&(1<<j)) cover[i]|=p[j];
            }
        }
        mem(f,0);
        for(int s=1;s<(1<<n);s++){
            for(int s0=s;s0;s0=(s0-1)&s){
                if(cover[s0]==((1<<n)-1)) f[s]=max(f[s],f[s^s0]+1);
            }
        }
        printf("Case %d: %d\n",++cas,f[(1<<n)-1]);
    }
}