BZOJ1731: [Usaco2005 dec]Layout 排队布局

n<=1000个数，从小到大，给m1<=10000条描述两个数相差不超过多少，m2<=10000条描述两个数相差至少多少，求1到n最大距离，无解-1无穷大-2。

裸的差分约束，spfa判负环。

差分约束口诀！大小短，小大长！（最大值，用≤式子，写最短路，后面同理）

#include<stdio.h>
#include<string.h>
#include<algorithm>
#include<math.h>
//#include<iostream>
using namespace std;

int n,m1,m2;
#define maxn 1011
#define maxm 20011
struct Edge{int to,v,next;};
const int inf=0x3f3f3f3f;
int x,y,v;
struct Graph
{
    Edge edge[maxm];
    int first[maxn],le;
    Graph() {memset(first,0,sizeof(first));le=2;}
    void in(int x,int y,int v)
    {
        Edge &e=edge[le];
        e.to=y;e.v=v;
        e.next=first[x];
        first[x]=le++;
    }
    int que[maxn],head,tail,ins[maxn],dis[maxn];bool vis[maxn];
    int spfa(int s,int t)
    {
        que[head=(tail=1)-1]=s;
        memset(vis,0,sizeof(vis));vis[s]=1;
        memset(ins,0,sizeof(ins));
        for (int i=1;i<=n;i++) dis[i]=inf;dis[s]=0;
        while (head!=tail)
        {
            const int now=que[head++];
            if (head==maxn) head=0;
            vis[now]=0;
            ins[now]++;
            if (ins[now]>n) return -1;
            for (int i=first[now];i;i=edge[i].next)
            {
                Edge &e=edge[i];
                if (dis[e.to]>dis[now]+e.v)
                {
                    dis[e.to]=dis[now]+e.v;
                    if (!vis[e.to])
                    {
                        vis[e.to]=1;
                        que[tail++]=e.to;
                        if (tail==maxn) tail=0;
                    }
                }
            }
        }
        return dis[t]==inf?-2:dis[t];
    }
}g;
int main()
{
    scanf("%d%d%d",&n,&m1,&m2);
    for (int i=1;i<=m1;i++)
    {
        scanf("%d%d%d",&x,&y,&v);
        g.in(min(x,y),max(x,y),v);
    }
    for (int i=1;i<=m2;i++)
    {
        scanf("%d%d%d",&x,&y,&v);
        g.in(max(x,y),min(x,y),-v);
    }
    printf("%d
",g.spfa(1,n));
    return 0;
}