1 http://poj.org/problem?id=2983
2 判断是否存在负权回路，差分约束条件 有
3 A 到B的距离一定是 X
4 所以要 表示出来就是 insert(A,B,-x)；
5 insert(B,A,x)；
6 #include<stdio.h>
7 #include<vector>
8 #include<iostream>
9 #include<queue>
10 #include<string.h>
11 using namespace std;
12 const int N=2000;
13 int n;
14 struct node
15 {
16
17 int y;
18 int w;
19 };
20 vector<node>p[N];
21 queue<int>Q;
22 int vis[N],dis[N],time[N];
23 void init()
24 {
25 memset(vis,0,sizeof(vis));
26 memset(time,0,sizeof(time));
27
28 for(int i=0;i<=n;i++){dis[i]=999999;}
29 dis[0]=0;
30 vis[0]=1;
31 time[0]=1;
32 }
33 void insert(int x,int y,int z)
34 {
35 node q;
36 q.y=y;
37 q.w=z;
38 p[x].push_back(q);
39 }
40 int spfa(int x)
41 {
42 init();
43 while(!Q.empty())Q.pop();
44 Q.push(0);
45 while(!Q.empty())
46 {
47
48 int k=Q.front();
49 Q.pop();
50 vis[k]=0;//出来之后还可能再进
51
52 for(int i=0;i<p[k].size();i++)
53 {
54 int a=p[k][i].y;
55 int len=p[k][i].w;
56 if(dis[a]>dis[k]+len)
57 {
58
59 dis[a]=dis[k]+len;
60
61 if(!vis[a])
62 {
63 Q.push(a);
64 vis[a]=1;
65 time[a]++;
66 if(time[a]>n)return 0;
67 }
68 }
69 }
70 }
71 return 1;
72
73
74 }
75 int main()
76 {
77 int i,x,y,z,m;
78 char str[3];
79 while(~scanf("%d%d",&n,&m))
80 {
81 getchar();
82 for(i=0;i<=N;i++)p[i].clear();
83
84 for(i=0;i<m;i++)
85 {
86 scanf("%s",str);
87 if(str[0]=='P')
88 {
89 scanf("%d%d%d",&x,&y,&z);
90 insert(x,y,-z);
91 insert(y,x,z);
92 }
93 else
94 {
95 scanf("%d%d",&x,&y);
96 insert(x,y,-1);
97 }
98
99
100 }
101 for(i=1;i<=n;i++)
102 {
103 insert(0,i,0);
104 }
105 int f;
106 f=spfa(0);
107
108
109
110 if(f)printf("Reliable\n");
111 else printf("Unreliable\n");
112
113 }
114 }
