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=;
 const int INF=<<;
 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+,INF);
     d[]=;
     for(int k=;k<n;k++)
     {
         for(int i=;i<n;i++)
         {
             if(d[i+]<INF)
                 d[i]=min(d[i+],d[i]);
         }
         for(int i=;i<ml;i++)
         {
             if(d[al[i]]<INF)
                 d[bl[i]]=min(d[bl[i]],d[al[i]]+dl[i]);
         }
         for(int i=;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=;i<ml;i++){
             scanf("%d%d%d",&al[i],&bl[i],&dl[i]);
         }
         for(int i=;i<md;i++){
             scanf("%d%d%d",&ad[i],&bd[i],&dd[i]);
         }
         solve();
         int res=d[n];
         if(d[]<){
             cout<<"-1"<<endl;
         }else if(res==INF){
             cout<<"-2"<<endl;
         }else
             cout<<res<<endl;
     }
     return ;
 }