[ZROJ-961]路径长度 Solution

最新推荐文章于 2024-01-07 09:31:32 发布

原创最新推荐文章于 2024-01-07 09:31:32 发布 · 180 阅读

0 ·

CC 4.0 BY-SA版权

Solution 专栏收录该内容

33 篇文章

订阅专栏

本文探讨了在有向无环图中优化路径查询算法的方法，特别是在路径长度限制下，通过智能存储和拓扑排序来减少不必要的计算，从而提高效率。文章详细介绍了如何避免重复计算和无效节点存储，提出了一种有效的合并策略。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

给你一个有向无环图， $Q$ 次询问，每次问 $1$ 到 $k$ 是否有一条路径长度 $s$ 满足 $k≤s≤1.1×kk\leq s\leq1.1\times k$ 。
如果直接暴力背包，是得不到满分的，好像空间也存不下，考虑如何优化？哪些点存下来是没有必要的呢？考虑这种情况： $11.1x≤y≤x\frac{1}{1.1}x\leq y\leq x$ ，这种情况下 $y$ 是没有存在的必要的。所以我们不必存它。
所以就可以直接拓扑，然后归并答案，对于每个询问直接暴力扫也是可以的。因为按照上述方法存点差不多每个点只会存 $400$ 个值。
$c o d e :$

#include <bits/stdc++.h>
#define int long long
#define regi register int
int n,m,q;
int in[200001];
long long f[200001][401];
int Tot[200001];
int head[500001],tot;
long long temp[200001];
std::queue<int>Q;
struct edge{
	int to;
	int nxt;
	int w;
}e[1000001];
inline int read(){
    int r=0,w=0,c;
    for(;!isdigit(c=getchar());r=c);
    for(w=c^48;isdigit(c=getchar());w=w*10+(c^48));
    return r^45?w:-w;
}
inline void add(int x,int y,int z){
	e[++tot]={y,head[x],z};head[x]=tot;
}
inline long long calc(long long x){
	return x*11/10;
}
inline void merge(int x,int y,int z){
	if(!Tot[x]&&!Tot[y])
	  return;
  regi i=1,j=1,tail=0;
	while(i<=Tot[x]&&j<=Tot[y])
	  if(f[x][i]+z<=f[y][j])
		  temp[++tail]=f[x][i++]+z;
		else
		  temp[++tail]=f[y][j++];
	while(i<=Tot[x])
	  temp[++tail]=f[x][i++]+z;
	while(j<=Tot[y])
	  temp[++tail]=f[y][j++];
  f[y][Tot[y]=1]=temp[1];
  f[y][0]=0;
  for(regi i=2;i<=tail;++i)
    if(temp[i]<=calc(f[y][Tot[y]-1]))
      f[y][Tot[y]]=temp[i];
    else
      f[y][++Tot[y]]=temp[i];
}
main(){
	n=read(),m=read(),q=read();
	for(regi i=1,x,y,z;i<=m;++i){
		x=read(),y=read(),z=read();
		add(x,y,z);
		in[y]++;
	}
	Tot[1]=1;
	f[1][1]=0;
	for(regi i=1;i<=n;++i)
	  if(!in[i])
	    Q.push(i);
	while(!Q.empty()){
		regi x=Q.front();
		Q.pop();
		for(regi i=head[x];i;i=e[i].nxt){
			regi y=e[i].to;
			regi z=e[i].w;
			merge(x,y,z);
			if(!--in[y])
			  Q.push(y);
		}
	}
	while(q--){
		regi x=read(),y=read();
		bool flag=0;
		for(regi i=1;i<=Tot[x];++i)
		  flag|=(y<=f[x][i]&&calc(y)>=f[x][i]);
		flag?puts("YES"):puts("NO");
	}
  return 0;
}