POJ3169 差分约束系统（+SPFA）

大意：
n头牛编号为1到n，按照编号的顺序排成一列，每两头牛的之间的距离 >= 0。这些牛的距离存在着一些约束关系：1.有ml组（u, v, w）的约束关系，表示牛[u]和牛[v]之间的距离必须 <= w。2.有md组（u, v, w）的约束关系，表示牛[u]和牛[v]之间的距离必须 >= w。问如果这n头无法排成队伍，则输出-1，如果牛[1]和牛[n]的距离可以无限远，则输出-2，否则则输出牛[1]和牛[n]之间的最大距离。

我们假设(u)<(v)。
对u,v做ml处理时，题目有dis[v]-dis[u]<=w;
即dis[u]+w>=dis[v]，所以这里要从u到v建一条长度为w的边。

对u,v做md处理时，题目有dis[v]-dis[u]>=w;
即dis[v]+(-w)>=dis[u]，所以这里要从v到u建一条长度为-w的边。

然后求最短路即可。

特殊情况：
负环存在时取最小值会导致一个点必须要在自己前面，但那是不可能的事（输出-1）。
当dis[n]没有改变时说明1和n没有联系，即可以无穷大（输出-2）。

我的代码比较凌乱，不是很方便看懂。
（不是很理解我即便很浪费空间也不至于多花别人十几倍啊）

/*    memory:4088k    time:32ms*/#include<cstdio>#include<cstring>using namespace std;#define N 1010int n,ml,md,w[N][N];int dis[N],cnt[N],que[N];bool in[N];inline void uni(int x) {    int a,b,dis;    scanf("%d%d%d",&a,&b,&dis);    if((a>b)^(x==-1)) a^=b^=a^=b;    w[a][b]=dis*x;}int spfa() {    int hd=1,tl=1;    que[hd]=1;    dis[1]=0;    while(hd<=tl) {        int x=que[hd++%N];        in[x]=0;        for(int i=1; i<=n; i++) {            int len=dis[x]+w[x][i];            if(w[x][i]&&len<dis[i]) {                dis[i]=len;                if(!in[i]) {                    in[i]=1;                    que[++tl%N]=i;                    if(++cnt[i]>=n) return -1;                }            }        }    }    if(dis[n]==522133279) return -2;    return dis[n];}int main() {    memset(dis,31,sizeof(dis));//522133279    scanf("%d%d%d",&n,&ml,&md);    while(ml--) uni(1);    while(md--) uni(-1);    printf("%d",spfa());}