[BZOJ1731][Usaco2005 dec]Layout 排队布局（差分约束）

题目描述

传送门

题目大意：牛编号为1~n在数轴上排成一排，一个位置可能有多个牛。有ml+md个限制条件，有一些牛希望两者之间的距离不超过一个给定的数L，有一些牛希望两者之间的距离不低于一个给定的数D，问第1个牛和第n个牛最大可能的距离是多少，无解-1，无限远-2

题解

一个典型的差分约束系统
对于一对点x,y(x>y)，可能列出的不等式：d(x)-d(y)<=L,d(x)-d(y)>=D，移项得出d(x)<=d(y)+L,d(y)<=d(x)-D
转化成最短路的模型，连边y->x,L；x->y,-D
然后求起点为1的最短路就行了(d(1)=0)，如果1和n不连通那么无限大，如果存在负环则无解

代码

#include<algorithm>
#include<iostream>
#include<cstring>
#include<cstdio>
#include<cmath>
#include<queue>
using namespace std;
#define N 1005
#define E 20005

int n,ml,md,inf,ans;
int tot,point[N],nxt[E],v[E],c[E];
int dis[N],cnt[N];bool vis[N];
queue <int> q;

void add(int x,int y,int z)
{
    ++tot; nxt[tot]=point[x]; point[x]=tot; v[tot]=y; c[tot]=z;
}
int spfa()
{
    memset(dis,127,sizeof(dis));inf=dis[0];
    dis[1]=0;vis[1]=1;q.push(1);cnt[1]=1;
    while (!q.empty())
    {
        int now=q.front();q.pop();
        vis[now]=0;
        for (int i=point[now];i;i=nxt[i])
            if (dis[v[i]]>dis[now]+c[i])
            {
                dis[v[i]]=dis[now]+c[i];
                if (!vis[v[i]])
                {
                    ++cnt[v[i]];
                    if (cnt[v[i]]>n) return -1;
                    vis[v[i]]=1;
                    q.push(v[i]);
                }
            }
    }
    if (dis[n]==inf) return -2;
    else return dis[n];
}
int main()
{
    scanf("%d%d%d",&n,&ml,&md);
    for (int i=1;i<=ml;++i)
    {
        int x,y,L;scanf("%d%d%d",&x,&y,&L);
        if (x<y) swap(x,y);
        add(y,x,L);
    }
    for (int i=1;i<=md;++i)
    {
        int x,y,D;scanf("%d%d%d",&x,&y,&D);
        if (x<y) swap(x,y);
        add(x,y,-D);
    }
    ans=spfa();
    printf("%d\n",ans);
}