补丁vs错误（codevs 2218 错误答案）

题目描述 Description

错误就是人们所说的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个错误,  有没有可能通过使用这些补丁（任意顺序地使用，一个补丁可使用多次）， 使此字处理软件成为一个没有错误的软件。如果可能，希望找到总耗时最少的方案。

输入描述 Input Description

输入文件第一行有两个正整数n和m,  n表示错误总数，m表示补丁总数。接下来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而改变。

输出描述 Output Description

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

样例输入 Sample Input

3 3

1 000 00-

1 00- 0-+

2 0-- -++

样例输出 Sample Output

8

数据范围及提示 Data Size & Hint

1<=n<=20, 1<=m<=100

/*
  WA,77分
  这道题和以前做过的codevs 2594类似，思路都是状态压缩搜索最短路+hash判重，所以直接按原思路做的，但是只得了77分，WA了2个点，但思路应该没问题
==========================================
  设立a结构体表示状态，vis[]是该状态的错误情况，vis[i]=1,则错误已修复，否则未修复，step表示该状态所用的消耗；
  hash[]记录某个状态是否出现过，即哈希判重，num[]是个二进制数组
  bu[i][p][j]:若p=1，则为第i个补丁对第j个错误的使用条件，p=2，为使用效果
*/
#include<cstdio>
#include<iostream>
#define M 110
#define N 25
using namespace std;
struct node
{
    int vis[N],step;
};node a[M*M];
int hash[M*M*M],num[N],bu[M][][N],mon[M];
int n,m,head,tail,sum,ff,ans=;
void bfs()
{
    while(head<=tail)
    {
        for(int i=;i<=m;i++)
        {
            int flag=;
            for(int j=;j<=n;j++)
              if(bu[i][][j]!=&&bu[i][][j]!=a[head].vis[j])
                flag=;
            if(!flag)//该补丁可以使用
            {
                ++tail;
                for(int j=;j<=n;j++)
                  a[tail].vis[j]=a[head].vis[j];
                a[tail].step=a[head].step+mon[i];
                for(int j=;j<=n;j++)
                  if(bu[i][][j]!=)
                    a[tail].vis[j]=bu[i][][j];
                int pp=;
                for(int j=;j<=n;j++)
                  pp+=a[tail].vis[j]*num[j];
                if(pp==sum)
                {
                    ans=min(a[tail].step,ans);
                    ff=;
                }
                if(hash[pp])tail--;
                else hash[pp]=;
            }
        }
        head++;
    }
}
void init()
{
    num[]=;sum=;
    for(int i=;i<=n;i++)
    {
        num[i]=num[i-]*;
        sum+=num[i];
    }
}
int main()
{
    scanf("%d%d",&n,&m);
    init();
    for(int i=;i<=m;i++)
    {
        char s[M];
        scanf("%d",&mon[i]);
        cin>>s;
        for(int j=;j<=n;j++)
          if(s[j-]=='')bu[i][][j]=;
          else if(s[j-]=='-')bu[i][][j]=;
          else bu[i][][j]=;
        cin>>s;
        for(int j=;j<=n;j++)
          if(s[j-]=='')bu[i][][j]=;
          else if(s[j-]=='-')bu[i][][j]=;
          else bu[i][][j]=;
    }
    bfs();
    if(ff)printf("%d",ans);
    else printf("");
    return ;
}