pku 3169 Layout

果然，差分约束的构图才是最关键的步骤，spfa的过程基本已经很熟了，用队列实现的话

在加边的时候，理解错了，重复加边了，s[a]-s[b]>=c 跟s[b]-s[a]>=-c 有区别么？天啊，秀逗了，我来了俩个add(a,b,c),add(b,a,-c)………………

题目有三个判断条件，存在负环，则无解，dis
=MAXINT,则可以为任意距离

#include<iostream>
#include<queue>
#define MAXINT 9999999
#define MAXN 1010
using namespace std;
int vis[MAXN],cou[MAXN],dis[MAXN],root[MAXN],n,num;
struct edge
{
int u,w,next;
}e[MAXN*20];
void add(int u,int v,int len)
{
e[num].u=v;
e[num].w=len;
e[num].next=root[u];
root[u]=num++;
}
bool spfa()
{
for(int i=1;i<=n;i++)
dis[i]=MAXINT;
dis[1]=0;
memset(vis,0,sizeof(vis));
memset(cou,0,sizeof(cou));
vis[1]=cou[1]=1;
queue<int> Q;
Q.push(1);
while(!Q.empty())
{
int t=Q.front(),k;
Q.pop();vis[t]=0;
for(int j=root[t];j!=-1;j=e[j].next)
{
k=e[j].u;
if(dis[k]>e[j].w+dis[t])
{
dis[k]=e[j].w+dis[t];
if(!vis[k])
{
vis[k]=1;
Q.push(k);
cou[k]++;
if(cou[k]>n) return 0;
}
}
}
}
return 1;
}
int main()
{
int m1,m2;
int a,b,c;
while(cin>>n>>m1>>m2)
{
memset(root,-1,sizeof(root));
num=0;
for(int i=0;i<m1;i++)
{
cin>>a>>b>>c;
add(a,b,c);
}
for(int i=0;i<m2;i++)
{
cin>>a>>b>>c;
add(b,a,-c);
}
if(spfa())
{
if(dis
!=MAXINT)
cout<<dis
<<endl;
else cout<<-2<<endl;
}
else cout<<-1<<endl;
}
return 0;
}