POJ3169差分约束系统

题意：有n头牛，编号为1到n，对于关系好的ml头牛，al和bl之间的距离不大于dl，关系差的md头牛，ad和bd之间的距离不大于dd，求第1头牛和第n头牛之间的距离

分析：这是一道差分约束系统的题目，先来看一下查分约束系统的资料

http://www.cnblogs.com/void/archive/2011/08/26/2153928.html

于是上述问题可以转换成最短路问题来求解，设d[i]为第1个顶点到第i个顶点的最短距离,d[al[i]]+dl[i]>=d[bl[i]]，于是d[bl[i]]-d[al[i]]<=dl[i],同理可得d[ad[i]]-d[bd[i]]<=-dd[i]，然后建立最短路来求解即可，因为存在负圈，所以用Bellman-Ford来求最短路

#include <iostream>
#include <cstdio>
#include <cstring>
#include <string>
#include <vector>
#include <algorithm>
#include <set>
#include <map>
#include <bitset>
#include <cmath>
#include <queue>
#include <stack>
using namespace std;
const int maxn=10010;
const int INF=1<<30;
int al[maxn],bl[maxn],dl[maxn]; //互相之间喜欢的牛
int ad[maxn],bd[maxn],dd[maxn];  //互相之间讨厌的牛
int n,ml,md;
int d[maxn]; //最短路

void solve()
{
    fill(d,d+n+1,INF);
    d[1]=0;
    for(int k=0;k<n;k++)
    {
        for(int i=1;i<n;i++)
        {
            if(d[i+1]<INF)
                d[i]=min(d[i+1],d[i]);
        }
        for(int i=0;i<ml;i++)
        {
            if(d[al[i]]<INF)
                d[bl[i]]=min(d[bl[i]],d[al[i]]+dl[i]);
        }
        for(int i=0;i<md;i++)
        {
            if(d[bd[i]]<INF)
                d[ad[i]]=min(d[bd[i]]-dd[i],d[ad[i]]);
        }
    }
}

int main()
{
    while(cin>>n>>ml>>md)
    {
        for(int i=0;i<ml;i++){
            scanf("%d%d%d",&al[i],&bl[i],&dl[i]);
        }
        for(int i=0;i<md;i++){
            scanf("%d%d%d",&ad[i],&bd[i],&dd[i]);
        }
        solve();
        int res=d[n];
        if(d[1]<0){
            cout<<"-1"<<endl;
        }else if(res==INF){
            cout<<"-2"<<endl;
        }else
            cout<<res<<endl;
    }
    return 0;
}