POJ 3169 Layout 差分约束系统

介绍下差分约束系统：就是多个2未知数不等式形如（a-b<=k)的形式

问你有没有解，或者求两个未知数的最大差或者最小差

转化为最短路（或最长路）

1：求最小差的时候，不等式转化为b-a>=k的标准形式建图，求最长路

2：求最大差的时候，不等式转化为b-a<=k的标准形式建图，求最短路

然后具体的写的好的博客以供大家参考

1 http://www.cnblogs.com/void/archive/2011/08/26/2153928.html

2 http://blog.csdn.net/zhang20072844/article/details/7788672

3 http://www.cnblogs.com/pony1993/archive/2012/09/01/2666996.html

注：由于spfa比较慢，所以全是正权的时候用dij，负权用spfa，写spfa的时候，有时候用堆栈写起来更快（我也不知道为啥，当然手写的更快）

代码：

#include<cstdio>
#include<cstring>
#include<queue>
#include<cstdlib>
#include<algorithm>
#include<vector>
#include<cmath>
using namespace std;
typedef long long LL;
const int N=1e3+;
const int INF=0x3f3f3f3f;
struct Edge{
   int v,w,next;
}edge[];
bool inq[N];
int tot,n,ml,md,head[N],d[N],cnt[N];
void add(int u,int v,int w){
  edge[tot].v=v;
  edge[tot].w=w;
  edge[tot].next=head[u];
  head[u]=tot++;
}
queue<int>q;
bool spfa(int s){
  for(int i=;i<=n;++i)
    d[i]=INF,cnt[i]=,inq[i]=;
  while(!q.empty())q.pop();
  d[s]=;
  q.push(s),cnt[s]=,inq[s]=true;
  while(!q.empty()){
    int u=q.front();
    q.pop();
    inq[u]=false;
    for(int i=head[u];~i;i=edge[i].next){
      int v=edge[i].v;
      if(d[v]>d[u]+edge[i].w){
        d[v]=d[u]+edge[i].w;
        if(!inq[v]){
           q.push(v);
           inq[v]=;
           ++cnt[v];
           if(cnt[v]>n)return false;
        }
      }
    }
  }
  return true;
}
int main(){
    scanf("%d%d%d",&n,&ml,&md);
    memset(head,-,sizeof(head));
    for(int i=;i<=ml;++i){
      int u,v,w;
      scanf("%d%d%d",&u,&v,&w);
      add(u,v,w);
    }
    for(int i=;i<n;++i)add(i+,i,);
    for(int i=;i<=md;++i){
      int u,v,w;
      scanf("%d%d%d",&u,&v,&w);
      add(v,u,-w);
    }
    if(!spfa())printf("-1\n");
    else{
      if(d[n]==INF)printf("-2\n");
      else printf("%d\n",d[n]);
    }
    return ;
}