我们可以将b+、b-、f+、f-集合用0和1的二进制表示来进行状态压缩,然后枚举软件的所有状态,如果当前状态取反&补丁b+==0并且当前状态&b-==0说明软件包含了补丁中的所有错误,可以使用。然后对原来的软件我们让他|能修补的错误与不能修补的错误,最后减去能修补的错误,然后将当前状态与利用补丁后的最终状态连上权值为输入的单位时间的边。最后跑最短路求得当软件压缩后所代表的数为0时的答案。
#include<cstdio>
#include<iostream>
#include<cstring>
#include<cstdlib>
#include<queue>
using namespace std;
const int maxn=2000010;
int head[maxn],nnext[maxn*2],to[maxn*2],length[maxn*2];
int n,m,tot;
int dis[maxn];
bool b[maxn];
queue<int> q;
void add(int x,int y,int l)
{
tot++;
nnext[tot]=head[x];
head[x]=tot;
to[tot]=y;
length[tot]=l;
}
int main()
{
scanf("%d%d",&n,&m);
char c;
for(int i=1;i<=m;i++)
{
int tmp,bjia,bjian,fjia,fjian;
bjia=bjian=fjia=fjian=0;
scanf("%d",&tmp);
getchar();
for(int j=n-1;j>=0;j--)
{
c=getchar();
if(c=='+') bjia+=(1<<j);
if(c=='-') bjian+=(1<<j);
}
getchar();
for(int j=n-1;j>=0;j--)
{
c=getchar();
if(c=='+') fjia+=(1<<j);
if(c=='-') fjian+=(1<<j);
}
for(int j=0;j<=((1<<n)-1);j++)
{
if(((~j)&bjia)==0&&(j&bjian)==0)
{
int to;
to=j|fjia;
to=to|fjian;
to-=fjian;
add(j,to,tmp);
}
}
}
for(int i=0;i<=(1<<n)-1;i++) dis[i]=1e9;
dis[(1<<n)-1]=0;
b[(1<<n)-1]=true;
q.push((1<<n)-1);
while(!q.empty())
{
int now=q.front();
q.pop();
b[now]=false;
for(int i=head[now];i;i=nnext[i])
{
int y=to[i];
if(dis[y]>dis[now]+length[i])
{
dis[y]=dis[now]+length[i];
if(!b[y])
{
q.push(y);
b[y]=true;
}
}
}
}
if(dis[0]==1e9) cout<<0<<endl;
else cout<<dis[0]<<endl;
return 0;
}