UVA 658 It's not a Bug, it's a Feature!（状压+隐式图+最短路）

题目地址：https://uva.onlinejudge.org/index.php?option=com_onlinejudge&Itemid=8&page=show_problem&problem=599

思路：所有状态构成点数2^n，但有些状态可能无法到达，所以无需存储全部点，只需在扩展当前状态时，枚举所有补丁，看补丁是否能打上即可。使用状压表示全部bug，初始时每一位全部为1,，则答案为到节点0的距离。从一状态到下一可行状态时，首先全部初始为每一位为1，则仅需补丁为‘-’时进行更改即可（取异或）。

#include<map>
#include<cstdio>
#include<queue>
#include<cstring>
#include<iostream>
#include<algorithm>
using namespace std;
const int maxn=1100000;
const int INF=0x3f3f3f3f;
struct Node
{
    int t;
    char st[25],ed[25];
};
int n,m;
Node pat[100+50];
int dist[maxn],vis[maxn];
inline int check(int x,string y)
{
    int tmp;
    for(int i=0; i<n; i++)
    {
        if(y[i]!='0')
        {
            if(y[i]=='+') tmp=1;
            else tmp=0;
            if(((x>>(n-i-1))&1)!=tmp) return 0;
        }
    }
    return 1;
}
inline int change(int x,string st)
{
    int y=(1<<n)-1;
    for(int i=0; i<n; i++)
    {
        if(st[i]!='0')
        {
            if(st[i]=='-') y=y^(1<<(n-i-1));
        }
        else
        {
            if(((x>>(n-i-1))&1)==0)
            {
                y=y^(1<<(n-i-1));
            }
        }
    }
    return y;
}
void SPFA(int s)
{
    queue<int> q;
    memset(vis,0,sizeof(vis));
    for(int i=0; i<=(1<<n); i++) dist[i]=INF;
    q.push(s),vis[s]=1,dist[s]=0;
    while(!q.empty())
    {
        int now=q.front();
        q.pop(),vis[now]=0;
        for(int i=0; i<m; i++)
        {
            if(check(now,pat[i].st))
            {
                int v=change(now,pat[i].ed);
                if(dist[v]>dist[now]+pat[i].t)
                {
                    dist[v]=dist[now]+pat[i].t;
                    if(!vis[v])
                    {
                        vis[v]=1;
                        q.push(v);
                    }
                }
            }
        }
    }
}
int main()
{
    int cas=0;
    while(scanf("%d%d",&n,&m)!=EOF&&n)
    {
        printf("Product %d\n",++cas);
        for(int i=0; i<m; i++)
            scanf("%d%s%s",&pat[i].t,pat[i].st,pat[i].ed);
        SPFA((1<<n)-1);
        if(dist[0]>=INF) printf("Bugs cannot be fixed.\n\n");
        else printf("Fastest sequence takes %d seconds.\n\n",dist[0]);
    }
    return 0;
}