【隐式图】Uva 658 It's not a Bug, it's a Feature!

这段时间要沉迷刷题一段时间了，就让CSDN陪我一起吧！

一、题目大意

这道题的大致意思。给定两个整数n和m，其中n是一个程序所具有的bug数量，m是一个程序所具有的补丁数量，然后给出m个补丁的属性，用一个整数和两个字符串表示，整数表示打这个补丁所需要耗费的时间，第一个字符串s1表示要用这个补丁所需要的前提条件，第二个字符串s2表示用这个补丁之后可以修复的bug和会带来的新的bug，在这两个字符串中’0’表示无关，’-‘表示必须没有，’+'表示必须有，初始程序具有所有n个bug，要求解如何打补丁可以用最小的时间代价消除所有的bug。

二、题目思路以及AC代码

其实思路很简单，就是以不同的bug状态为顶点去构建一个有向图，然后求解从全bug到无bug顶点的最短路即可。

然后我就按照这个思路开始写代码了，写出来之后，TLE了，因为这所有的状态构成顶点需要2ⁿ个顶点，求最短路开销很大，然后我脑子就秀逗了。

这时应该考虑隐式图，就是不对图进行存储，当需要找一个顶点的邻接点的时候，直接遍历补丁去找，这样的开销也就是n*m级的，相比于m×2ⁿ小了许多，具体的思路就不细写了，毕竟不难，看代码都能看懂。

下面给出AC代码：

#include <iostream>
#include <queue>
#include <string>
#include <cstring>
#define INF 0x3f3f3f3f
#define MAXM 105
using namespace std;

typedef long long ll;

int n, m;
int s[2][MAXM], t[2][MAXM];
int w[MAXM];

ll dist[(1<<20)+10];
bool vis[(1<<20)+10];

void init() {
    for (int i=0;i<2;i++){
        for (int j=0;j<MAXM;j++){
            s[i][j] = 0;
            t[i][j] = 0;
        }
    }
}

ll SPFA(){
    for (int i=0;i<(1<<n);i++){
        dist[i] = INF;
        vis[i] = false;
    }
    int start = (1<<n) - 1;

    queue<int> q;
    q.push(start);
    vis[start] = true;
    dist[start] = 0;

    while (!q.empty()) {
        int cur = q.front(); q.pop();
        vis[cur] = false;

        for (int i=1;i<=m;i++) {
            if ( (cur | s[1][i]) == cur && (cur & s[0][i]) == cur) {
                int next = cur;
                next = next | t[1][i];
                next = next & t[0][i];

                if (dist[next] > dist[cur] + w[i]){
                    dist[next] = dist[cur] + w[i];
                    if (!vis[next]){
                        vis[next] = true;
                        q.push(next);
                    }
                }
            }
        }
    }

    return dist[0];
}

int main()
{

    int Case = 1;
    while (cin >> n >> m)
    {
        if (!n && !m)
            break; 
        init();

        // patch
        string s1, s2;
        for (int i = 1; i <= m; i++)
        {
            cin >> w[i] >> s1 >> s2;
            for (int j=0;j<n;j++){
                if (s1[j] == '+') s[1][i] += (1 << j);
                if (s1[j] != '-') s[0][i] += (1 << j);
                if (s2[j] == '+') t[1][i] += (1 << j);
                if (s2[j] != '-') t[0][i] += (1 << j);
            }
        }

        ll ans = SPFA();
        cout << "Product " << Case++ << endl;
        if (ans == INF)
            cout << "Bugs cannot be fixed." << endl;
        else
            cout << "Fastest sequence takes " << ans << " seconds." << endl;
        cout << endl;
    }

    return 0;
}

如果有问题，欢迎大家指正！！！