链接：http://vjudge.net/problem/viewProblem.action?id=22169
描述：有n个漏洞，m个修复漏洞的方法，每种方法耗时不一样，求修复漏洞的最短时间。每种方法的使用对当前漏洞分布的状态有要求，符合要求才能修复，并有可能引入新漏洞。
思路：单源点最短路
这道题卡了我很久，因为不知道怎么表示状态。最开始受到'0'的影响，觉得必须要三进制，于是写得很麻烦还错了。之后觉得可以用二进制分别存储'+'和'-'的状态。我定义两个数组，Condition[i][0]表示第i个方法'+'要满足的条件，Condition[i][1]表示第i个方法'-'要满足的条件；Operate[i][0]和Operate[i][1]同理表示修复手段。
判断当前状态Cur是否可以用第i个方法：（可以自己举个例子推一下）
Cur&Condition[i][0])==Condition[i][0]
((~Cur)&Condition[i][1])==Condition[i][1]
用第i个方法修复漏洞：
Cur|=Operate[i][0];
Cur&=(~Operate[i][1]);
然后的问题就是，状态量太多了，或者说是无效的状态量太多了，怎么解决存储问题呢？这个时候我们就考虑不存边，在搜索的时候按照判断结果走，相当于是动态找状态。然后一个bfs就解决问题了。
我的实现：
1 #include <iostream> 2 #include <cstdio> 3 #include <cstring> 4 #include <queue> 5 using namespace std; 6 #define MaxM 120 7 #define MaxN 30 8 int Cost[MaxM],Condition[MaxM][5],Operate[MaxM][5]; 9 char s1[MaxN],s2[MaxN]; 10 bool vis[(1<<20)+20]; 11 int n,m,ans; 12 bool Sol; 13 typedef pair<int, int> p; 14 struct cmp 15 { 16 bool operator()(p a,p b) 17 { 18 return a.first>b.first; 19 } 20 }; 21 priority_queue <p, vector<p>, cmp> q; 22 inline void Clean() 23 { 24 memset(Condition,0,sizeof(Condition)); 25 memset(Operate,0,sizeof(Operate)); 26 Sol=false; 27 memset(vis,false,sizeof(vis)); 28 while(!q.empty()) 29 q.pop(); 30 } 31 void Bfs() 32 { 33 q.push(make_pair(0,(1<<n)-1)); 34 p u; 35 int i,fi,Cur; 36 while(!q.empty()) 37 { 38 u=q.top();q.pop(); 39 fi=u.first;Cur=u.second; 40 if(!Cur) 41 { 42 Sol=true; 43 ans=fi; 44 return; 45 } 46 if(vis[Cur]) 47 continue; 48 vis[Cur]=true; 49 for(i=1;i<=m;++i) 50 { 51 Cur=u.second; 52 if((Cur&Condition[i][0])==Condition[i][0]&&((~Cur)&Condition[i][1])==Condition[i][1]) 53 { 54 Cur|=Operate[i][0]; 55 Cur&=(~Operate[i][1]); 56 q.push(make_pair(fi+Cost[i],Cur)); 57 } 58 } 59 } 60 } 61 int main() 62 { 63 int i,j,t; 64 for(t=1;;t++) 65 { 66 Clean(); 67 scanf("%d%d",&n,&m); 68 if(n==0&&m==0) 69 break; 70 for(i=1;i<=m;++i) 71 { 72 scanf("%d%s%s",&Cost[i],s1,s2); 73 for(j=0;j<n;++j) 74 { 75 if(s1[j]=='+') 76 Condition[i][0]|=(1<<j); 77 else if(s1[j]=='-') 78 Condition[i][1]|=(1<<j); 79 } 80 for(j=0;j<n;++j) 81 { 82 if(s2[j]=='+') 83 Operate[i][0]|=(1<<j); 84 else if(s2[j]=='-') 85 Operate[i][1]|=(1<<j); 86 } 87 } 88 Bfs(); 89 printf("Product %d ",t); 90 if(Sol) 91 printf("Fastest sequence takes %d seconds. ",ans); 92 else 93 printf("Bugs cannot be fixed. "); 94 } 95 return 0; 96 }