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;   
}