Luogu2761
似乎这不是一道网络流的题目qwq,发现n很小,于是我们可以考虑状态压缩,也只是
220
种状态,对于状态a可以到达状态b,则连接一条时间的边。跑一遍spfa就行了
但是这题更加坑的是卡空间,我们发现一条一条边建了之后空间会炸。于是乎用每次spfa时暴力枚举m种补丁, 免去建边的空间(传说中的时间换空间2333)
#include<iostream>
#include<iomanip>
#include<cmath>
#include<algorithm>
#include<cstring>
#include<cstdio>
using namespace std;
struct nodes{
int f1,f2,b1,b2,t;
}a[300];
int n,m,maxnum;
char b[300],f[300];
bool vis[2000100];
int head,tail,dist[2000100],dl[5000100],v;
void spfa()
{
memset(dist,0x3f,sizeof(dist));
dist[maxnum]=0;vis[maxnum]=1;
head=tail=1;
dl[tail]=maxnum;
while(head<=tail)
{
v=dl[head];
for(int i=1;i<=m;++i)
if(((v&a[i].b2)==0)&&((v&a[i].b1)==a[i].b1))
{
int num=v^(a[i].f1&v)|a[i].f2;
if(dist[num]>dist[v]+a[i].t)
{
dist[num]=dist[v]+a[i].t;
if(!vis[num]) dl[++tail]=num,vis[num]=1;
}
}
vis[dl[head++]]=false;
}
if(dist[0]==0x3f3f3f3f) cout<<0<<endl;
else cout<<dist[0];
}
int main()
{
scanf("%d%d",&n,&m);
maxnum=(1<<n)-1;
for(int i=1;i<=m;++i)
{
scanf("%d",&a[i].t);
scanf("%s",b);
for(int j=0;j<n;++j)
if(b[j]=='+') a[i].b1|=(1<<j);
else if(b[j]=='-') a[i].b2|=(1<<j);
scanf("%s",f);
for(int j=0;j<n;++j)
if(f[j]=='-') a[i].f1|=(1<<j);
else if(f[j]=='+') a[i].f2|=(1<<j);
}
spfa();
return 0;
}