差分约束（转最短路问题2）POJ3169

最新推荐文章于 2020-07-16 16:23:32 发布

w_uxidixi

最新推荐文章于 2020-07-16 16:23:32 发布

阅读量104

点赞数

分类专栏：最短路问题

本文链接：https://blog.csdn.net/w_udixixi/article/details/98057430

版权

最短路问题专栏收录该内容

17 篇文章 0 订阅

订阅专栏

差分约束

POJ 3169

差分约束基础例题

题目大意：一共N个牛，给出M1组数据ABC，表示B比A的距离不能超过C，再给出M2组数据A1B1C1，表示B比A的距离不能小于C，是否存在1—N的最大距离。

和上题一样，我们先列出题目给出信息转化成式子：
d[B]-d[A]<=C;
d[B1]-d[A1]>=C1,即d[A1]-d[B1]<=-C1

那么我们就可以构建出一张有向图，A到B存在一条C的边，B1到A1存在一条-C1的边，
由于这个图存在负权值的边，也没有指出是否存在负权值的环，所以使用SPFA判断是否存在负环，若存在即不存在这个最大值。

代码如下：

#include<cstdio>
#include<cstring>
#include<algorithm>
#include<iostream>
#include<string>
#include<vector>
#include<stack>
#include<bitset>
#include<cstdlib>
#include<cmath>
#include<set>
#include<list>
#include<deque>
#include<queue>
#define ll long long
#define pb push_back
using namespace std;
const int maxn=1008;
const int INF=0x3f3f3f;
int T,n,from,to,w,M1,M2;
struct edge
{
    int v;
    int cost;
    edge(int vo,int c)
    {
        v=vo;
        cost=c;
    }
};
vector<edge> E[2*maxn];
int vis[maxn];
int cnt[maxn];
int d[maxn];
int SPFA(int sx,int ex)
{
    fill(vis+1,vis+1+n,0);
    fill(d+1,d+1+n,INF);
    vis[sx]=1;
    d[sx]=0;
    queue<int> Q;
    while(!Q.empty())Q.pop();
    Q.push(sx);
    memset(cnt,0,sizeof cnt);
    cnt[sx]=1;
    while(!Q.empty())
    {
        int u=Q.front();
        Q.pop();
        vis[u]=false;
        for (int i=0; i<E[u].size(); i++)
        {
            int v=E[u][i].v;
            if (d[v]>d[u]+E[u][i].cost)
            {
                d[v]=d[u]+E[u][i].cost;
                if (!vis[v])//如果没访问过，就加入队列，并记为访问
                {
                    vis[v]=true;
                    Q.push(v);
                    if (++cnt[v]>n)
                        return -1;
                }
                //如果访问过，那么就单纯松弛一下，改变一下值就可以了
            }
        }
    }
    return d[ex];
}
int main()
{
    while(~scanf("%d%d%d",&n,&M1,&M2))
    {
        for (int i=0; i<M1; i++)
        {
            scanf("%d%d%d",&from,&to,&w);
            E[from].pb(edge(to,w));
        }
        for (int i=0; i<M2; i++)
        {
            scanf("%d%d%d",&from,&to,&w);
            E[to].pb(edge(from,-w));
        }
        int x=SPFA(1,n);
        if (x==-1) cout<<-1<<endl;
        else if (x==INF) cout<<-2<<endl;
        else cout<<x<<endl;
    }
}