Description
和人一样,牛也喜欢站得离朋友较近的位置。FJ有N(2<=N<=1,000)头牛,编号为1..N,现在要设计一个顺序让他们站成一排给他们喂食。奶牛们按照编号顺序依次站立,允许有多只牛站在同一位置(也就是说,牛i和牛j
(i<j)
的站立位置s_i,s_j一定满足
si<=sj
,如果s_i=s_j,那么编号为i到j之间的牛也一定站在s_i处)。
有一些牛相互喜欢,希望两人的距离在某个范围内,同样也有一些牛相互不喜欢,希望两人的距离大于等于某个距离,题目中给出ML(1<=ML<=10,000)个限制描述相互喜欢的情况,给出MD(1<=MD<=10,000)个限制描述相互不喜欢的情况。
你的任务是计算,如果存在某种方案满足上述要求,输出1号牛和N号牛之间最大距离。
Analysis
典型的差分约束系统。
约束可转化为dis[x]-dis[y]>=c或dis[x]-dis[y]<=c
这就可以跑最短路了,把一个不等式成一个-1就能变号了。
Code
#include<cstdio>
#include<queue>
#include<cstring>
#include<algorithm>
#define fo(i,a,b) for(int i=a;i<=b;i++)
using namespace std;
const int N=1010,INF=2139062143;
int n,a[N][N],map[N][N],dis[N],in[N];
bool bz[N],pd;
queue<int> q;
void spfa(int S)
{
memset(dis,127,sizeof(dis));
dis[S]=0;
memset(bz,0,sizeof(bz));
bz[S]=1;
q.push(S);
while(!q.empty())
{
int u=q.front();q.pop();
bz[u]=0;
fo(i,1,a[u][0])
{
int v=a[u][i];
if(dis[v]>dis[u]+map[u][v])
{
dis[v]=dis[u]+map[u][v];
if(!bz[v])
{
bz[v]=1;
in[v]++;
if(in[v]>n) {pd=1;break;}
q.push(v);
}
}
}
}
}
int main()
{
int ml,md,x,y,z;
scanf("%d %d %d",&n,&ml,&md);
memset(map,127,sizeof(map));
fo(i,1,n)
{
a[i][++a[i][0]]=i-1;
map[i][i-1]=0;
}
fo(i,1,ml)
{
scanf("%d %d %d",&x,&y,&z);
a[x][++a[x][0]]=y;
map[x][y]=min(map[x][y],z);
}
fo(i,1,md)
{
scanf("%d %d %d",&x,&y,&z);
a[y][++a[y][0]]=x;
map[y][x]=min(map[y][x],-z);
}
spfa(1);
if(pd) printf("-1");
else
if(dis[n]==INF) printf("-2");
else
printf("%d",dis[n]);
return 0;
}