布局【洛谷P4878】（差分约束）

关于差分约束

设1~u的最短路为d[u],1 ~v的最短路为d[v]，u ~v间权值w，在最短路求出后任意点对(u,v)一定满足不等
式 d[u]+w>=d[v] 即 d[v]-d[u]<=w
因此，形如xi-xj<=a的不等式可以用差分约束系统解决

同理，最长路求出后 满足 d[u]+w<=d[v] 即 d[v]-d[u]<=w
最后，求最大值就是一个<=ans的数，最小值就是>=ans的数，要根据这些需求，考虑跑最短路or最长路，建正边or负边，可以自己动手推一下

【题目描述】：

当排队等候喂食时，奶牛喜欢和它们的朋友靠近些。FJ 有N头奶牛，编号从1到N，沿一条直线站着等候喂食。奶牛排在队伍中的顺序和它们的编号是相同的。因为奶牛相当苗条，所以可能有两头或者更多奶牛站在同一位置上。如果我们想象奶牛是站在一条数轴上的话，允许有两头或更多奶牛拥有相同的横坐标。一些奶牛相互间存有好感，它们希望两者之间的距离不超过一个给定的数L。另一方面，一些奶牛相互间非常反感，它们希望两者间的距离不小于一个给定的数D。给出ML条关于两头奶牛间有好感的描述，再给出MD条关于两头奶牛间存有反感的描述。

你的工作是：如果不存在满足要求的方案，输出-1；如果1号奶牛和N号奶牛间的距离可以任意大,输出-2；否则，计算出在满足所有要求的情况下，1号奶牛和N号奶牛间可能的最大距离。

【输入描述】：

第一行读人三个整数N,ML,MD。

接下去ML行每行有三个正整数A,B,D(1<=A<B<=N),表示奶牛A和奶牛B至多相隔D的距离。

接下去MD行每行有三个正整数A,B,D(1<=A<B<=N),表示奶牛A和奶牛B至少相隔D的距离。

【输出描述】：

如果不存在满足要求的方案,输出-1；如果1号奶牛和N号奶牛间的距离可以任意大，输出-2；否则，计算出在满足所有要求的情况下，1号奶牛和N号奶牛间可能的最大距离。

【样例输入】：

4 2 1
1 3 10
2 4 20
2 3 3

【样例输出】：

27
【样例说明】：
四只牛分别在0,7,10,27。

【时间限制、数据范围及描述】：
时间：1s 空间：64M

对于 30%的数据：2<=N<=50；1<=ML+MD<=300；

对于 50%的数据：2<=N<=200；1<=ML+MD<=1000；

对于100%的数据：2<=N<=1000；1<=ML+MD<=10,000；1<=L,D<=1,000,000

思路：
因为从1出发不一定能到达所有节点
所以需要一个超级源点与所有节点相连，来判断是否有负权环

code

#include<queue>
#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
using namespace std;
const int N=40005;
const int inf=0x3f3f3f3f;
int dis[N],vis[N],cnt[N],f;
int w[N],head[N],adj[N],nxt[N],tot;
int n,ml,md;
void add(int u,int v,int W)
{
	tot++;
	nxt[tot]=head[u];
	head[u]=tot;
	adj[tot]=v;
	w[tot]=W;
} 
void spfa(int s)
{
	int i;
	queue<int> q;
	memset(dis,0x3f,sizeof(dis));
	memset(vis,0,sizeof(vis));
	memset(cnt,0,sizeof(cnt));
	dis[s]=0;
	vis[s]=1;
	q.push(s);
	while(!q.empty())
	{
		int u=q.front();
		q.pop();
		vis[u]=0;
		for(i=head[u];i;i=nxt[i])
		{
			int v=adj[i];
			if(dis[v]>dis[u]+w[i])
			{
				dis[v]=dis[u]+w[i];
				cnt[v]=cnt[u]+1;
				if(cnt[v]>=n)
				{
					f=1;
					printf("-1");
					return;
				}	
				if(!vis[v])
				{
				 	q.push(v);
					vis[v]=1;
				}
			} 
		}
	}
}
int main()
{
	//freopen("4878.in","r",stdin);
	//freopen("4878.out","w",stdout);
	int i,x,y,z;
	scanf("%d%d%d",&n,&ml,&md);
	for(i=1;i<=n;i++)
		add(0,i,0);//建立超级原点，判断负环 
	for(i=1;i<=ml;i++) 
	{
		scanf("%d%d%d",&x,&y,&z);
		add(x,y,z);
	}
	for(i=1;i<=md;i++)
	{
		scanf("%d%d%d",&x,&y,&z);
		add(y,x,-z);
	}
	spfa(0);
	if(f==1)
		return 0;
	spfa(1);
	if(f==1)
		return 0;
	if(dis[n]==inf)
		printf("-2\n");
	else
		printf("%d\n",dis[n]);
	return 0;
}