【BZOJ5047】空间传送装置 最短路

【BZOJ5047】空间传送装置

Description

太空中一共有n座星球，它们之间可以通过空间传送装置进行转移。空间传送装置分为m种，第i种装置可以用4个参数a_i,b_i,c_i,d_i来描述。因为时空抖动的问题，在非整数时刻禁止使用空间传送装置。如果在整数s时刻使用装置，那么需要花费((a_i*s+b_i) mod c_i)+d_i单位时间才能完成传送。现在是s时刻，小Q位于1号星球，请写一个程序计算从1号星球到每个星球最少需要的时间。

Input

第一行包含4个正整数n,m,s,e(2<=n<=100000,1<=m<=50,1<=s<=2000,1<=e<=200000)

分别表示星球的个数、空间传送装置的种类数、当前的时间以及空间传送装置的个数。

接下来m行，每行4个正整数a_i,b_i,c_i,d_i(1<=a_i,b_i,c_i,d_i<=2000)，依次描述每种装置的参数。

接下来e行，每行3个正整数u_i,v_i,w_i(1<=u_i,v_i<=n,u_i!=v_i,1<=w_i<=m)

表示从星球u_i可以使用第w_i种装置单向传送到星球v_i。

Output

输出n-1行，每行一个整数，第i行表示从1到i+1的最少所需时间，若无解输出-1。

Sample Input

3 2 1 3
1 1 5 1
2 2 7 1
1 2 1
2 3 2
3 1 1

Sample Output

3
6
HINT
1到3：在时刻1使用第一种装置从1传送到2，花费时间3，再等待2单位时间，于时刻6使用第二种装置到达3，花费时间1。

题解：需要发现两个很重要的性质，如果在s时刻到达了某条边的起点，则通过这条边的最短时间是固定的。并且，s越早，通过的时间一定不会越晚，这就意味着在跑最短路时，Dijkstra的贪心策略是行得通的。

所以可以先预处理出f[i][j]代表在j时刻想要通过种类为i的边，所需要的最短时间是多少。因为有%c[i]的存在，所以j最多为3000。我们用前缀和后缀最大值来处理f数组即可。然后就能跑Dij了。

 

#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
#include <queue>
#include <utility>
#define mp(A,B) make_pair(A,B)
using namespace std;
typedef pair<int,int> pii;
int n,cnt,m,S,E;
int A[2010],B[2010],C[2010],D[2010],head[100010],val[200010],T[55][2010],tmp1[2010],tmp2[2010];
int dis[100010],vis[100010],to[200010],next[200010];
priority_queue<pii> q;
inline void add(int a,int b,int c)
{
	to[cnt]=b,val[cnt]=c,next[cnt]=head[a],head[a]=cnt++;
}
inline int rd()
{
	int ret=0,f=1;	char gc=getchar();
	while(gc<'0'||gc>'9')	{if(gc=='-')f=-f;	gc=getchar();}
	while(gc>='0'&&gc<='9')	ret=ret*10+gc-'0',gc=getchar();
	return ret*f;
}
int main()
{
	n=rd(),m=rd(),S=rd(),E=rd();
	int i,j,a,b,c,u;
	for(i=1;i<=m;i++)
	{
		A[i]=rd(),B[i]=rd(),C[i]=rd(),D[i]=rd();
		for(j=0;j<C[i];j++)	val[j]=(A[i]*j+B[i])%C[i]+D[i];
		tmp1[0]=val[0],tmp2[C[i]-1]=C[i]-1+val[C[i]-1];
		for(j=1;j<C[i];j++)	tmp1[j]=min(tmp1[j-1],j+val[j]);
		for(j=C[i]-2;j>=0;j--)	tmp2[j]=min(tmp2[j+1],j+val[j]);
		for(j=0;j<C[i];j++)	T[i][j]=min(C[i]-j+tmp1[j],tmp2[j]-j);
	}
	memset(head,-1,sizeof(head)),memset(dis,0x3f,sizeof(dis));
	for(i=1;i<=E;i++)	a=rd(),b=rd(),c=rd(),add(a,b,c);
	dis[1]=S;
	q.push(mp(-S,1));
	while(!q.empty())
	{
		u=q.top().second,q.pop();
		if(vis[u])	continue;
		vis[u]=1;
		for(i=head[u];i!=-1;i=next[i])
		{
			if(dis[to[i]]>dis[u]+T[val[i]][dis[u]%C[val[i]]])
			{
				dis[to[i]]=dis[u]+T[val[i]][dis[u]%C[val[i]]];
				q.push(mp(-dis[to[i]],to[i]));
			}
		}
	}
	for(i=2;i<=n;i++)
	{
		if(dis[i]==0x3f3f3f3f)	printf("-1
");
		else	printf("%d
",dis[i]-S);
	}
	return 0;
}//3 2 1 3 1 1 5 1 2 2 7 1 1 2 1 2 3 2 3 1 1