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;
}