[网络流24题] 软件补丁问题

Luogu2761
似乎这不是一道网络流的题目qwq，发现n很小，于是我们可以考虑状态压缩，也只是$2^{20}$种状态，对于状态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;   
    }