网络流24题12. 软件补丁问题

软件补丁问题

Description

T 公司发现其研制的一个软件中有 n 个错误，随即为该软件发放了一批共 m 个补丁程序。每一个补丁程序都有其特定的适用环境，某个补丁只有在软件中包含某些错误而同时又不包含另一些错误时才可以使用。一个补丁在排除某些错误的同时，往往会加入另一些错误。换句话说，对于每一个补丁 i，都有 2 个与之相应的错误集合 B1[i]和 B2[i]，使得仅当软件包含 B1[i]中的所有错误，而不包含 B2[i]中的任何错误时，才可以使用补丁 i。补丁 i 将修复软件中的某些错误 F1[i]，而同时加入另一些错误 F2[i]。另外，每个补丁都耗费一定的时间。
试设计一个算法，利用 T 公司提供的 m 个补丁程序将原软件修复成一个没有错误的软件，并使修复后的软件耗时最少。

Input

第 1 行有 2 个正整数 n 和 m，n 表示错误总数，m
表示补丁总数，1<=n<=20, 1<=m<=100。接下来 m行给出了 m个补丁的信息。每行包括一个正整数，表示运行补丁程序 i 所需时间，以及 2 个长度为 n 的字符串，中间用一个空格符隔开。第 1 个字符串中，如果第 k 个字符 bk 为“+”，则表示第 k 个错误属于 B1[i]，若为“-”，则表示第 k 个错误属于 B21[i]，若为“0”，则第 k 个错误既不属于 B1[i]也不属于 B2[i]，即软件中是否包含第 k 个错误并不影响补丁 i 的可用性。第 2 个字符串中，如果第 k 个字符 bk为“-”，则表示第 k 个错误属于 F1[i]，若为“+”，则表示第 k 个错误属于 F2[i]，若为“0”，则第 k 个错误既不属于 F1[i]也不属于 F2[i]，即软件中是否包含第 k 个错误不会因使用补丁 i 而改变。

Output

输出总耗时，若无解，输出0。

Sample Input

3 3
1 000 00-
1 00- 0-+
2 0– -++

Sample Output

8

题解

网络流？？？喵喵喵？？？
n很小，直接状压跑spfa就好了。不用把图建出来，每次判断哪个补丁可以用就好了。
顺便一题我手上的题面输入里跟我说+是f1，-是f2。。想想也不对哇。博客里的已经改过了是正确的题面。

#include<cstdio>
#include<iostream>
#include<cstring>
#include<queue>
using namespace std;

const int N = 30, M = 100 + 10, inf = 0x3f3f3f3f;
struct Node{
    int b1, b2, f1, f2, w;
}a[M];
int s, t;
int n, m;
int d[1<<21], inq[1<<21];
void init(){
    scanf("%d%d", &n, &m);
    char c[N];
    for(int i = 1; i <= m; i++){
        scanf("%d%s", &a[i].w, c);
        for(int j = 0; j < n; j++){
            if(c[j] == '+') a[i].b1 |= (1<<j);
            if(c[j] == '-') a[i].b2 |= (1<<j);
        }
        scanf("%s", c);
        for(int j = 0; j < n; j++){
            if(c[j] == '+') a[i].f2 |= (1<<j);
            if(c[j] == '-') a[i].f1 |= (1<<j);
        }
    }
    s = (1<<n)-1;
    t = 0;
}
bool check(int x, int i){
    if((x | a[i].b1) != x) return false;
    if(x & a[i].b2) return false;
    return true;
}
void work(){
    for(int i = 0; i <= s; i++) d[i] = inf;
    queue<int> q;
    q.push(s); inq[s] = 1; d[s] = 0;
    while(!q.empty()){
        int u = q.front(); q.pop(); inq[u] = 0;
        for(int i = 1; i <= m; i++){
            if(check(u, i)){
                int v = (u & (~a[i].f1)) | a[i].f2;
                if(d[v] > d[u] + a[i].w){
                    d[v] = d[u] + a[i].w;
                    if(!inq[v]){
                        q.push(v);
                        inq[v] = 1;
                    }
                }
            }
        }
    }
    if(d[t] == inf) puts("0");
    else printf("%d\n", d[t]);
}
int main(){
    freopen("prog812.in", "r", stdin);
    freopen("prog812.out", "w", stdout);
    init();
    work();
    return 0;
}