pku2983 差分约束系统(SPFA + 栈)

Is the Information Reliable?

分析题意：

输入有两种形式：

1：P A B X  即 B + X = A 转化一下： B - A <= -X,  A - B <= X  构造边和权：(A, B, -X)， (B, A, X)

2：V A B    即  B +１<= A 转化一下：B - A <= -1                     构造边和权：(A, B, -1) 

WA了无数次，终于过了，不是SPFA的原因，是自己没写好啊！！每次写Bellman_Ford的时候挺简单，写SPFA的时候就死活不过，一度让我怀疑，SPFA是不是不稳定 ！！不过还都是因为自己不过小心，处理的时候很容易出错。不过SPFA还是很快的，422ms，Bellman_Ford就跑了2907ms，跟没过也差不多了！

代码

#include < stdio.h >
#include < stdlib.h >
#define INF 0xfffffff
#define NN 1004
#define MM 200004

int edNum, N;
int next[MM];
int root[NN];
int mark[NN];
int cnt[NN];
int dis[NN];
int stack[NN];

struct node{
int e, v;
}edge[MM];
void add( int a, int b, int c){
edge[edNum].e = b;
edge[edNum].v = c;
next[edNum] = root[a];
root[a] = edNum ++ ;
}

int Spfa()
{
int i, top, cur, tmp, nxt;
top = 0 ;

　　//初始化的时候没有加源点，直接将所有有根的点入栈，也很不错
for (i = 1 ; i <= N; i ++ ){
dis[i] = INF;
// key1
if (root[i] != - 1 ){
stack[ ++ top] = i;
cnt[i] ++ ;
mark[i] = 1 ;
}
}

while (top){
cur = stack[top -- ];
tmp = root[cur];
mark[cur] = 0 ;
while (tmp != - 1 ){
nxt = edge[tmp].e;
// key2
if (dis[nxt] > dis[cur] + edge[tmp].v){
dis[nxt] = dis[cur] + edge[tmp].v;
if ( ! mark[nxt]){
cnt[nxt] ++ ;
if (cnt[nxt] > N + 1 ){
return 1 ;
}
mark[nxt] = 1 ;
stack[ ++ top] = nxt;
}
}
tmp = next[tmp];
}
}
return 0 ;
}
int main()
{
int i, a, b, c, M;
char str[ 2 ];

while (scanf( " %d%d " , & N, & M) != EOF)
{

edNum = 0 ;
for (i = 0 ; i <= N; i ++ ){
root[i] = - 1 ;
mark[i] = 0 ;
cnt[i] = 0 ;
}

while (M -- ){
scanf( " %s%d%d " , str, & a, & b);
if (str[ 0 ] == ' P ' ){
scanf( " %d " , & c);
add(b, a, c);
add(a, b, - c);
} else {
add(a, b, - 1 );
}
}
if (Spfa()){
puts( " Unreliable " );
} else {
puts( " Reliable " );
}
}
return 0 ;
}

刚开始写错的两点：

key1:将root[i] != -1 写成 next[i] != -1了

key2:将edge[tmp].v 写成 edge[nxt].v了

太大意了，写的时候要细心啊 ！！

转载于:https://www.cnblogs.com/ylfdrib/archive/2010/07/22/1782902.html