【UVa658】【SPFA】【状态压缩】It's not a Bug,it's a Featurel.

此题源自UVa658，嗯还可以从这里看到->刘汝佳出的紫书P365例题11-6。
链接：戳我戳我qwq
此题，首先如果直接dfs明显会超，boom！

---

我认为比较巧妙的地方在于：

1.用二进制来表示状态：bug的存在√

2.将’+’单独分类，’0’、’+’再合并分类，分别通过or(|)、 and(&)操作来完成，详细的地方看看代码，有批注哒。特别是对于’-‘的转化处理，可棒了！

3.在这题可以使用dijkstra和SPFA，而我选择了SPFA，相比这两个，虽然后者不如前者稳定，但我仍然认为SPFA只会更优，尤其是状态较多的时候。当然这个也要大家自己感觉吧，很可能我的判断是错的qwq

---

代码代码！：

#include<iostream>//UVa658 紫P365#include<cstdio>#include<cstring>#include<string>#include<queue>#define LL long longusing namespace std;const int N=21,M=105,INF=1e9;int pre[M][2],now[M][2],tot;LL d[1<<N],t[M];char b1[N],b2[N];bool sym[1<<N];//!!!!void bfs(int n,int m)  //SPFA{    queue<int>q;    for(int i=0;i<(1<<n);i++)    d[i]=INF;    int ww=(1<<n)-1;    d[ww]=0;    q.push(ww);sym[ww]=true;    while(!q.empty())    {        int k=q.front();q.pop();        sym[k]=false;        for(int i=1;i<=m;i++)        if((k|pre[i][0])==k&&(k&pre[i][1])==k)//!!        {            int v=k;            v|=now[i][0];//after存在的必存在             v&=now[i][1];//去掉不存在的             if(d[v]>d[k]+t[i])            {                d[v]=d[k]+t[i];                if(!sym[v])q.push(v);            }         }    }}int main(){    freopen("1.in","r",stdin);    freopen("1.out","w",stdout);    int n=0,m=0;    while(scanf("%d%d",&n,&m)==2&&(n||m))    {        tot++;        printf("Product %d\n",tot);        for(int i=1;i<=m;i++)        {            scanf("%d%s%s",&t[i],&b1,&b2);            pre[i][0]=pre[i][1]=now[i][1]=now[i][0]=0;            for(int j=0;j<n;j++)            {                if(b1[j]=='+')pre[i][0]|=1<<j; //必须存在                 if(b1[j]!='-')pre[i][1]|=1<<j; //存在+随意                 if(b2[j]=='+')now[i][0]|=1<<j;                if(b2[j]!='-')now[i][1]|=1<<j;            }        }        bfs(n,m);        if(d[0]<INF)printf("Fastest sequence takes %lld seconds.\n",d[0]);        else printf("Bugs cannot be fixed.\n");        printf("\n");    }    return 0;}

---

吐槽：
之前测试的时候一个数组开小了就一直Wrong嘤嘤TAT，改了好一会来着，其实我觉得这道题比较有价值所以写一写23333。
最有趣的是这个神(ri)奇(gou)的输出…

如果有什么意见可以在评论提出哟，渣渣在此跪谢啦~