UVa OJ 658

1、本题是一道最短路问题，实际上就是求始态（11111）到终态（00000）的最短路，一个状态（01组合）就是一个结点。
2、可以用FIFO队列优化的Bellman_Ford（就是SPFA啦）做，因为时间是正数所以不存在负权回路。
3、转化的条件是‘+’的地方一定是1，‘-’的地方一定是0，而‘0’的地方则无关紧要，为此要使用位运算。关于位运算的技巧我摘抄某ACMer的解题报告吧：
①判定某些位置是否为1，如判定2、4位置为1，则转化为判断x|0101是否等于x。
②判定某些位置是否为0，如判定2、4位置为0，则转化为判断x&1010是否等于x。
③将某些位置转化为1，如2、4位置转化为1，则令x=x|0101。
④将某些位置转化为0，如2、4位置转化为0，则令x=x&1010。
就说这么多，具体程序该怎么写，自己琢磨下，也可以看看我的（其实我也是仿照某大牛写的）。自己想出来的话收获会很大。
4、就结果来看还比较好，一次AC~为了做这道我还把《算法导论》的最短路部分通读了一遍。


#include<cstdio>
#include<queue>
#include<cstring>
using namespace std;
int b[110][2],p[110][2],t[110];
char s1[25],s2[25];
int n,m;
const int INF=1000000000;
queue<int> q;
bool inq[1<<20];
int d[1<<20];
void Bellman_Ford(){
     int maxn=(1<<n)-1;
     while(!q.empty()) q.pop();
     for(int i=0;i<(1<<20);i++){d[i]=INF;inq[i]=false;}
     q.push(maxn);d[maxn]=0;
     while(!q.empty()){
        int x=q.front();q.pop();
        inq[x]=false;
        for(int i=0;i<m;i++){
            int v;
            int v1=x|b[i][0],v2=x&b[i][1];
            if(v1==x&&v2==x){
                v=x|p[i][0];
                v=v&p[i][1];
                if(d[v]>d[x]+t[i]){
                    d[v]=d[x]+t[i];
                    if(!inq[v]){
                       inq[v]=true;
                       q.push(v);
                    }
                }
            }
        }
     }
}
int main(){
    int cnt=0;
    while(scanf("%d%d",&n,&m)==2){
        if(n==0&&m==0) break;
        memset(b,0,sizeof(b));
        memset(p,0,sizeof(p));
        for(int i=0;i<m;i++){
            scanf("%d%s%s",&t[i],s1,s2);
            for(int j=0,k=n-1;j<n;j++,k--){
                if(s1[j]=='+') b[i][0]|=(1<<k);
                if(s2[j]=='+') p[i][0]|=(1<<k);
                if(s1[j]!='-') b[i][1]|=(1<<k);
                if(s2[j]!='-') p[i][1]|=(1<<k);
            }
        }
        Bellman_Ford();
        printf("Product %d\n",++cnt);
        if(d[0]!=INF)
            printf("Fastest sequence takes %d seconds.\n\n",d[0]);
        else
            printf("Bugs cannot be fixed.\n\n");
    }
    return 0;
}