UVA 658 It's not a Bug, it's a Feature!

这个题目巧妙之处在于用二进制的每个位1,0分别表示bug的有无，以及实施补丁对相应bug的要求以及实施后的对bug的影响。

软件bug的状态：1表示相应bug仍然存在，0表示已经修复。这样可以将软件的状态用一个整数表示，例如1100（12)表示第1,2个bug存在，后面两个已经修复。

那么，对于n个bug 的软件，起点src = (1<<n)-1表示软件初始状态 111....111，终点sink = 0表示软件已经修复。

实施补丁的条件：

+-0 表示实施该补丁需要第1个bug存在，第2个bug不存在，对第三个无要求，可以用两个整数a1，a2表示，其中a1表示需要哪些bug存在，也就是对应字符串为'+'的地方，该整数的二进制位设为1，

其他位为0，这里为a1 = 100;a2表示哪些bug不能存在，对于字符串中'-'的位置a2相应二进制位设为0，其余为1，a2 = 101。这样判断某个软件当前状态（用整数x表示）是否符合实施补丁要求可以这样判断：

（x | a1） == x && （x & a2 ）==x

补丁对bug的影响：

同样用两个整数b1，b2，表示方式和前面a1，a2一样，b1同a1，即'+'位设为1,其余为0；b2同a2，非'-'都设为1，'-'设为0。对于x实施补丁的过程就变成了：y = x，y |= b1，y &= b2.这样由状态x变成了y。

因此每个状态转化为一个整数，整个问题变成球一条从src，到sink的最短路，每条路的长度就是每个补丁花费的时间，dij可破之。

代码：

 #include <iostream>
 #include <cstdio>
 #include <climits>
 #include <cstring>
 #include <cstdlib>
 #include <cmath>
 #include <vector>
 #include <queue>
 #include <algorithm>
 #define esp 1e-6
 #define pb push_back
 #define in  freopen("in.txt", "r", stdin);
 #define out freopen("out.txt", "w", stdout);
 #define print(a) printf("%d\n",(a));
 #define bug puts("********))))))");
 #define Rep(i, c) for(__typeof(c.end()) i = c.begin(); i != c.end(); i++)
 #define inf 0x0f0f0f0f
 using namespace std;
 typedef long long  LL;
 typedef vector<int> VI;
 typedef vector<int>:: iterator IT;
 typedef pair<int, int> pii;
 #define N 30
 #define M 200
 #define MAX 10000000
 char a[N], b[N];
 int s[M][], t[M][], w[M];
 int d[MAX], inq[MAX];
 int n, m, src, sink;
 priority_queue<pii, vector<pii>, greater<pii> >  q;
 void dij(void)
 {
     memset(d, 0x0f, sizeof(d));
 //    memset(inq, 0, sizeof(inq));
     d[src] = ;
 //    inq[src] = 1;
     q.push(make_pair(d[src], src));
     while(!q.empty())
     {
         pii u = q.top();
         q.pop();
         int x = u.second;
         if(d[x] != u.first)
             continue;
         for(int i = ; i < m; i++)
         {
             if(((x | s[i][]) == x) && ((x & s[i][]) == x))
             {
                 int y = x;
                 y |= t[i][];
                 y &= t[i][];
                 if(d[x] + w[i] < d[y])
                 {
                     d[y] = d[x] + w[i];
                     q.push(make_pair(d[y],y));
                 }
             }
         }
     }
 }
 int main(void)
 {
     int T = ;
     while(scanf("%d%d", &n, &m),n+m)
     {
         memset(s, , sizeof(s));
         memset(t, , sizeof(t));
         src = (<<n) - ;
         sink = ;
         for(int i = ; i < m; i++)
         {
             scanf("%d%s%s", &w[i], a, b);
             for(int j = ; j < n; j++)
             {
                 if(a[j] == '+')
                     s[i][] |= (<<j);
                 if(a[j] != '-')
                     s[i][] |= (<<j);
                 if(b[j] == '+')
                     t[i][] |= (<<j);
                 if(b[j] != '-')
                     t[i][] |= (<<j);
             }
         }
         dij();
         printf("Product %d\n", T++);
         if(d[] < inf)
             printf("Fastest sequence takes %d seconds.\n", d[]);
         else
             puts("Bugs cannot be fixed.");
         puts("");
     }
     return ;
 }