软件补丁问题

一道冒充网络流的最短路题。
根据题意，用位运算表示能否转移与转以后的状态。
!(\(u\)&\(cantinc\)[i]))&&(!(\(incw\)[i]&\(u\) ^ \(incw\)[i])
\(u\)表示旧状态，\(cantinc\)（can't include），\(inc\)（include wrong）
如果旧状态不包含can't include 的，而且包括全部需要include的，那么就可以转移。
\(now\)=(\(u\)^ (\(u\)&\(fixx\)[i]))|\(neww\)[i]
\(now\)表示新状态，\(fixx\)表示修复的，\(neww\)表示新弄出来的漏洞，转移即可。

但有一个坑点，空间根本开不下Orz
但是考虑到数据小，可以边spfa，直接暴力枚举。也算开了个新思路。
Tip:不要在main函数不打spfa，开始怀疑spfa函数写错Orz

#include <map>
#include <queue>
#include <cstdio>
#include <cstring>
using namespace std;
int n,m,t[125];
char w[125][25],r[125][25];
int fixx[125],neww[125],incw[125],cantinc[125],dis[1<<20];
bool inq[1<<20];
void spfa() {
    queue<int>q;
    memset(dis,0x3f,sizeof dis);
    dis[(1<<n)-1]=0;
    q.push((1<<n)-1);
    inq[(1<<n)-1]=1;
    while(!q.empty()) {
        int u=q.front();
        q.pop(),inq[u]=0;
        for(int i=1; i<=m; i++) {
            int now=(u^(u&fixx[i]))|neww[i];
            if((!(u&cantinc[i]))&&(!(incw[i]&u^incw[i]))) {
                if(dis[u]+t[i]<dis[now]) {
                    dis[now]=dis[u]+t[i];
                    if(!inq[now]) {
                        q.push(now);
                        inq[now]=1;
                    }
                }
            }
        }
    }
}
int main() {
    scanf("%d%d",&n,&m);
    for(int i=1; i<=m; i++) scanf("%d%s%s",&t[i],w[i],r[i]);
    for(int i=1; i<=m; i++) {
        for(int j=0; j<n; j++) {
            if(w[i][j]=='-') cantinc[i]|=(1<<j);
            else if(w[i][j]=='+') incw[i]|=(1<<j);
        }
        for(int j=0; j<n; j++) {
            if(r[i][j]=='-') fixx[i]|=(1<<j);
            else if(r[i][j]=='+') neww[i]|=(1<<j);
        }
    }
    spfa();
    printf("%d",dis[0]==0x3f3f3f3f?0:dis[0]);
}