uva 11825

从最优解的结果考虑，f(s)表示节点集合s最多可分为多少组，如果s中节点及其所连节点的并集是节点的全集的话说明s至少可分为一组，反之，可知f(s)=0,当确定s至少可分一组时，可知其最优解的组成肯定是s的某一子集s0(s0中各节点及其联接的节点的并集为全集且s0只能分成一组否则会造成浪费)+(s-s0),那么f(s)=max{f(s-s0)+1.

#include <iostream>
#include <cstdio>
using namespace std;
const int maxn=20;
int n;
int p[maxn];
int f[1<<maxn],cover[1<<maxn];
int max(int a,int b) { return a>b?a:b; }
int main()
{
	int cas=0;
	while(cin>>n&&n)
	{  
		int i,j;
		int m,v;
		for(i=0;i<n;i++)
		{
			cin>>m;
			p[i]=1<<i;
			for(j=0;j<m;j++)
			{
				cin>>v;
				p[i]|=(1<<v);
			}
		}
		for(i=0;i<(1<<n);i++)
		{
			cover[i]=0;
			for(j=0;j<n;j++)
			{
				if(i&(1<<j)) cover[i]|=p[j];
			}
		}
		int all=(1<<n)-1;
		f[0]=0;
		for(i=1;i<(1<<n);i++)
		{
			if(cover[i]==all)
			{f[i]=1;
			for(j=(i-1)&i;j;j=(j-1)&i)
			{
				if(f[j]==1) f[i]=max(f[i],f[j^i]+1);
			}
			}
			else f[i]=0;
		}
		printf("Case %d: %d\n",++cas,f[all]);
	}
	return 0;
}