#281. 排队布局

【题目描述】：

当排队等候喂食时，奶牛喜欢和它们的朋友靠近些。FJ 有N头奶牛，编号从1到N，沿一条直线站着等候喂食。奶牛排在队伍中的顺序和它们的编号是相同的。因为奶牛相当苗条，所以可能有两头或者更多奶牛站在同一位置上。如果我们想象奶牛是站在一条数轴上的话，允许有两头或更多奶牛拥有相同的横坐标。一些奶牛相互间存有好感，它们希望两者之间的距离不超过一个给定的数L。另一方面，一些奶牛相互间非常反感，它们希望两者间的距离不小于一个给定的数D。给出ML条关于两头奶牛间有好感的描述，再给出MD条关于两头奶牛间存有反感的描述。

你的工作是：如果不存在满足要求的方案，输出-1；如果1号奶牛和N号奶牛间的距离可以任意大,输出-2；否则，计算出在满足所有要求的情况下，1号奶牛和N号奶牛间可能的最大距离。

【输入描述】：

第一行读人三个整数N,ML,MD。

接下去ML行每行有三个正整数A,B,D(1<=A<B<=N),表示奶牛A和奶牛B至多相隔D的距离。

接下去MD行每行有三个正整数A,B,D(1<=A<B<=N),表示奶牛A和奶牛B至少相隔D的距离。

【输出描述】：

如果不存在满足要求的方案,输出-1；如果1号奶牛和N号奶牛间的距离可以任意大，输出-2；否则，计算出在满足所有要求的情况下，1号奶牛和N号奶牛间可能的最大距离。

【样例输入】：

4 2 1
1 3 10
2 4 20
2 3 3

【样例输出】：

27

【样例说明】：

四只牛分别在0,7,10,27。

【时间限制、数据范围及描述】：

时间：1s 空间：64M

对于 30%的数据：2<=N<=50；1<=ML+MD<=300；

对于 50%的数据：2<=N<=200；1<=ML+MD<=1000；

对于100%的数据：2<=N<=1000；1<=ML+MD<=10,000；1<=L,D<=1,000,000

【解题思路】：

差分约束跑最短路
dis[v]−dis[u]≤L⇒dis[v]−dis[u]≤L⇒从v到u连一条边权为L的边
dis[v]−dis[u]≥D⇔dis[u]−dis[v]≤−D⇒dis[v]−dis[u]≥D⇔dis[u]−dis[v]≤−D⇒从u到v连一条边权为-D的边

【AC代码】：

#include<bits/stdc++.h>
#define M(a,b) memset(a,b,sizeof(a))
using namespace std;
struct node{
    int v,w,next;
}edge[10005<<2];
int n,i,ml,md,tot,x,y,z;
int head[10005],flag[10005],dis[10005];
bool vis[10005];

inline void read(int &x){
    char ch=getchar(),c=ch;
	x=0;
    while(ch<'0' || ch>'9'){
    	 c=ch;
		 ch=getchar();
	}
    while(ch>='0' && ch<='9'){
    	x=(x<<1)+(x<<3)+ch-'0';
		ch=getchar();
	}
    if(c=='-')x=-x;
}


void add(int x,int y,int z){
    edge[++tot].v=y;
    edge[tot].w=z;
    edge[tot].next=head[x];
    head[x]=tot;
}

inline int spfa(){
    M(dis,0x3f3f3f3f);
    dis[1]=0;
    vis[1]=1;
    flag[1]=1;
    queue<int>q;
    q.push(1);
    while(!q.empty()){
        int h=q.front();
		q.pop();
        vis[h]=0;
        for(register int i=head[h];i;i=edge[i].next){
            int v=edge[i].v,w=edge[i].w;
            if(dis[v]>dis[h]+w){
                dis[v]=dis[h]+w;
                if(!vis[v]){
                    vis[v]=1;
                    if(flag[v]==n){cout<<"-1"<<endl;exit(0);}
                    flag[v]++;
                    q.push(v);
                }
            }
        }
    }
    if(dis[n]==0x3f3f3f3f)return -2;
    return dis[n];
}

int main(){
    read(n),read(ml),read(md);
    for(register int i=1;i<=ml;i++){
    	read(x),read(y),read(z);
		add(x,y,z);
	}
    for(register int i=1;i<=md;i++){
    	read(x),read(y),read(z);
		add(y,x,-z);
	}
    printf("%d",spfa());
    return 0;
}