POJ-2983 用SPFA求解差分约束..

同上..用SPFA来解决...用SPFA的第一个问题是如何跳出while..因为这题明显的可能有负环..SPFA如果普通的...有负环..则会将环上的点不断入队列..就会死循环！！为了能跳出死循环或者说能判断出有负环..就用个数组来记录每个点入队的次数...如果入队的次数超过点的总数N了..则可以判断出是出现负环了..这个思想是从Bellman-Ford那来的..回想Bellman-Ford..外围是用来循环次数..是循环了N次..第二层则循环所有的边..可以发现一个点最多就更新循环次数N了...

再一个要注意的是用SPFA就必须先要确定源点然后入队...但这里如果任意确定源点会出错...因为这题的图不一定时连通的~~有可能有多个独立的图..有多个源点..所以要么就在开始时将所有点入队...d [ ] 统一赋值为0...要么加一个超级点指向所有点权值为0....其实本质是一样的...

Program:

#include<iostream> #include<queue> using namespace std; struct pp { int x,y,k,next; }line[300001]; int n,m,i,x,y,k,link[1010]; char c; queue<int> myqueue; bool SPFA() { int i,h,k,d[1010],sum[1010]; bool used[1010]; for (i=1;i<=n;i++) { m++; line[m].x=0; line[m].y=i; line[m].k=0; line[m].next=link[0]; link[0]=m; } while (!myqueue.empty()) myqueue.pop(); memset(d,0x7F,sizeof(d)); memset(sum,0,sizeof(sum)); memset(used,false,sizeof(used)); d[0]=0; myqueue.push(0); while (!myqueue.empty()) { h=myqueue.front(); myqueue.pop(); used[h]=false; k=link[h]; while (k) { if (d[line[k].y]>d[h]+line[k].k) { d[line[k].y]=d[h]+line[k].k; if (!used[line[k].y]) { myqueue.push(line[k].y); sum[line[k].y]++; if (sum[line[k].y]>n) return false; used[line[k].y]=true; } } k=line[k].next; } } return true; } int main() { while (~scanf("%d%d",&n,&m)) { i=m; m=0; memset(link,0,sizeof(link)); while (i--) { c=getchar(); while (c!='V' && c!='P' ) c=getchar(); ; if (c=='P') { scanf("%d%d%d",&y,&x,&k); m++; line[m].x=x; line[m].y=y; line[m].k=k; line[m].next=link[x]; link[x]=m; m++; line[m].x=y; line[m].y=x; line[m].k=-k; line[m].next=link[y]; link[y]=m; }else { scanf("%d%d",&x,&y); m++; line[m].x=x; line[m].y=y; line[m].k=-1; line[m].next=link[x]; link[x]=m; } } if (SPFA()) printf("Reliable\n"); else printf("Unreliable\n"); } return 0; }