/*
先不說什麼。這個題目晦澀難懂,還有一種可能是我英語太渣了。 = =
差分約束條件題目的難點是“怎麼找到問題的約束條件”。
輸入邊的信息有兩種情況。P 和 V。
P i j b 表示 xi - xj = b >>>> xi - xj <= b && xi - xj >= b (即 xj - xi <= -b)
V 表示邊長不確定 xi - xj >= 1 >>>> xj - xi <= -1;
好了,列出方程後建圖,spfa即可
先要建立一個源點,源點到其他頂點之間的距離全部是0,然後用spfa判斷是否存在負環
*/
#include<iostream>
#include<cstring>
#include<queue>
#include<cstdio>
using namespace std;
const int N = 1010;
const int M = 100010;
const int inf = 0x3f3f3f3f;
typedef struct
{
int next,w,e;
} Node;
Node edge[M*3];
int head[1010];
int inqueue[1010];
bool vis[1010];
int num_edge;
int dis[1010];
int n,m;
void addedge(int u,int v,int w)
{
edge[num_edge].e = v;
edge[num_edge].w = w;
edge[num_edge].next = head[u];
head[u] = num_edge++;
}
bool spfa(int start)/*spfa 隊列*/
{
memset(vis,false,sizeof(vis));
memset(inqueue,0,sizeof(inqueue));
for(int i = 0 ; i <= n ; i++)
{
dis[i] = inf;
}
queue<int>q;
vis[start] = true;
q.push(start);
dis[start] = 0;
while(!q.empty())
{
int cur = q.front();
q.pop();
vis[cur] = false;
inqueue[cur]++;
if(inqueue[cur] > n)
{
return false;
}
for(int i = head[cur] ; i != -1 ; i = edge[i].next)
{
int x = edge[i].e;
if(dis[x] > dis[cur] + edge[i].w)
{
dis[x] = dis[cur] + edge[i].w;
if(!vis[x])
{
vis[x] = true;
q.push(x);
}
}
}
}
return true;
}
int main()
{
while(scanf("%d %d",&n,&m) != EOF )
{
memset(head,-1,sizeof(head));
num_edge = 0;
char s[5];
int u,v,w;
for(int i = 0 ; i < m ; i++)
{
scanf("%s",s);
if(s[0] == 'P')
{
scanf("%d %d %d",&u,&v,&w);
addedge(u,v,w);
addedge(v,u,-w);
}
else if(s[0] == 'V')
{
scanf("%d %d",&u,&v);
addedge(v,u,-1);
}
}
for(int i = 1; i <= n ; i++)
{
addedge(0,i,0);
}
bool flag = spfa(0);
if(flag )
{
printf("Reliable\n");
}
else
{
printf("Unreliable\n");
}
}
return 0;
}
poj 2983 Is the Information Reliable? (差分約束 spfa)
發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.