uva658

题目大意：
首先给出n和m，表示有n个bug和m个补丁。一开始存在n个bug，用1表示一个bug存在0表示不存在，所以一开始就是n个1，我们的目的是要消除所有的bug，所以目标状态就是n个0。对于每个补丁，会给出使用这个补丁的时间，另外会给出两个长度为n的字符串，第一个字符串表示这个补丁适用于什么情况下的bug，第二个字符串表示使用完这个补丁后原来的bug会变成怎么样。先说第一个字符串，s[i]=’0’，表示第i个bug存在与否都无所谓；s[i]=’+’，表示第i个bug一定要存在；s[i]=’-‘，表示第i个bug必须不存在；能不能使用这个补丁，就要看当前bug的状态是不是能不能全部满足第一个字符串，能的话就可以使用。第二个字符串表示使用完后的情况，ss[i]=’0’，表示第i个bug保持不变，原来是1就1是0就0；ss[i]=’+’，表示第i个bug必须为1；ss[i]=’-‘，表示第i个bug必须为0。

最终题目要求解的就是消除所有的bug并且用时最短，输出最短时间，如果bug不可能被完全消除那么就输出失败

思路：
用二进制记录bug的状态。
第一个字符串：
将+的地方保存进入s[1][i]
将+和0的地方保存进入s[0][i]
第二个字符串:
同上，分别保存进入t[1][i] 和t[0][i]
如果一个状态 u|s[1][i] == u的话 s[1][i]等于1的地方u也等于1
u & s[0][i] == u 的话，证明s[0][i]为0的地方u也必定等于0
两个条件合起来“就可以证明u满足第一个字符串的要求
然后就可以将u变成第二种字符串的状态
v = u;
v |= t[1][i];
v &= t[0][i];

用dp[i]表示到达状态i需要走几步。
if(dp[u] + w[i] < dp[v])
dp[v] = dp[u] + w[i];
所以最后的答案是dp[0]。

代码：

#include <iostream>
using namespace std;
#include <cstring>
#include <stdio.h>

const int INF = 0x3f3f3f3f;
int n,m;
int s[2][110],t[2][110];
int w[110];
char a[50],b[50];
int q[2000000],vis[2000000],dp[3000000];
void SP() {
    int front,rear,MAX;
    int u,v;
    MAX = 1 << n;
    for(int i = 0; i < MAX; i++) {
        vis[i] = 0;
        dp[i] = INF;
    }
    front = rear = 0;
    dp[MAX - 1] = 0;
    q[rear++] = MAX - 1;
    while(front != rear) {
        u = q[front++];
        if(front > MAX)
            front = 0;
        vis[u] = 0;
        for(int i = 0; i < m; i++) {
            if((u | s[1][i]) == u && (u &(s[0][i])) == u) {
                v = u;
                v |= t[1][i];
                v &= t[0][i];
                if(dp[u] + w[i] < dp[v]) {
                    dp[v] = dp[u] + w[i];
                    if(!vis[v]) {
                        q[rear++] = v;
                        if(rear > MAX)
                            rear = 0;
                        vis[v] = 1;
                    }
                }
            }
        }
    }
    if(dp[0] == INF)
        printf("Bugs cannot be fixed.\n");
    else
        printf("Fastest sequence takes %d seconds.\n",dp[0]);
}
int main() {

    int T = 0;
    while(scanf("%d %d",&n,&m) && n && m) {
        memset(s,0,sizeof(s));
        memset(t,0,sizeof(t));
        for(int i = 0; i < m ; i++) {
            scanf("%d%s%s",&w[i],a,b);
            for(int j = 0; j < n; j++) {
                if(a[j] == '+')
                    s[1][i] += (1 << j);
                if(a[j] != '-')
                    s[0][i] += (1 << j);
                if(b[j] == '+')
                    t[1][i] += (1 << j);
                if(b[j] != '-')
                    t[0][i] += (1 << j);
            }
        }
        printf("Product %d\n",++T);
        SP();
        printf("\n");
    }
    return 0;
}