It's not a Bug, it's a Feature! UVA - 658

题意：补丁在修补bug时，有时候会引入新的bug。假定有n（n<=20）个潜在bug和m（m<=100）个补丁，每个补丁用两个长度为n的字符串表示，其中字符串的每个位置表示一个bug。第一个串表示打补丁前的状态（“-”表示该bug必须不存在，“+”表示必须存在，“0”表示无所谓），第二个串表示打补丁后的状态（“-”表示不存在，“+”表示存在，“0”表示不变）。每个补丁都有一个执行时间，你的任务是用最少的时间把一个所有bug都存在的软件通过打补丁的方式变得没有bug。一个补丁可以打多次。

哎，做过的题，结果这次比赛出了居然看不出来。。看来本质才是最重要的

int cas;
char s1[M][N],t1[M][N];int tim[M];
int n,m;
int inq[1<<N];
int d[1<<N];
bool ok(int state,int id){
    for(int i=1;i<=n;++i){
        if(((state)&(1<<(i-1)))&&s1[id][n-i+1]=='-')return false;
        if(!((state)&(1<<(i-1)))&&s1[id][n-i+1]=='+')return false;
        //jkstate/=2;
    }
    return true;
}
void debug(int u){
    int tmp=u;
    for(int i=n;i>=1;--i){
        cout<<((tmp>>(i-1))&1);
    }puts("");
}
int change(int state,int id){
    int ret=0;
    //cout<<id<<' ';
    for(int i=1;i<=n;++i){
        ret*=2;
        if(t1[id][i]=='+')ret+=1;
        else if(t1[id][i]=='-')ret+=0;
        else{ ret+=((state>>(n-i))&1); }
    }
    //cout<<"ret :";debug(ret);
    return ret;
}
void spfa(){
    mem(d,inf);mem(inq,0);
    queue<int>q;
    q.push((1<<n)-1);
    d[(1<<n)-1]=0;
    while(!q.empty()){
        int u=q.front();q.pop();
        inq[u]=0;
        for(int i=1;i<=m;++i){
            if(!ok(u,i))continue;
            int v=change(u,i);
            if(d[v]>d[u]+tim[i]){
                d[v]=d[u]+tim[i];
                if(!inq[v]){
                    inq[v]=1;q.push(v);
                }
            }
        }
    }
    if(cas)puts("");
    pf("Product %d\n",++cas);
    if(d[0]!=inf){pf("Fastest sequence takes %d seconds.\n",d[0]);}
    else    puts("Bugs cannot be fixed.");
}
int main(){
    //freopen("in.txt","r",stdin);
    cas=0;
    while(~sf("%d%d",&n,&m)&&n+m){
        rep(i,1,m){ sf("%d%s%s",&tim[i],s1[i]+1,t1[i]+1); }
        spfa();
    }
}