UVA658 隐式图+最短路+状态压缩

这题我觉得挺难的
上午思考的时候始终对隐式图没有一个清晰的看法，觉得要开一个老大的数组来表示各个节点间的相互关系。然后各种查资料突然醒悟了各节点的关系可以通过判断限制调节直接得出，而无需单独开一个极大的邻接表。
又思考这题仍然要开2 ^ 20的数组，直接把我吓到了，翻了翻别人的题解，大部分都是开了这个级别的数组，于是我也放心的做了。刚才才反应过来2 ^ 20原来只是十万级的数组
按照刘汝佳的提示，用到了位运算来进行状态压缩
写的时候因为机房嘈杂，有好几个人问我题导致两个半小时也没敲完。回来后对比着别人的代码继续调，发现位运算的地方出了问题，稍一抄袭修改后成功AC

位运算知识点：
(A>>n-1)&1用于判断二进制数A从右到左第n位是否为1.
A=A|(1<<n-1)用于把A从右往左第n位设置为1.
A=A&(~(1<<n-i-1))用于把A从右往左第n为设置为0.

#include <vector>
#include <queue>
#include <cstring>
#include <string>
#include <iostream>
using namespace std;
const int inf=0x3f3f3f3f;
const long long maxn=1<<21;
const int maxm=100+5;
int dist[maxn];
bool vis[maxn];
int n, m;
struct Edge{
	string u,v;
	int c;
	Edge(string uu="",string vv="",int cc=0):u(uu),v(vv),c(cc){}
}e[maxm];
struct cmp
{
	int operator ()(int a,int b){
		return dist[a]>dist[b];
	}
};
bool transable(int s,int t){
	for(int i=0;i<n;i++){
		/*if(s&(1<<i)>0){ //have bug
			if(e[t].u[n-i-1]=='-') return false; 
		}
		else{ //haven`t bug
			if(e[t].u[n-i-1]=='+') return false;
		}*/
		switch (e[t].u[i])
		{
		case '+':
			if(!((s>>n-i-1)&1)) return false;
			break;
		case '-':
			if((s>>n-i-1)&1) return false;
		}
	}
	return true;
}
int change(int s,int t){
	for(int i=0;i<n;i++){
		switch(e[t].v[n-1-i]){
			case '+': s=s|(1<<i); break;
			case '-': s=s&(~(1<<i)); break;
		}
	}
	return s;
}
void dijkstra(int start){
	memset(dist,inf,sizeof(int)*(1<<(n+1)));
	memset(vis,false,sizeof(bool)*(1<<(n+1)));
	dist[start]=0;
	priority_queue<int,vector<int>,cmp> q;
	q.push(start);
	int u;
	while(!q.empty()){
		u=q.top();
		q.pop();
		if(vis[u]) continue;
		vis[u]=true;
		for(int i=0;i<m;i++){
			if(!transable(u,i)) continue;
			int v=change(u,i);
			if(!vis[v]&&dist[v]>dist[u]+e[i].c){
				dist[v]=dist[u]+e[i].c;
				q.push(v); //v changed from i
			}
		}
	}
	return;
}
int main(){
	int t=0;
	while(cin>>n>>m&&(m||n)){
		t++;
		for(int i=0;i<m;i++){
			cin>>e[i].c>>e[i].u>>e[i].v;
		}
		dijkstra((1<<n)-1);
		cout<<"Product "<<t<<'\n';
		if(dist[0]==inf) cout<<"Bugs cannot be fixed.\n\n";
		else cout<<"Fastest sequence takes "<<dist[0]<<" seconds.\n\n";
	}
	return 0;
}