标签:memset out source stream puts IV queue int include
差分约束裸题,用了比较蠢的方法,先dfs_spfa判负环,再bfs_spfa跑最短路
注意到“奶牛排在队伍中的顺序和它们的编号是相同的”,所以\( d_i-d_{i-1}>=0 \),连(i,i-1,0);然后对于\( d_i-d_j<=L \),连(j,i,L);对于\( d_i-d_j>=D --> d_j-d_i<=-D \),连(i,j,-D)
然后先判负环再跑最短路即可
#include<iostream>
#include<cstdio>
#include<queue>
#include<cstring>
using namespace std;
const int N=100005,inf=1e9;
int n,l,d,h[N],cnt,dis[N];
bool v[N],flg;
struct qwe
{
int ne,to,va;
}e[N*3];
int read()
{
int r=0,f=1;
char p=getchar();
while(p>‘9‘||p<‘0‘)
{
if(p==‘-‘)
f=-1;
p=getchar();
}
while(p>=‘0‘&&p<=‘9‘)
{
r=r*10+p-48;
p=getchar();
}
return r*f;
}
void add(int u,int v,int w)
{
cnt++;
e[cnt].ne=h[u];
e[cnt].to=v;
e[cnt].va=w;
h[u]=cnt;
}
void spfa(int u)
{
if(flg)
return;
v[u]=1;
for(int i=h[u];i;i=e[i].ne)
if(dis[e[i].to]>dis[u]+e[i].va)
{
if(v[e[i].to])
{
flg=1;
return;
}
else
{
dis[e[i].to]=dis[u]+e[i].va;
spfa(e[i].to);
}
}
v[u]=0;
}
int main()
{
n=read(),l=read(),d=read();
for(int i=1;i<=l;i++)
{
int x=read(),y=read(),z=read();
add(x,y,z);
}
for(int i=1;i<=d;i++)
{
int x=read(),y=read(),z=read();
add(y,x,-z);
}
for(int i=2;i<=n;i++)
add(i,i-1,0);
for(int i=1;i<=n&&!flg;i++)
spfa(i);
if(flg)
{
puts("-1");
return 0;
}
memset(v,0,sizeof(v));
for(int i=1;i<=n;i++)
dis[i]=inf;
queue<int>q;
v[1]=1,dis[1]=0,q.push(1);
while(!q.empty())
{
int u=q.front();
q.pop();
v[u]=0;
for(int i=h[u];i;i=e[i].ne)
if(dis[e[i].to]>dis[u]+e[i].va)
{
dis[e[i].to]=dis[u]+e[i].va;
if(!v[e[i].to])
{
v[e[i].to]=1;
q.push(e[i].to);
}
}
}
printf("%d\n",dis[n]==inf?-2:dis[n]);
return 0;
}
bzoj 1731: [Usaco2005 dec]Layout 排队布局【差分约束】
标签:memset out source stream puts IV queue int include
原文地址:https://www.cnblogs.com/lokiii/p/9191549.html