poj 2983——Is the Information Reliable?

softrice

于 2013-07-20 00:46:22 发布

阅读量891

点赞数

CC 4.0 BY-SA版权

分类专栏：差分约束最短路径

本文链接：https://blog.youkuaiyun.com/softshell/article/details/9387349

最短路径同时被 2 个专栏收录

16 篇文章

订阅专栏

差分约束

6 篇文章

订阅专栏

本文介绍了一种使用C++实现的差分约束系统，通过SPFA算法检测是否存在负环来判断系统是否可靠。该系统支持两种操作：设置点对间的约束条件及建立不可违反的直接约束。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

差分约束

#include<cstdio>
#include<iostream>
#include<cstring>
#include<queue>
using namespace std;
#define INF 10000001
int n,m,cnt;
int head[350001],v[350001],w[350001],next[350001];
int dis[1005],vis[1005],output[1005];
void add(int a,int b,int c)
{
	v[cnt]=b;
	w[cnt]=c;
	next[cnt]=head[a];
	head[a]=cnt++;
}
bool spfa()
{
	for(int i=1;i<=n;i++)
		dis[i]=-INF;
	memset(vis,0,sizeof(vis));
	memset(output,0,sizeof(output));
	queue<int> q;
	q.push(0);
	dis[0]=0;
	vis[0]=1;
	while(!q.empty())
	{
		int u=q.front();
		q.pop();
		vis[u]=0;
		output[u]++;
		if(output[u]>n)
			return 0;
		for(int i=head[u];i!=-1;i=next[i])
			if(dis[v[i]]<dis[u]+w[i])
			{
				dis[v[i]]=dis[u]+w[i];
				if(!vis[v[i]])
				{
					vis[v[i]]=1;
					q.push(v[i]);
				}
			}
	}
	return 1;
}
int main()
{
	while(~scanf("%d%d",&n,&m))
	{
		getchar();
		memset(head,-1,sizeof(head));
		cnt=0;
		char a[10];
		int x,y,z;
		for(int i=0;i<m;i++)
		{
			scanf("%s",a);
			if(a[0]=='P')
			{
				scanf("%d%d%d",&x,&y,&z);
				add(y,x,z);
				add(x,y,-z);
			}
			else
			{
				scanf("%d%d",&x,&y);
				add(y,x,1);	
			}
				
				
		}
		for(int i=1;i<=n;i++)
			add(0,i,0);
		if(spfa())
			cout<<"Reliable"<<endl;
		else
			cout<<"Unreliable"<<endl;
	}
	return 0;
}