vijos1019：补丁VS错误——题解

描述

错误就是人们所说的Bug。用户在使用软件时总是希望其错误越少越好，最好是没有错误的。但是推出一个没有错误的软件几乎不可能，所以很多软件公司都在疯狂地发放补丁（有时这种补丁甚至是收费的）。T公司就是其中之一。
上个月，T公司推出了一个新的字处理软件，随后发放了一批补丁。最近T公司发现其发放的补丁有致命的问题，那就是一个补丁在排除某些错误的同时，往往会加入另一些错误.
此字处理软件中只可能出现n个特定的错误，这n个错误是由软件本身决定的。T公司目前共发放了m个补丁，对于每一个补丁, 都有特定的适用环境，某个补丁只有在当前软件中包含某些错误而同时又不包含另一些错误时才可以使用，如果它被使用，它将修复某些错误而同时加入某些错误。另外，使用每个补丁都要耗一定的时间（即补丁程序的运行时间）。
更准确地说明：
设此字处理软件中可能出现的n个错误为集合B={b1,b2,…,bn}中的元素，T公司目前共发放了m个补丁：p1，p2,…,pm。对于每一个补丁pi, 都有特定的适用环境，某个补丁只有在软件中包含某些错误而同时又不包含另一些错误时才可以用，为了说明清楚，设错误集合：Bi+、 Bi-， 当软件包含了Bi+中的所有错误, 而没有包含Bi-中的任何错误时，补丁Pi才可以被使用，否则不能使用，显然 Bi+、Bi-交集为空。补丁pi将修复某些错误而同时加入某些错误，设错误集合Fi-、Fi+，使用过补丁pi之后，Fi-中的任何错误都不会在软件中出现，而软件将包含Fi+中的所有错误， 同样Fi-、Fi+交集为空。另外，使用每个补丁都要耗一定的时间（即补丁程序的运行时间）。
现在T公司的问题很简单，其字处理软件的初始版本不幸地包含了集合B中的全部n个错误, 有没有可能通过使用这些补丁（任意顺序地使用，一个补丁可使用多次）， 使此字处理软件成为一个没有错误的软件。如果可能，希望找到总耗时最少的方案。
格式

输入格式

第一行有两个正整数n和m, n表示错误总数，m表示补丁总数，1<=n<=15, 1<=m<=100。接下来m行给出了m个补丁的信息。每行包括一个正整数（表示此补丁程序pi的运行耗时）和两个长度为n的字符串，中间用一个空格符隔开。
第一个字符串，如果第k个字符为’+’，则表示bk属于Bi+, 若为‘-’，则表示bk属于Bi-, 若为‘0’，则bk 既不属于Bi+也不属于Bi-，即软件中是否包含bk不影响补丁pi是否可用。
第二个字符串，如果第k个字符为’+’，则表示bk属于Fi+, 若为‘-’，则表示bk属于Fi-, 若为‘0’，则bk 既不属于Fi+也不属于Fi-，即软件中是否包含bk不会因使用补丁pi而改变。
输出格式

输出一个整数，如果问题有解，输出总耗时，否则输出0。
样例1

样例输入1

3 3
1 000 00-
1 00- 0-+
2 0– -++
Copy
样例输出1

8

————————————————————————
这题面废话有点多，看懂了才能更好理解题。
但是路由器清新正直所以没看题解（只知道要状压不算题解吧233），于是用一个通俗的方法解决了这道题。
SPFA。
首先状态压缩，每种状态0表示没有错误，1表示有错误。
将状态看成点，将时间看成边权。
那么跑一遍111…111到000……000的最短路即可。
剩下的事情就是如果没有改变值（就还是INF），或者是SPFA判负环（这个不加也无所谓）的时候输出0即可。
……代码有点长，也不快，但是好理解就够了！

#include<queue>#include<cmath>#include<cstdio>#include<cstring>#include<iostream>#include<algorithm>using namespace std;typedef long long ll;int t[101];int f[1048576];bool vis[1048576]={0};char a[101][21],b[101][21];int ru[1048576]={0};int n,m;queue<int >q;inline int get(int ni,int wei){    wei--;    return(ni>>wei)&1;}bool pan(int u,int k){    for(int i=1;i<=n;i++){        int l=get(u,i);        if(a[k][i]=='+'&&l==0)return 0;        if(a[k][i]=='-'&&l==1)return 0;    }    return 1;}int suan(int u,int k){    int sum=0;    int li=1;    for(int i=1;i<=n;i++){        int l=get(u,i);        if(b[k][i]=='+')l=1;        if(b[k][i]=='-')l=0;        sum+=l*li;        li*=2;    }    return sum;}void bfs(int k){    q.push(k);    ru[k]++;    vis[k]=1;    int po=pow(2,n)-1;    while(!q.empty()){        int u=q.front();        q.pop();        vis[u]=0;        if(ru[u]>po){            printf("0");            return;        }        for(int i=1;i<=m;i++){            if(pan(u,i)){                int v=suan(u,i);                if(f[v]>f[u]+t[i]){                    f[v]=f[u]+t[i];                    if(!vis[v]&&v!=u){                        vis[v]=1;                        q.push(v);                        ru[v]++;                    }                }            }        }    }    if(f[0]==2147483647){        printf("0");        return;    }    printf("%d",f[0]);    return;}int main(){    scanf("%d %d\n",&n,&m);    for(int i=1;i<=m;i++){        scanf("%d %s %s",&t[i],a[i]+1,b[i]+1);    }    int k=pow(2,n)-1;    for(int i=0;i<=k;i++)f[i]=2147483647;    f[k]=0;    bfs(k);    return 0;}