bzoj 1731: [Usaco2005 dec]Layout 排队布局【差分约束】

差分约束裸题，用了比较蠢的方法，先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 排队布局【差分约束】

最新文章

热门文章