POJ 2983 查分约束+SPFA

点击打开链接

题意：n个点，m个条件，P，a，b，c代表a到c的距离为c，V，a，b代表a到b的距离大于等于1，问所有条件是否可以成立

思路：看了查分约束来做这道题，还可以不是很难。若固定了位置则可以写出两个表达式a-b>=c&&b-a<=c；另一个则是a-b>=c，将条件全部转化为<=的，则可以变成查分约束，用SPFA判断有没有负环即可，但是这题要注意的是，图可能不是联通的，那么我们可以有两种方法，我们可以将全部的点都压进队列，还可以建立一个源点0，与每个点的距离为0，就可以保证所有点都被检索到了#include <queue>
#include <vector>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <iostream>
#include <algorithm>
using namespace std;
typedef long long ll;
const int inf=0x3f3f3f3f;
const int maxn=1010;
int dis[maxn],cnt[maxn],head[maxn],n,m,k;
bool vis[maxn];
struct edge{
int to,w,next;
}E[maxn*200];
void add_edge(int u,int v,int w){
E[k].to=v;E[k].w=w;E[k].next=head[u];head[u]=k++;
}
bool spfa(){
queue<int>que;
memset(dis,inf,sizeof(dis));
memset(cnt,0,sizeof(cnt));
memset(vis,0,sizeof(vis));
que.push(0);dis[0]=0;
while(!que.empty()){
int t=que.front();que.pop();
vis[t]=0;
for(int i=head[t];i!=-1;i=E[i].next){
if(dis[t]+E[i].w<dis[E[i].to]){
dis[E[i].to]=dis[t]+E[i].w;
if(!vis[E[i].to]){
vis[E[i].to]=1;
que.push(E[i].to);
if(++cnt[E[i].to]>n) return 0;
}
}
}
}
return 1;
}
int main(){
int a,b,c;
char ch;
while(scanf("%d%d",&n,&m)!=-1){
k=0;
memset(head,-1,sizeof(head));
for(int i=0;i<m;i++){
getchar();
scanf("%c",&ch);
if(ch=='P'){
scanf("%d%d%d",&a,&b,&c);
add_edge(b,a,c);add_edge(a,b,-c);
}else{
scanf("%d%d",&a,&b);
add_edge(a,b,-1);
}
}
for(int i=1;i<=n;i++) add_edge(0,i,0);
int ans=spfa();
if(ans==1) printf("Reliable\n");
else printf("Unreliable\n");
}
return 0;
}