POJ 3169 Layout（差分约束 spfa）

大概题意就是n只牛站一排...第一只和第n只不想站的近..然后有些约束条件，ml组的（a,b,c）代表a牛和b牛之间最多差c距离..md组的(a,b,c)代表a和b之间至少差c...

妥妥的差分约束..和上一道差分约束差不多...因为a<b...a和b之间至少差c那么如果要满足条件我们应该尽量吧a往后放得到的距离也就尽量大，就是按照b的距离-c当做a...因为如果a不是1那么就完全用不上了..所以建边的时候md组的边是(b,a,-c)...带负权的范围那么大就spfa...可能会产生环..有环就-1，距离无穷大就-2..

#include<cstring>
#include<cstdlib>
#include<cstdio>
#include<cmath>
#include<queue>
#include<stack>
#include<algorithm>
#include<iostream>
using namespace std;
#define inf 1<<30
struct node
{
    int u,v,w,next;
}edge[40000];
int head[40000],used[40000],dis[40000];
int n,t,num[40000];
void inti()
{
    t=0;
    memset(head,-1,sizeof(head));
}
void add(int u,int v,int w)
{
    edge[t].v=v;
    edge[t].w=w;
    edge[t].next=head[u];
    head[u]=t++;
}
int spfa()
{
    for(int i=1;i<=n;i++)
        dis[i]=inf;
    dis[1]=0;
    queue<int> q;
    q.push(1);
    memset(used,0,sizeof(used));
    memset(num,0,sizeof(num));
    num[1]=1;
    used[1]=1;
    while(!q.empty())
    {
        int u=q.front();
        q.pop();
        used[u]=0;
        for(int i=head[u];i!=-1;i=edge[i].next)
        {
            int v=edge[i].v;
            if(dis[v]>dis[u]+edge[i].w)
            {
                dis[v]=dis[u]+edge[i].w;
                if(used[v]==0)
                {
                    used[v]=1;
                    q.push(v);
                    num[v]++;
                    if(num[v]==n)
                        return -1;
                }
            }
        }
    }
    if(dis[n]==inf)
        return -2;
    return dis[n];
}
int main()
{
    int ml,md;
    while(scanf("%d %d %d",&n,&ml,&md)!=EOF)
    {
        int a,b,c;
        inti();
        for(int i=0;i<ml;i++)
        {
            scanf("%d %d %d",&a,&b,&c);
            add(a,b,c);
        }
        for(int i=0;i<md;i++)
        {
            scanf("%d %d %d",&a,&b,&c);
            add(b,a,-c);
        }
        int ans=spfa();
        cout<<ans<<endl;
    }
    return 0;
}