【bzoj1731】Layout 排队布局

1731: [Usaco2005 dec]Layout 排队布局

Time Limit: 5 Sec  Memory Limit: 64 MB
Submit: 868  Solved: 495
[Submit][Status][Discuss]

Description

Like everyone else, cows like to stand close to their friends when queuing for feed. FJ has N (2 <= N <= 1,000) cows numbered 1..N standing along a straight line waiting for feed. The cows are standing in the same order as they are numbered, and since they can be rather pushy, it is possible that two or more cows can line up at exactly the same location (that is, if we think of each cow as being located at some coordinate on a number line, then it is possible for two or more cows to share the same coordinate). Some cows like each other and want to be within a certain distance of each other in line. Some really dislike each other and want to be separated by at least a certain distance. A list of ML (1 <= ML <= 10,000) constraints describes which cows like each other and the maximum distance by which they may be separated; a subsequent list of MD constraints (1 <= MD <= 10,000) tells which cows dislike each other and the minimum distance by which they must be separated. Your job is to compute, if possible, the maximum possible distance between cow 1 and cow N that satisfies the distance constraints.

当排队等候喂食时，奶牛喜欢和它们的朋友站得靠近些。FJ有N（2<=N<=1000）头奶牛，编号从1到N，沿一条直线站着等候喂食。奶牛排在队伍中的顺序和它们的编号是相同的。因为奶牛相当苗条，所以可能有两头或者更多奶牛站在同一位置上。即使说，如果我们想象奶牛是站在一条数轴上的话，允许有两头或更多奶牛拥有相同的横坐标。一些奶牛相互间存有好感，它们希望两者之间的距离不超过一个给定的数L。另一方面，一些奶牛相互间非常反感，它们希望两者间的距离不小于一个给定的数D。给出ML条关于两头奶牛间有好感的描述，再给出MD条关于两头奶牛间存有反感的描述。（1<=ML,MD<=10000，1<=L,D<=1000000）你的工作是：如果不存在满足要求的方案，输出-1；如果1号奶牛和N号奶牛间的距离可以任意大，输出-2；否则，计算出在满足所有要求的情况下，1号奶牛和N号奶牛间可能的最大距离。

Input

* Line 1: Three space-separated integers: N, ML, and MD. * Lines 2..ML+1: Each line contains three space-separated positive integers: A, B, and D, with 1 <= A < B <= N. Cows A and B must be at most D (1 <= D <= 1,000,000) apart. * Lines ML+2..ML+MD+1: Each line contains three space-separated positive integers: A, B, and D, with 1 <= A < B <= N. Cows A and B must be at least D (1 <= D <= 1,000,000) apart.

Output

* Line 1: A single integer. If no line-up is possible, output -1. If cows 1 and N can be arbitrarily far apart, output -2. Otherwise output the greatest possible distance between cows 1 and N.

Sample Input

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

INPUT DETAILS:

There are 4 cows. Cows #1 and #3 must be no more than 10 units
apart, cows #2 and #4 must be no more than 20 units apart, and cows
#2 and #3 dislike each other and must be no fewer than 3 units apart.

Sample Output

27

四只牛分别在0，7，10，27.

HINT

Source

Gold

题意：

$N$头牛排队，有一些牛希望自己和另一只牛距离不超过$D$（日久生情），

还有一些牛希望自己和另一只牛距离不小于$D$（因爱生恨）。

问满足所有条件时$1$号牛和$N$号牛的距离最远是多少？

题解：

看到形如三角形不等式的约束条件基本就可以想差分约束的建图了。

（毕竟我好像也没学过多少处理三角形不等式的方法吧）

询问距离最大值一定是计算最短路的，那么只需要将不等式转化成$s_i-s_j\leq w$的形式即可。

转换完成后跑$spfa$，这道题跟板有一点小区别：

• 当图上存在负环时，肯定不能满足所有条件，输出$-1$。
• 当$dis_n=\infty$时，$n$与$1$无约束，即可以任意大，输出$-2$。
• 否则，输出$dis_n$。

代码：

#include<algorithm>
#include<iostream>
#include<cstring>
#include<cstdio>
#include<queue>

using namespace std;
#define MAXN 100005
#define MAXM 500005
#define INF 0x3f3f3f3f
#define ll long long

int hd[MAXN],to[MAXN<<],cnt;
int nxt[MAXN<<],cst[MAXN<<];
int dis[MAXN];bool vis[MAXN]; 

inline int read(){
    int x=,f=;
    char c=getchar();
    for(;!isdigit(c);c=getchar())
        if(c=='-')
            f=-;
    for(;isdigit(c);c=getchar())
        x=x*+c-'';
    return x*f;
}

inline void addedge(int u,int v,int w){
    to[++cnt]=v,cst[cnt]=w;
    nxt[cnt]=hd[u],hd[u]=cnt;
    return;
}

inline bool spfa_dfs(int u){
    vis[u]=;
    for(int i=hd[u];i;i=nxt[i]){
        int v=to[i];
        if(dis[v]>dis[u]+cst[i]){
            if(vis[v]) return ;
            dis[v]=dis[u]+cst[i];
            if(!spfa_dfs(v)) return ;
        }
    }
    vis[u]=;
    return ;
}

inline void spfa_bfs(int s){
    memset(dis,,sizeof(dis));
    memset(vis,,sizeof(vis));
    queue<int> q;q.push(s);
    dis[s]=;vis[s]=;
    while(!q.empty()){
        int u=q.front();
        q.pop();vis[u]=;
        for(int i=hd[u];i;i=nxt[i]){
            int v=to[i];
            if(dis[v]>dis[u]+cst[i]){
                dis[v]=dis[u]+cst[i];
                if(!vis[v])
                    q.push(v),vis[v]=;
            }
        }
    }
    return;
}

int main(){
    int N=read(),M1=read(),M2=read();
    for(int i=;i<=M1;i++){
        int u=read(),v=read(),w=read();
        if(u>v) swap(u,v);
        addedge(u,v,w);
    }
    for(int i=;i<=M2;i++){
        int u=read(),v=read(),w=read();
        if(u>v) swap(u,v);
        addedge(v,u,-w);
    }
    for(int i=;i<=N;i++) addedge(i,i-,);
    memset(dis,,sizeof(dis));
    dis[]=;
    if(!spfa_dfs()){
        printf("-1\n");
        return ;
    }
    spfa_bfs();
    if(dis[N]>=INF){
        printf("-2\n");
        return ;
    }
    printf("%d\n",dis[N]);
    return ;
}