Layout POJ - 3169

题目链接：https://vjudge.net/problem/POJ-3169

题意：有一些奶牛，有些奶牛相互喜欢，他们之间的距离必须小于等于一个K。

有些奶牛相互讨厌，他们之间的距离必须大于等于一个K。问1号奶牛个n号奶牛最远能相距多少距离，

如果无法正常排队，输出 “ -1 ”，如果距离可以无限输出 “ -2 ”。

思路：第一次做差分约束问题，看过一些人的解释，这里写出自己的理解。

题目问的是”1号奶牛个n号奶牛最远能相距多少距离“，如果两个奶牛相互喜欢，那么为了满足题意，

我们可以把他们之间的距离变成他们之间能接受的最大距离，注意，这里有一种情况：

①|x - y| <= k1

②|y - z| <= k2

①②得出，③|x - z| <= k1 + k2

④|x - z| <= k3

为了满足三头奶牛的要求，我们需要得出一个满足①②④的一个相互距离，那么我们需要选min(k1 + k2 , k3)。

这样才能满足三头奶牛的要求。

如果相互讨厌：

①|x - y| >= k1 --> |y - x| <= -k1

②|y - z| >= k2 -->|z - y| <= -k2

①②得出，③|x - z| <= k1 + k2 --> |z - x| <= -(k1 + k2)

④|x - z| <= k3 --> |z - x| <= -k3

这里的负距离表示的是他们之间的距离加上这个负距离如果还是大于等于零的距离的话说明他们直接正常排队。

两个例子：①x和y最远相距1，y和z最远相距1,x和z最近相距3，

　　　　　②x和y最远相距5，y和z最远相距4,x和z最近相距3

可以自己画一下图

那么我们可以表示为 出发点u，目的点v，权值w。

喜欢（u,v,w），不喜欢（v,u,-w）。

如果无法正常排队，说明图中存在负环。可以用两个例子来尝试负环情况，

加上这里的负距离表示的是他们之间的距离加上这个负距离如果还是大于等于零的距离的话说明他们直接正常排队。

---

 #include <iostream>
 #include <cstdio>
 #include <cstring>
 #include <algorithm>
 #include <queue>
 #include <map>
 #include <cmath>
 #include <iomanip>
 using namespace std;

 typedef long long LL;
 #define inf (1LL << 25)
 #define rep(i,j,k) for(int i = (j); i <= (k); i++)
 #define rep__(i,j,k) for(int i = (j); i < (k); i++)
 #define per(i,j,k) for(int i = (j); i >= (k); i--)
 #define per__(i,j,k) for(int i = (j); i > (k); i--)

 const int N = ;
 int n,ml,md;
 int head[N];
 int tot[N];
 int dis[N];
 bool used[N];
 int cnt;//链式前项星

 struct Edge{

     int to;
     int w;
     int next;
 }e[];

 void add(int u,int v,int w){

     e[cnt].to = v;
     e[cnt].w = w;
     e[cnt].next = head[u];
     head[u] = cnt++;
 }

 void spfa(){

     rep(i,,n) dis[i] = inf;
     dis[] = ;
     queue<int> que;
     que.push();
     used[] = true;

     bool ok = true;
     while(!que.empty()){
         int u = que.front();
         que.pop();
         used[u] = false;
         if(++tot[u] == n){ //判负环
             ok = false;
             break;
         }

         for(int o = head[u]; ~o; o = e[o].next){
             int v = e[o].to;
             int w = e[o].w;

             if(dis[v] > dis[u] + w){
                 dis[v] = dis[u] + w;
                 if(!used[v]) que.push(v);
             }

         }
     }

     if(!ok) cout << - << endl;
     else if(dis[n] == inf) cout << - << endl;
     else cout << dis[n] << endl;
 }

 int main(){

     ios::sync_with_stdio(false);
     cin.tie();

     cin >> n >> ml >> md;

     rep(i,,n) head[i] = -;

     int u,v,w;
     rep(i,,ml){
         cin >> u >> v >> w;
         add(u,v,w);
     }
     rep(i,,md){
         cin >> u >> v >> w;
         add(v,u,-w);
     }

     spfa();

     getchar();getchar();

     return ;
 }