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 20010
using 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;
}