下载了数据看了看，好像 tarjan 的正确性出了点问题。

但是我不觉得我能把 tarjan 板子写错，对了一下我的板子，好像也没写错。

#include<bits/stdc++.h>
using namespace std;
int n,m,a,b,x,y,z,w[88888],f[88888],pt[88888],ans;
long double r;
int l[88888],d[88888],s[88888],in[88888],c,t;
int st[88888],top;
int h[288888],fr[288888],to[288888],ne[288888],cnt=-1,s1[288888],s2[288888];
vector<pair<int,int> > e[88888];
queue<int> q;
void tarj(int u){
	l[u]=d[u]=++c;
	st[++top]=u;
	in[u]=1;
	for(int i=h[u];i;i=ne[i]){
		int v=to[i];
		if(!d[v]){
			tarj(v);
			l[u]=min(l[u],l[v]);
		}
		else if(in[v]) l[u]=min(l[u],d[v]);
	}
	if(l[u]==d[u]){
		t++;
		while(top){
			s[st[top]]=t;
			in[st[top]]=0;
			if(st[top--]==u) break;
		}
	}
}
int main(){
	scanf("%d%d",&n,&m);
	for(int i=1;i<=m;i++){
		scanf("%d%d%d%llf",&a,&b,&x,&r);
		y=0,z=x;
		while(z){
			y+=z;
			z*=r;
		}
		ne[++cnt]=h[a];
		h[a]=cnt;
		fr[cnt]=a,to[cnt]=b;
		s1[cnt]=x,s2[cnt]=y;
	}
	for(int i=1;i<=n;i++){
		if(!d[i]) tarj(i);
	}
	for(int i=0;i<=cnt;i++){
		int u=fr[i],v=to[i];
		if(s[u]==s[v]) w[s[v]]+=s2[i];
		else{
			e[s[u]].push_back(make_pair(s[v],s1[i]));
			pt[s[v]]++;
		} 
	}
	memset(f,-0x3f3f3f,sizeof(f));
	scanf("%d",&z);
	z=s[z];
	f[z]=w[z];
	n=t;
	for(int i=1;i<=n;i++){
		if(pt[i]==0){
			q.push(i);
		}
	}
	while(!q.empty()){
		int u=q.front();
		q.pop();
		for(int i=0;i<int(e[u].size());i++){
			int v=e[u][i].first,k=e[u][i].second;
			if(f[v]<f[u]+w[v]+k) f[v]=f[u]+w[v]+k;
			pt[v]--;
			if(pt[v]==0) q.push(v);
		}
	}
	for(int i=1;i<=n;i++){
		ans=max(ans,f[i]);
	}
	printf("%d",ans);
}