题目意思是给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;
}