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

填坑…

差分约束一般是搞一个不等式组，求xn-x1的最大最小值什么的，求最大值就转化成xa<=xb+w这样的，然后建图跑最短路(这才是最终约束的)，举个例子

x1<=x0+2x2<=x0+7x3<=x0+8x2<=x1+3x3<=x2+2

那么解出来

x3<=x0+7x3<=x0+8x3<=x0+9

结果肯定是

x3<=x0+7

所以直接对于已知条件建边，大于小于可以互相转换，注意：相邻的要保证顺序。

#include<cstdio>
#include<iostream>
#include<cstring>
#include<algorithm>
#include<cmath>
#include<queue>
#define M 25000
#define N 1050
using namespace std;
int e=1,head[N];
struct edge{
    int u,v,w,next;
}ed[M];
void add(int u,int v,int w){
    ed[e].u=u; ed[e].v=v; ed[e].w=w;
    ed[e].next=head[u]; head[u]=e++;
}
int dis[N],bo[N],tim[N],n,m1,m2;
int spfa(){
    queue<int> q;
    memset(dis,0x3f,sizeof dis);
    memset(bo,0,sizeof bo);
    bo[1]=1;dis[1]=0;q.push(1);
    while(!q.empty()){
        int x=q.front();q.pop();bo[x]=0;
        for(int i=head[x];i;i=ed[i].next){
            int v=ed[i].v,w=ed[i].w;
            if(dis[v]>dis[x]+w){
                dis[v]=dis[x]+w;
                if(!bo[v]){
                    bo[v]=1;
                    q.push(v);
                    tim[v]++;
                    if(tim[v]>n)return -1;
                }
            }
        }
    }
    if(dis[n]==dis[0])return -2;
    return dis[n];
}
int main(){
    freopen("layout.in","r",stdin);
    freopen("layout.out","w",stdout);
    scanf("%d%d%d",&n,&m1,&m2);
    int u,v,w;
    for(int i=1;i<=m1;i++){
        scanf("%d%d%d",&u,&v,&w);
        if(u>v)swap(u,v);
        add(u,v,w);
    }
    for(int i=1;i<=m2;i++){
        scanf("%d%d%d",&u,&v,&w);
        if(u>v)swap(u,v);
        add(v,u,-w);
    }
    for(int i=1;i<n;i++)add(i+1,i,0);
    printf("%d\n",spfa());
    return 0;
}