隐式的图搜索，存不下边，所以只有枚举转移就行了，因为bug的存在状态可以用二进制表示，转移的时候判断合法可以用位运算优化，

二进制pre[i][0]表示可以出现的bug，那么u&pre[i][0] == u就表示u是可以出现的bug集合的子集，

pre[i][1]表示必须出现的bug，那么u|pre[i][i] != u表示把必须出现的bug添加到u中，u中bug增加表面bug不全在u中，这是不合法的。

正权最短路就dijkstra，用spfa以前某题狂T有阴影。被输出格式坑得不要不要的，如果是if(kas) putchar('\n');就会WA...

#include
     
      using namespace std;const int maxm = 100;const int maxn = 20;int pre[maxm][2],nxt[maxm][2];int cost[maxm];int n,m;int dist[1<
      
        Node;#define fi first#define se second//bitset<20> temp;#define bug(u)\temp = u; cout<<#u<<'='<
       
        <
        
          dist[u]+cost[i]){                    dist[v] = dist[u] + cost[i];                    q.push(Node(dist[v],v));                }            }        }    }    puts("Bugs cannot be fixed.");}int main(){    //freopen("in.txt","r",stdin);    int kas = 0;    char s1[maxn+5],s2[maxn+5];    while(scanf("%d%d",&n,&m),n){        for(int i = 0; i < m ; i++){            scanf("%d%s%s",cost+i,s1,s2);            nxt[i][0] = nxt[i][1] = pre[i][0] = pre[i][1] = 0;            for(int j = 0; j < n; j++){                if(s1[j] == '+') pre[i][1] |= 1<