Headmaster's Headache

题意：

s门课程，现任老师有m个给出工资，和他们能教的课，现在有n个应聘的老师，给出费用和能教的课程标号，求使每门课都至少有两个老师教的最小花费

分析：

n个老师选或不选有背包的特征，n很小想到用状压，s1表示每门课至少有一个老师教的情况，s2表示每门课至少有2个老师教的情况

起始状态是现任老师形成，dp[(j|ca[i])][(ca[i]&j)|k]=min(dp[(j|ca[i])][(ca[i]&j)|k],dp[j][k]+cost[i]); ca[i]是i个应聘者能教课程的状态

#include <map>
#include <set>
#include <list>
#include <cmath>
#include <queue>
#include <stack>
#include <cstdio>
#include <vector>
#include <string>
#include <cctype>
#include <complex>
#include <cassert>
#include <utility>
#include <cstring>
#include <cstdlib>
#include <iostream>
#include <algorithm>
using namespace std;
typedef pair<int,int> PII;
typedef long long ll;
#define lson l,m,rt<<1
#define pi acos(-1.0)
#define rson m+1,r,rt<<11
#define All 1,N,1
#define read freopen("in.txt", "r", stdin)
const ll  INFll = 0x3f3f3f3f3f3f3f3fLL;
const int INF= 0x3f3f3f3f;
const int mod =  ;
int dp[<<][<<],s,m,n;
int ca[],cost[],total;
void solve(int s1,int s2){
    int ts=(<<s)-;
    memset(dp,0x3f,sizeof(dp));
    dp[s1][s2]=total;
    for(int i=m+;i<=n+m;++i)
        for(int j=ts;j>=;--j)
        for(int k=ts;k>=;--k)
        {
            if(dp[j][k]>=INF)continue;
            dp[(j|ca[i])][(ca[i]&j)|k]=min(dp[(j|ca[i])][(ca[i]&j)|k],dp[j][k]+cost[i]);
        }
    printf("%d\n",dp[ts][ts]);
}
int main()
{
    char str[];
    int num[];
    while(~scanf("%d%d%d",&s,&m,&n)){
        if(s==&&m==&&n==)break;
         total=;
        int s1=,s2=;
        memset(num,,sizeof(num));
        for(int i=;i<=n+m;++i){
            scanf("%d",&cost[i]);
            gets(str);
            ca[i]=;
            for(int j=;j<strlen(str);++j){
                if(isdigit(str[j])){
                    int tmp=str[j]-'';
                    ca[i]|=(<<(tmp-));
                    if(i<=m)
                        num[tmp-]++;
                }
            }
            if(i<=m){
                total+=cost[i];
                s1|=ca[i];
            }
        }
        for(int i=;i<s;++i)
            if(num[i]>)
                s2|=(<<i);
        solve(s1,s2);
    }
return ;
}