poj2983 Is the Information Reliable?

题目意思是给M个表达式，判断这些表达式下的信息是否合法，

这题属于基础的差分系统的题，转化为spfa来做

1）.对于 P A B X 形式的表达式，有A-B>=X&&A-B<=X <=> B-A<=-X&&A-B<=X,这样的话，可以转化为从A指向B 权值为-X的一条边和从B指向A，权值为X的一条边。

2）.对于 V A B 形式的表达式，可以得到A-B>=1 <=> B-A<=-1，转化为A指向B的权值为-1的边。

程序到这里，要建立<= 形式的差分系统，就必须求最短路，要判断信息是否可靠，就是看是否有负权回路，用SPFA算法优化，即可以得到解。

Tips1:要注意自身环的情况（1 1 V 1 1)

Tips2:用SPFA优化要注意添加一个超源点（给的图可能不连通），这儿有一种可以不用添加的方法是在poj上的discuss里看到的：

差分约束根本不需要什么附加顶点, 附加顶点的唯一用处就是保证图的连通性, 不让你有负环判不到的情况, 解决这种问题的最佳途径就是初始把所有顶点都加入队列, 
并且将所有dis置0, 这就相当于加了一个不存在的附加顶点, 它与所有的顶点的直连长度都是0. 但是注意在判负环时必须是"cnt>n"而不是"cnt>=n", 因为第一次所有顶点入队只是相当于
把一个附加顶点加入到队列中而已, 不应该算在cnt中, 如果在此步骤没有增加过cnt, 则">="也是可以的.

下面是AC代码：

#include <cstdio>
#include <cstring>
#include <iostream>
#include <queue>
#include <algorithm>
using namespace std;
#define inf 999999999
#define maxn 1010
#define maxm 100010
struct node
{
    int y,w,next;
}edge[maxm*4];
queue<int> que;
int first[maxn],dis[maxn],fnum[maxn],n,m,num;
bool visit[maxn];

void initGraph(int x,int y,int w)
{
	edge[++num].y=y;edge[num].w=w;
	edge[num].next=first[x];
	first[x]=num;//相当于链表的头插入法,顶点x的所有边为一个邻接表
}

bool SPFA()
{
	for(int i=1;i<=n;i++)
		initGraph(0,i,0);//建立无穷源点n+1
	memset(fnum,0,sizeof(fnum));//统计每个点入队的次数，大于n 则无解
	for(int i=0;i<=n;i++)
	{
		dis[i]=inf;
		visit[i]=0;
	}
	dis[0]=0;
	que.push(0);
	visit[0]=1;
	while(!que.empty())
	{
		int x=que.front();
		que.pop();
		visit[x]=0;
		for(int i=first[x];i!=0;i=edge[i].next)
		{
			int y=edge[i].y;
			if(dis[x]+edge[i].w<dis[y])
			{
				dis[y]=dis[x]+edge[i].w;
				if(!visit[y])
				{
					visit[y]=1;
					if(++fnum[y]>n) return 0;//无解
					//printf("fnum[%d]=%d\n",y,fnum[y] );
					que.push(y);
				}
			}
		}
	}
	return 1 ;//有解
}

int main()
{
	int A,B,X;
	char val;
	bool ok;
	while(scanf("%d%d",&n,&m)==2)
	{
		num=0;ok=true;
		memset(first,0,sizeof(first));
		while(m--)
		{
			getchar();
			scanf("%c",&val);
			if(val=='P')
			{
				scanf("%d%d%d",&A,&B,&X);
				if(A==B&&X!=0) ok=false;
				initGraph(A,B,-X);
				initGraph(B,A,X);
			}
			else
			{
				scanf("%d%d",&A,&B);
				if(A==B) ok=false;
				initGraph(A,B,-1);
			}
		}
		if(SPFA()&&ok) printf("Reliable\n");
		else printf("Unreliable\n");
	}
	return 0;
}