状态转移的最短路 隐式图搜索 UVA 658

struct Node{
    int bugs, dist;
    bool operator < (const Node &a) const{
        return dist < a.dist;
    }
    Node(int b = 0, int d = 0): bugs(b), dist(d){}
};

struct Node{
    int bugs, dist;
    bool operator < (const Node &a) const{
        return dist > a.dist;
    }
    Node(int b = 0, int d = 0): bugs(b), dist(d){}
};

//看看会不会爆int!数组会不会少了一维！
//取物问题一定要小心先手胜利的条件
#include <bits/stdc++.h>
using namespace std;
#define LL long long
#define ALL(a) a.begin(), a.end()
#define pb push_back
#define mk make_pair
#define fi first
#define se second
const int inf = 0x3f3f3f3f;
const int maxn = (1 << 20) + 5;
const int maxm = 100 + 5;
int n, m;
int t[maxm], d[maxn];
bool vis[maxn];
char b[maxm][30], e[maxm][30];
struct Node{
    int bugs, dist;
    bool operator < (const Node &a) const{
        return dist > a.dist;
    }
    Node(int b = 0, int d = 0): bugs(b), dist(d){}
};

int solve(){
    memset(vis, false, sizeof(vis));
    memset(d, 0x3f, sizeof(d));
    priority_queue<Node> que;
    int tmp = (1 << n) - 1;
    que.push(Node(tmp, 0));
    d[tmp] = 0; vis[tmp] = 1;
    while (!que.empty()){
        Node u = que.top(); que.pop();
        if (u.bugs == 0) return u.dist;
        for (int i = 0; i < m; i++){
            int from = u.bugs;
            bool flag = false;
            for (int j = 0; j < n; j++){
                if (b[i][j] == ‘-‘ && (from & (1 << j))) {flag = true; break;}
                if (b[i][j] == ‘+‘ && !(from & (1 << j))) {flag = true; break;}
            }
            if (flag) continue;
            int to = from;
            for (int j = 0; j < n; j++){
                if (e[i][j] == ‘-‘ && (from & (1 << j))) to ^= 1 << j;
                if (e[i][j] == ‘+‘) to |= 1 << j;
            }
            if (d[to] > d[from] + t[i] && !vis[to]){
                d[to] = d[from] + t[i];
                vis[to] = false;
                que.push(Node(to, d[to]));
            }
        }
    }
    return -1;
}

int main(){
    int kase = 0;
    while (scanf("%d%d", &n, &m) && n){
        for (int i = 0; i < m; i++){
            scanf("%d", t + i);
            scanf("%s%s", b[i], e[i]);
        }
        printf("Product %d\n", ++kase);
        int ans = solve();
        if (ans < 0) printf("Bugs cannot be fixed.\n");
        else printf("Fastest sequence takes %d seconds.\n", ans);
        printf("\n");
    }
    return 0;
}