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

差分约束的裸题，顺便学习一下差分约束。。表示以前只会差分。。发现这个东西好像就是用差分的思想转化题目模型，感觉肯定会有超强的脑洞题目= =
这题的话，我们可以对题目模型做如下转化。

对于亲密的奶牛，d[y]-d[x]<=z，那么我们连一条x->y边长为z的边，表示x,y的距离至多为z。

对于那些互相憎恶的奶牛，d[y]-d[x]>=z,那么我们连一条y->x边长为-z的边，表示从y到x的距离至少为z。
由于编号在前位置肯定在前所以add(i,i-1,0);

如果看不懂看下面这个

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

#include<cstdio>
#include<cstring>
#include<algorithm>
#define fo(i,a,b) for(int i=a;i<=b;i++)
#define fd(i,a,b) for(int i=a;i>=b;i--)
#define inf 0x3c3c3c3c

using namespace std;
const int N=3e5+5;
int n,m;
typedef long long ll;
int head[N],next[N],go[N];
int val[N],a[N],b[N],c[N];
int q[N];
int dis[N];
int t,ans,tot,m2,m1;
inline void add(int x,int y,int z)
{
    go[++tot]=y;
    next[tot]=head[x];
    val[tot]=z;
    head[x]=tot;
}
bool vis[N],flag=0;
int cnt[N];
inline void spfa()
{
    memset(dis,0x3c,sizeof(dis));
    dis[1]=0;
    q[1]=1;
    int t=0,w=1;
    vis[1]=1,cnt[1]=1;
    while (t<w)
    {
        int x=q[++t];
        for(int i=head[x];i;i=next[i])
        {
            int v=go[i];
            if (dis[v]>dis[x]+val[i])
            {
                dis[v]=dis[x]+val[i];
                if (!vis[v])
                {
                    if (cnt[v]==n)
                    {
                        flag=1;
                        return ;
                    }
                    q[++w]=v;
                    vis[v]=1;
                    cnt[v]++;
                }
            }
        }
        vis[x]=0; 
    }
}
int main()
{
    scanf("%d%d%d",&n,&m1,&m2);
    fo(i,1,m1)
    {
        int x,y,z;
        scanf("%d%d%d",&x,&y,&z);
        add(x,y,z);
    }
    fo(i,1,m2)
    {
        int x,y,z;
        scanf("%d%d%d",&x,&y,&z);
        add(y,x,-z);
    }
    fo(i,2,n)add(i,i-1,0);
    spfa();
    if (flag)printf("-1\n");
    else if(dis[n]==inf)printf("-2");
    else printf("%d\n",dis[n]);
}