POJ 2983 Is the Information Reliable? 差分约束系统

最新推荐文章于 2020-01-22 15:47:08 发布

huanghongxun

最新推荐文章于 2020-01-22 15:47:08 发布

阅读量420

点赞数

分类专栏： POJ 文章标签： POJ

本文链接：https://blog.csdn.net/huanghongxun/article/details/49824717

版权

POJ 专栏收录该内容

83 篇文章 0 订阅

订阅专栏

显然，我们可以建立不等式组，对于精确的信息，记A-B=C，拆分成A-B>=C和A-B<=C，对于模糊的信息，记B-A<=0，那么如果有解，则不矛盾，如果无解，则矛盾。

注意，使用SPFA需建立超级源点，因为建立的图不一定联通，Bellman-Ford无碍。

#include <cstdio>
#include <cstring>
#define FOR(i,j,k) for(i=j;i<=k;i++)
const int N=1001,M=201000,inf=10000000;
int dis[N], vis[N], cnt[N];
int edge, n, m;
int head[N], next[M], to[M], wei[M], q[M];
inline bool spfa() {
    int u,i,f=0,r=0;
    FOR(i,0,n) vis[i]=cnt[i]=0,dis[i]=inf;
    vis[0] = 1; dis[0] = 0; q[r++]=0;
    while(f<r) {
        u=q[f++]; vis[u]=0;
        for(i=head[u];i!=-1;i=next[i])
            if (dis[to[i]]>dis[u]+wei[i]) {
                dis[to[i]]=dis[u]+wei[i];
                if(!vis[to[i]]) {
                    vis[to[i]]=1;
                    q[r++]=to[i];
                    if(++cnt[to[i]]>n) return 0;
                }
            }
    }
    return 1;
}
inline void add(int u, int v, int w) {
    to[edge]=v; wei[edge]=w; next[edge]=head[u]; head[u]=edge++;
}
int main() {
    char ch[5];
    int i,u,v,w;
    while(scanf("%d%d",&n,&m)!=EOF) {
        edge=0;
        memset(head,-1,sizeof head);
        FOR(i,1,m) {
            scanf("%s",ch);
            if(ch[0] == 'P') {
                scanf("%d%d%d",&u,&v,&w);
				add(v,u,w);
				add(u,v,-w);
            } else {
                scanf("%d%d",&u,&v);
                add(u,v,-1);
            }
        }
        FOR(i,1,n) add(0,i,0);
        if(!spfa()) printf("Unreliable\n");
        else printf("Reliable\n");
    }
    return 0;
}

“探究线性规划在信息技术中的应用”论文引用本页，确认作者。