2016-2017 CCPC Finals H.Engineer Assignment【状压DP】

题意：n个工程，每个工程需要至多三种技术，m个工人，每个工人拥有技术，当工程招聘的工人覆盖所有需要的技术时工程可以实现，允许一个工人覆盖一个工程的多种技术，问至多有多少个工程可以实现。

分析：

只要最终答案而不要求分配方案，考虑dp；

n和m的范围只有10， 那么对于每个工程而言只有(1<<m)-1个状态，考虑状压dp；

暴力枚举每个工程的所有状态，check得到所有可行的状态，然后更新答案；

dp[i][j]表示前i个工程在状态j时至多实现dp[i][j]个；

#include<bits/stdc++.h>
#define pb push_back
using namespace std;
int n,m;
int a[20][20],b[20][20],tag[150];
int dp[20][1<<12];
vector<int> ans[20];
void init()//初始化清空
{
    memset(dp,0,sizeof(dp));
    for (int i=0;i<20;i++) ans[i].clear();
}
bool check(int x)//check当前第x个工程是否能完成
{
    for (int i=1;i<=a[x][0];i++) if(!tag[a[x][i]]) return false;
    return true;
}

int rua()
{
    scanf("%d%d",&n,&m);
    init();
    for (int i=0;i<n;i++)
    {
        scanf("%d",&a[i][0]);
        for (int j=1;j<=a[i][0];j++) scanf("%d",&a[i][j]);//每个工程需要的技术
    }
    for (int i=0;i<m;i++)
    {
        scanf("%d",&b[i][0]);
        for (int j=1;j<=b[i][0];j++) scanf("%d",&b[i][j]);//每个工人拥有的技术
    }
    for (int i=0;i<n;i++)//枚举每个工程
        for (int j=0;j<(1<<m);j++)//枚举每个状态
        {
            memset(tag,0,sizeof(tag));//标记第i个工程在状态j时工人具有的技术
            int num=0;
            for (int k=0;k<m;k++)//枚举每个工人
                if(j&(1<<k))//当前状态可行
                {
                    num++;
                    for (int l=1;l<=b[k][0];l++) tag[b[k][l]]=1;
                }
            if(num>3) continue;//剪枝
            if(check(i)) ans[i].pb(j);//j状态可以满足i工程 暂存答案
        }
    for(int i=0;i<n;i++)
        for (int j=0;j<(1<<m);j++)
        {
            for (auto k:ans[i])
            {
                if((j|k)==j)//j状态满足i工程
                {
                    if(i) dp[i][j]=max(dp[i][j],dp[i-1][j-k]+1);//更新前i个工程中完成i工程时的最大值
                    else dp[i][j]=1;
                }
            }
            if(i) dp[i][j]=max(dp[i][j],dp[i-1][j]);//与前i个工程不完成i工程取最大值
        }
    return dp[n-1][(1<<m)-1];
}
int main()
{
    int t;scanf("%d",&t);
    for (int id=1;id<=t;id++) 
    {
        int ans=rua();
        printf("Case #%d: %d\n",id,ans);
    }
    return 0;
}