[cogs 1117]奶牛排队

1117. [WC2010模拟] 奶牛排队

★   输入文件：layout.in   输出文件：layout.out   简单对比
时间限制：1 s   内存限制：128 MB

题目描述：

像每个人一样，奶牛们喜欢在排队等待领取食物和自己的朋友站在一起。FJ拥有N头奶牛，编号为1至N。它们站成一行，等待FJ派送奶牛营养餐。这些奶牛按照编号大小排列，并且由于它们都很想早点吃饭，于是就很可能出现多头奶牛挤在同一位置的情况(也就是说，如果我们认为奶牛位于数轴上，那么多头奶牛的位置坐标可能相同)。

某些奶牛之间互相喜欢，它们希望互相之间的距离至多为一个定值。某些奶牛之间互相厌恶，它们希望互相之间的距离至少为一个定值。现在给定ML个互相喜爱的奶牛对以及它们之间距离的最大值，MD个互相厌恶的奶牛对以及它们之间距离的最小值。

    你的任务是计算在满足以上条件的前提下，编号为1和编号为N的奶牛之间距离的最大可能值。

输入描述：

输入文件第一行三个整数N,ML以及MD。

此后ML行，每行包含三个用空格分开的整数A,B和D，其中A,B满足1<=A<b<= n< span="">。表示编号为A和B的奶牛之间的距离至多为D。</b<= n<>

此后MD行，每行包含三个用空格分开的整数A,B和D，其中A,B满足1<=A<b<= n< span="">。表示编号为A和B的奶牛之间的距离至少为D。</b<= n<>

输出描述：

输出文件仅包含一个整数。如果不存在任何合法的排队方式，就输出-1。如果编号1和编号N的奶牛间距离可以任意，就输出-2 。否则输出它们之间的最大可能距离。

输入样例：

4 2 1

1 3 10

2 4 20

2 3 3

输出样例：

27

数据约定：

N<=1000；

ML,MN<=10000；

D<=1000000。

也不知道是为什么，从u->v加一条正权边和从v->u加一条负权边跑出来的结果不一样，。

差分约束系统

不等式的方向

如果是最短路，则有disx - disy <= w(x, y)

反之就要变成大于等于的形式。

和最短路系统吻合

#include<iostream>#include<cstdio>#include<cstring>#include<algorithm>#define maxn 20010using namespace std;int n,ml,md;struct Edge{int to,next,dis;}e[maxn*5];int h[1010],cnt;void add(int u,int v,int d){++cnt;e[cnt].to=v;e[cnt].next=h[u];e[cnt].dis=d;h[u]=cnt;}int que[maxn*30];int vis[maxn],dis[maxn],C[maxn];int SPFA(int S){//memset(vis,0,sizeof vis);int head=0,tail=1;memset(dis,127,sizeof dis);que[head]=S;dis[S]=0;vis[S]=1;while(head!=tail){int u=que[head];for(int i=h[u];i;i=e[i].next){int v=e[i].to,w=e[i].dis;if(dis[v]>dis[u]+w){dis[v]=dis[u]+w;C[v]++;if(C[v]>n)return -1;if(!vis[v]){vis[v]=1;que[tail++]=v;}}}head++;vis[u]=0;}if(dis[n]>=dis[n+1]-10000)return -2;return dis[n];}int main(){freopen("layout.in","r",stdin);freopen("layout.out","w",stdout);scanf("%d%d%d",&n,&ml,&md);int u,v,d;for(int i=1;i<=ml;i++){scanf("%d%d%d",&u,&v,&d);add(u,v,d);}for(int i=1;i<=md;i++){scanf("%d%d%d",&u,&v,&d);add(v,u,-d);}for(int i=1;i<n;i++)add(i+1,i,0);printf("%d",SPFA(1));return 0;}