UVA658 It‘s not a Bug, it‘s a Feature! 题解

题目描述：

补丁在修正BUG时，有时也会引入新的BUG，假定有n(n<=20)n(n<=20) 个潜在BUG，和m(m<=100)m(m<=100) 个补丁，每个补丁用两个长度为nn 的字符串表示，其中字符串的每个位置表示一个bug,第一个串表示打补丁之前的状态（“-”表示该BUG必须不存在，“+”表示该补丁必须存在，0表示无所谓），第二串表示打补丁之后的状态（”-“表示不存在，“+”表示存在，0表示不变）。每个补丁有一定的执行时间，你的任务是用最小的时间把所有BUG都存在的软件变得没有BUG。

解题思路：

我们把bug的"状态"（可以用二进制位来表示，也可以之间用字符串）看成点，状态可以通过"打补丁"变到另一个状态，所以我们可以把"补丁"看成边，那么问题就变成全是"+“的状态变成全是”-“的最短路径问题，不过还存在几点问题。首先"状态"太多了，有$2^{20}$个，不过其实可以发现很多"状态"是达不到的，所以我们可以计算一个点用一个不用提前全部存储下来。还有一个问题是我们的"边"不是连接固定两点的，所以在判断当前"状态"能到哪个状态时需要遍历一点全部"补丁”。有了思路我们就可以用最短路算法来解决，这里我用了Dijkstra。

代码：

#include <bits/stdc++.h>
using namespace std;
int n,m,e[105],cas=0,vis[2000010];
char s1[105][25],s2[105][25];
struct node{
	int cost,s;
	bool operator < (const node &rs)const{
		return cost > rs.cost;
	}
}; 
int ok(int s,int e)//状态s通过边e到的新的状态，不能到返回-1 
{
	int ans=0,c=n-1;
	for(int i=0;i<n;i++)
	{
		int w=s&(1<<c);
		if(w)w=1;
		c--;
		if(s1[e][i]=='+'&&!w)
			return -1;
		if(s1[e][i]=='-'&&w)
			return -1;
			
		if(s2[e][i]=='+')
			ans=(ans<<1)|1;
		else if(s2[e][i]=='-')
			ans=(ans<<1);
		else
			ans=(ans<<1)|w;
	}
	return ans;
}
int main(){
	while(cin>>n>>m&&n)
	{
		for(int i=0;i<m;i++)
			scanf("%d%s%s",&e[i],s1[i],s2[i]);
		priority_queue<node> que;
		memset(vis,0,sizeof(vis));
		node add;
		add.cost=0;
		add.s=(1<<n)-1;
		que.push(add);//起始状态全是'+' 
		int ans=-1;
		while(!que.empty())
		{
			node from=que.top();
			que.pop();
			if(from.s==0)
			{
				//到达目标状态 
				ans=from.cost;
				break; 
			} 
			if(vis[from.s])
				continue;
			vis[from.s]=1;
			for(int i=0;i<m;i++)
			{
				add.s=ok(from.s,i);
				if(add.s!=-1)
				{
					//能到新的状态则加入队列 
					add.cost=from.cost+e[i];
					que.push(add);
				}
			}
		}
		//输出 
		printf("Product %d\n",++cas);
		if(ans==-1)	
			printf("Bugs cannot be fixed.\n");
		else
			printf("Fastest sequence takes %d seconds.\n",ans);
		printf("\n");
	}
	return 0;
}