UVA 11825 状态压缩DP+子集思想

很明显的状态压缩思想了。把全集分组，枚举每个集合的子集，看一个子集是否能覆盖所有的点，若能，则f[s]=max(f[s],f[s^s0]+1)。即与差集+1比较。

这种枚举集合的思想还是第一次遇到，果然太弱了。。。。~~~~

其中枚举集合

for(s0=s;s0;s0=(s0-1)&s)

#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>

using namespace std;

const int N=16;
int pt[1<<N];
int cover[1<<N];
int f[1<<N];

int main(){
int n,x,icase=0;
while(scanf("%d",&n),n){
int c,s;
for(int i=0;i<n;i++){
scanf("%d",&c);
s=(1<<i);
for(int k=0;k<c;k++){
scanf("%d",&x);
s|=(1<<x);
}
pt[i]=s;
}
memset(cover,0,sizeof(cover));
for(int i=0;i<(1<<n);i++){
for(int j=0;j<n;j++){
if((1<<j)&i){
cover[i]|=pt[j];
}
}
}
memset(f,0,sizeof(f));
for(int s=0;s<(1<<n);s++){
f[s]=0;
for(int s0=s;s0;s0=(s0-1)&s){
if(cover[s0]==(1<<n)-1) f[s]=max(f[s],f[s0^s]+1);
}
}
printf("Case %d: %d\n",++icase,f[(1<<n)-1]);
}
return 0;
}