洛谷P2761 软件补丁问题

题目背景

none!

题目描述

T 公司发现其研制的一个软件中有 n 个错误，随即为该软件发放了一批共 m 个补丁程序。每一个补丁程序都有其特定的适用环境，某个补丁只有在软件中包含某些错误而同时又不包含另一些错误时才可以使用。一个补丁在排除某些错误的同时，往往会加入另一些错误。

换句话说，对于每一个补丁 i，都有 2 个与之相应的错误集合 B1[i]和 B2[i]，使得仅当软件包含 B1[i]中的所有错误，而不包含 B2[i]中的任何错误时，才可以使用补丁 i。补丁 i 将修复软件中的某些错误 F1[i]，而同时加入另一些错误 F2[i]。另外，每个补丁都耗费一定的时间。

试设计一个算法，利用 T 公司提供的 m 个补丁程序将原软件修复成一个没有错误的软件，并使修复后的软件耗时最少。对于给定的 n 个错误和 m 个补丁程序，找到总耗时最少的软件修复方案。

输入输出格式

输入格式：

第 1 行有 2 个正整数 n 和 m，n 表示错误总数，m表示补丁总数，1<=n<=20, 1<=m<=100。

接下来 m 行给出了 m 个补丁的信息。每行包括一个正整数，表示运行补丁程序 i 所需时间，以及 2 个长度为 n 的字符串，中间用一个空格符隔开。

第 1 个字符串中，如果第 k 个字符 bk 为“+”，则表示第 k 个错误属于 B1[i]，若为“-”，则表示第 k 个错误属于 B21[i]，若为“0”，则第 k 个错误既不属于 B1[i]也不属于 B2[i]，即软件中是否包含第 k 个错误并不影响补丁 i 的可用性。

第 2 个字符串中，如果第 k 个字符 bk为“-”，则表示第 k 个错误属于 F1[i]，若为“+”，则表示第 k 个错误属于 F2[i]，若为“0”，则第 k 个错误既不属于 F1[i]也不属于 F2[i]，即软件中是否包含第 k 个错误不会因使用补丁i 而改变。

输出格式：

程序运行结束时，将总耗时数输出。如果问题无解，则输出 0。

输入输出样例

输入样例#1： 

3 3
1 000 00-
1 00- 0-+
2 0-- -++

输出样例#1： 

8

说明

none!

其实这题也不算网络流。。。

首先我们可以看到数据很小 于是可以状态压缩 0表示正确 1表示错误

于是我们可以通过二进制进行判断和转移 由于有环 所以不能用dp 用是spfa即可

附代码：

#include<iostream>
#include<algorithm>
#include<cstdio>
#include<queue>
#include<cstring>
#define MAXN 110
using namespace std;
int n,m,s,t,c=1;
int path[1<<21];
bool vis[1<<21];
struct node{
	int t,b1,b2,f1,f2;
}a[MAXN];
inline int read(){
	int date=0,w=1;char c=0;
	while(c<'0'||c>'9'){if(c=='-')w=-1;c=getchar();}
	while(c>='0'&&c<='9'){date=date*10+c-'0';c=getchar();}
	return date*w;
}
inline int relax(int u,int v,int w){
	if(path[v]>path[u]+w){
		path[v]=path[u]+w;
		return 1;
	}
	return 0;
}
bool spfa(){
	int u,v;
	queue<int> q;
	memset(vis,false,sizeof(vis));
	memset(path,127,sizeof(path));
	path[s]=0;
	vis[s]=true;
	q.push(s);
	while(!q.empty()){
		u=q.front();
		q.pop();
		vis[u]=false;
		for(int i=1;i<=m;i++){
			v=u^(a[i].f1&u)|a[i].f2;
			if(((a[i].b1==(a[i].b1&u))&&!(a[i].b2&u))&&relax(u,v,a[i].t)&&!vis[v]){
				vis[v]=true;
				q.push(v);
			}
		}
	}
	printf("%d\n",path[t]==path[s+1]?0:path[t]);
}
int main(){
	char ch[30];
	n=read();m=read();
	s=(1<<n)-1;t=0;
	for(int i=1;i<=m;i++){
		a[i].t=read();scanf("%s",ch);
		for(int j=0;j<n;j++){
			if(ch[j]=='+')a[i].b1|=(1<<j);
			if(ch[j]=='-')a[i].b2|=(1<<j);
		}
		scanf("%s",ch);
		for(int j=0;j<n;j++){
			if(ch[j]=='-')a[i].f1|=(1<<j);
			if(ch[j]=='+')a[i].f2|=(1<<j);
		}
	}
	spfa();
	return 0;
}