題意：
? ? ?有一群老牛，給你m1組關系a ,b ,c，說明a,b之間的距離大于小于等于c,m2組關系a ,b ,c說明a ,b之間的距離大于等于c，問你是否有可行解，如果沒有輸出-1 ，如果有輸出1,n的最大距離，如果最大距離是INF輸出-2；

思路：

? ? ? 顯然是查分約束，這個題目的隱含條件就是任意兩點的距離都大于等于0，把這個條件加進去，然后就是一遍最短路，一定要記住在查分約束系統中，最小的可行解就跑最長路，最大的可行解救跑最短路。

#include<stdio.h> #include<string.h> #include<queue>#define N_node 1000 + 10 #define N_edge 20000 + 200 #define INF 100000000using namespace std;typedef struct {int to ,next ,cost; }STAR;STAR E[N_edge]; int list[N_node] ,tot; int s_x[N_node];void add(int a ,int b ,int c) {E[++tot].to = b;E[tot].cost = c;E[tot].next = list[a];list[a] = tot; }bool spfa(int s ,int n) {for(int i = 0 ;i <= n ;i ++)s_x[i] = INF;int mark[N_node] = {0};int in[N_node] = {0};s_x[s] = 0;mark[s] = in[s] = 1;queue<int>q;q.push(s);while(!q.empty()){int xin ,tou;tou = q.front();q.pop();mark[tou] = 0;for(int k = list[tou] ;k ;k = E[k].next){xin = E[k].to;if(s_x[xin] > s_x[tou] + E[k].cost){s_x[xin] = s_x[tou] + E[k].cost;if(!mark[xin]) {if(++in[xin] > n) return 0;mark[xin] = 1;q.push(xin);}}}} return 1; } int main () {int n ,m1 ,m2;int i ,a ,b ,c;while(~scanf("%d %d %d" ,&n ,&m1 ,&m2)){memset(list ,0 ,sizeof(list)) ,tot = 1;for(i = 1 ;i <= m1 ;i ++){scanf("%d %d %d" ,&a ,&b ,&c);add(a,b ,c);}for(i = 1 ;i <= m2 ;i ++){scanf("%d %d %d" ,&a ,&b ,&c);add(b ,a ,-c);}for(i = 1 ;i < n ;i ++)add(i + 1 ,i ,0);if(!spfa(1 ,n)) printf("-1\n");else if(s_x[n] == INF) printf("-2\n");else printf("%d\n" ,s_x[n]);}return 0; }

總結

以上是生活随笔為你收集整理的POJ 3169 差分约束的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。