UVA 11825 集合枚举 状态压缩 dp

枚举子集的飘逸写法

http://www.cnblogs.com/jffifa/archive/2012/01/16/2323999.html

这个里面先处理出来选择某台计算机可以覆盖到的计算机的范围。

选择某个计算机集合可以覆盖到的计算机的范围

dp[s] 代表选择某个计算机集合，最多可以覆盖多少次全集。

dp[s]=max(dp[s],dp[s0^s]+1) s0 是s 的子集，s0^s 是s0 在 s 中的补集。

#include <stdio.h>
#include <iostream>
#include <queue>
#include <algorithm>
#include <map>
#include <vector>
#include <cmath>
#include <string.h>
#include <stdlib.h>
#include <time.h>
#include <fstream>
#include <stack>
using namespace std;

#define READ freopen("acm.in","r",stdin)
#define WRITE freopen("acm.out","w",stdout)
#define ll long long
#define PII pair<int,int>
#define PDI pair<double,int>
#define PDD pair<double,double>
#define MII map<int,int>::iterator 
#define fst first
#define sec second
#define MS(x,d) memset(x,d,sizeof(x))
#define INF 0x3f3f3f3f
#define ALL(x) x.begin(),x.end()
#define lson l,m,rt<<1
#define rson m+1,r,rt<<1|1
#define MAX 500000
#define ROOT 0,n-1,1
#define PB push_back
#define FOR(a,b,c) for(int a=b;a<c;a++)
#define MOD 706679
#define keyTree (ch[ ch[root][1] ][0])

int p[50];
int cover[1<<17];
int dp[1<<17];
int main()
{
    READ;
    int n;
    int T=0;
    while(scanf("%d",&n)&&n)
    {
        cout<<"Case "<<++T<<": ";
        //cout<<"n "<<n<<endl;
        MS(p,0),MS(cover,0),MS(dp,0);
        for(int i=0;i<n;i++)
        {
            //cout<<i<<" ";
            int m;
            scanf("%d",&m);
            p[i]|=(1<<i);
            for(int j=0;j<m;j++)
            {
                int t;
                scanf("%d",&t);
                p[i]|=(1<<t);
            }
        }
        //cout<<endl;
        for(int i=0;i<(1<<n);i++)
        {
            for(int j=0;j<n;j++)
            {
                if(i&(1<<j))
                {
                    cover[i]|=p[j];
                }
            }
        }
        for(int i=1;i<(1<<n);i++)
        {
            for(int s=i;s!=0;s=(s-1)&i)
            {
                if(cover[s]==(1<<n)-1)
                {
                    dp[i]=max(dp[i],dp[i^s]+1);
                }
            }
        }
        cout<<dp[(1<<n)-1]<<endl;
    }
    return 0;
}