658 - It's not a Bug, it's a Feature! （Dijkstra算法）

今天第一次系统的学习了一下最短路算法，开始刷第十一章，第一次写Dijkstra算法，出现了很多喜闻乐见的错误。。而且uva上样例很水，瓢虫也很水 ，坑了我好久。

首先是对于结点的处理，我们必须要维护一个二元组，一个表示结点一个表示当前结点最短路。   因为Dijkstra算法利用了优先队列来加速算法，所以需要定义小于运算符，一开始我直接将状态装进了优先队列，显然是不对的，因为优先队列的作用就是取出当前距离最短的结点。

其次，说说最短路算法蕴含的巧妙思想： 每次从当前所有还未标记的结点中选择一个距离最小的点，从这个点更新与之相连的所有结点 。重复此过程 。 

为什么这样做是正确的呢？ 百度百科上有一个动态图可以帮助我们很好的理解这个过程 。传送门：点击打开链接

该题是一个很巧妙的最短路问题，需要我们把模型抽象出来，看清楚要解决的问题的实质是什么。

该题是复杂状态的最短路问题，需要将状态抽象出来当做结点 。 

将状态集合当做结点，将所花费的时间当做边的权值，两个“结点”是否相连取决于第一个字符串与该结点的关系！ 真是好题 ~

另外一点，用动态规划进行状态转移时很重要的一点是不能转移到以前的状态，即状态图不是DAG，所以不能用记忆化搜索 。 

细节参见代码：

#include<bits/stdc++.h>using namespace std;const int INF = 0x3f3f3f3f;const int maxn = 22;const int maxm = 105;int n,m,kase = 0,ok = 0 ,d[1<<maxn],done[1<<maxn];struct node{    int t;    char a[maxn],b[maxn];}pat[maxm];struct Node{    int bugs,dist;    bool operator < (const Node& v) const {        return dist > v.dist;    }};int dijkstra() {    priority_queue<Node> q;    for(int i=0;i<(1<<n);i++) { done[i] = 0; d[i] = INF; }    Node u; u.dist = 0; u.bugs = (1<<n)-1;    d[u.bugs] = 0;    q.push(u);    while(!q.empty()) {        Node u = q.top(); q.pop();        if(u.bugs == 0) return u.dist;        if(done[u.bugs]) continue;        done[u.bugs] = true;        for(int i=1;i<=m;i++) {            bool ok = true;            for(int j=0;j<n;j++) {  //检查该结点是否可以连一条边                if(pat[i].a[j] == '-' && u.bugs & (1<<j)) { ok = false; break; }                 if(pat[i].a[j] == '+' && !(u.bugs & (1<<j))) { ok = false; break; }            }            if(ok) {                Node v = u ;                for(int j=0;j<n;j++) { //更新找到下一个结点                    if(pat[i].b[j] == '-') {                         v.bugs &= ~(1<<j);                    }                    else if(pat[i].b[j] == '+') {                        v.bugs |= (1<<j);                    }                }                if(d[v.bugs] > u.dist + pat[i].t) {                    d[v.bugs] = u.dist + pat[i].t;                    v.dist = d[v.bugs];                    q.push(v);                }            }        }    }    return -1;}int main() {    while(~scanf("%d%d",&n,&m)) {        if( !n && !m ) return 0;        for(int i=1;i<=m;i++) {            scanf("%d%s%s",&pat[i].t,pat[i].a,pat[i].b);        }        int ans = dijkstra();        printf("Product %d\n",++kase);        if(ans < 0) printf("Bugs cannot be fixed.\n\n");        else printf("Fastest sequence takes %d seconds.\n\n",ans);    }    return 0;}