poj2983(查分约束)

最新推荐文章于 2019-12-18 20:08:00 发布

Stayaccept

最新推荐文章于 2019-12-18 20:08:00 发布

阅读量281

点赞数

CC 4.0 BY-SA版权

分类专栏：图论文章标签： acm poj

本文链接：https://blog.youkuaiyun.com/stay_accept/article/details/77148577

图论专栏收录该内容

72 篇文章

订阅专栏

本文介绍了一种使用SPFA算法来判断一组点之间的复杂关系是否满足特定条件的方法。通过构建图结构并利用最短路径算法，可以有效检测是否存在违反规则的情况。适用于解决包含直接差分约束和相对大小约束的问题。

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

链接：点击打开链接

题意：给出n个点，和m种关系，看是否能够满足所有关系，关系的形式有两种一种是u-v=w,一种是u-v>=1

代码：

#include <queue>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <iostream>
#include <algorithm>
using namespace std;
const int INF=0x3f3f3f3f;
int n,d[1005],deg[1005],vis[1005];
struct node{
    int to,val;
};
vector<node> G[1005];
int spfa(int S){
    int i,u,v,w;
    for(i=0;i<=n;i++){
        d[i]=INF;
        vis[i]=deg[i]=0;
    }
    queue<int> qu;
    d[S]=0,deg[S]=vis[S]=1;
    qu.push(S);
    while(qu.size()){
        u=qu.front();
        qu.pop();
        vis[u]=0;
        for(i=0;i<G[u].size();i++){
            v=G[u][i].to;
            w=G[u][i].val;
            if(d[v]>d[u]+w){
                d[v]=d[u]+w;
                if(vis[v]==0){
                    deg[v]++;
                    if(deg[v]>n)
                    return 0;
                    qu.push(v);
                }
            }
        }
    }
    return 1;
}
int main(){
    char ch;
    int m,u,v,w,i;
    while(scanf("%d%d",&n,&m)!=EOF){
        for(i=0;i<=n;i++)                       //三个约束条件
        G[i].clear();                           //u-v<=w
        for(i=1;i<=m;i++){                      //v-u<=-w
            cin>>ch;                            //v-u<=1
            if(ch=='P'){                        //直接差分约束，跑最短路，看是否有负环
                scanf("%d%d%d",&u,&v,&w);
                G[v].push_back((node){u,w});
                G[u].push_back((node){v,-w});
            }
            else{
                scanf("%d%d",&u,&v);
                G[u].push_back((node){v,-1});
            }
        }
        for(i=1;i<=n;i++)                       //建一个超级源点使图联通
        G[0].push_back((node){i,0});
        if(spfa(0))
        puts("Reliable");
        else
        puts("Unreliable");
    }
    return 0;
}