题解：

首先第一个阶段，

可以写kosaraju、也可以写tarjan。

这两种还都分递归和dfs转非递归。

----------------------------------四种方案。

第二个阶段，可以写拓扑DP

也可以写最长路

----------------------------------乘上之前的，，八种方案。

本文写了kosaraju递归版，tarjan递归版，kosaraju非递归版。

……只怪学校oj系统栈太小。。都是逼得啊。

代码1（tarjan）：

#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
#define N 501000
using namespace std;
struct KSD
{
	int u,v,next;
}e[N],E[N];
int head[N],cnt,Head[N];

void add(int u,int v)
{
	cnt++;
	e[cnt].u=u;
	e[cnt].v=v;
	e[cnt].next=head[u];
	head[u]=cnt;
}
void Add(int u,int v)
{
	cnt++;
	E[cnt].v=v;
	E[cnt].next=Head[u];
	Head[u]=cnt;
}

int dfn[N],low[N];
int group,id[N];
bool in[N];

int stk[N],top;
int fee[N],Fee[N];
bool Bar[N],bar[N];
void tarjan(int x)
{
	dfn[x]=low[x]=++cnt;
	stk[++top]=x,in[x]=1;
	for(int i=head[x];i;i=e[i].next)
	{
		if(!dfn[e[i].v])
		{
			tarjan(e[i].v);
			low[x]=min(low[x],low[e[i].v]);
		}
		else if(in[e[i].v])low[x]=min(low[x],dfn[e[i].v]);
	}
	if(low[x]==dfn[x])
	{
		group++;
		do{
			in[stk[top]]=0,id[stk[top]]=group;
			Fee[group]+=fee[stk[top]];
			Bar[group]|=bar[stk[top]];
		}while(stk[top--]!=x);
	}
}
int n,m,s,p;
bool ok[N];
void bfs()
{
	int i,u,v;
	stk[top=1]=s;
	while(top)
	{
		u=stk[top--];
		ok[u]=1;
		for(i=head[u];i;i=e[i].next)
		{
			v=e[i].v;
			if(!ok[v])stk[++top]=v;
		}
	}
}
int dp[N],d[N];
int main()
{
//	freopen("test.in","r",stdin);
	int i,j,k;
	int a,b,c;
	int u,v;
	scanf("%d%d",&n,&m);
	for(i=1;i<=m;i++)scanf("%d%d",&a,&b),add(a,b);
	for(i=1;i<=n;i++)scanf("%d",&fee[i]);
	scanf("%d%d",&s,&p);
	for(i=1;i<=p;i++)scanf("%d",&c),bar[c]=true;

	for(c=cnt,cnt=0,i=1;i<=n;i++)if(!dfn[i])tarjan(i);
	bfs();
	for(cnt=0,i=1;i<=c;i++)
	{
		if((!ok[e[i].u])||(!ok[e[i].v]))continue;
		a=id[e[i].u],b=id[e[i].v];
		if(a==b)continue;
		Add(a,b);
		d[b]++;
	}

	stk[top=1]=id[s];
	int ans=0;
	while(top)
	{
		u=stk[top--];
		if(Bar[u])ans=max(ans,dp[u]+Fee[u]);
		for(i=Head[u];i;i=E[i].next)
		{
			v=E[i].v;
			dp[v]=max(dp[v],dp[u]+Fee[u]);
			d[v]--;
			if(!d[v])stk[++top]=v;
		}
	}
	printf("%d\n",ans);
	return 0;
}

代码2（kosaraju）：

#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
#define N 501000
using namespace std;
struct KSD
{
	int u,v,next;
}e[N],ez[N];
int head[N],lux[N],cnt;
inline void add(int u,int v)
{
	cnt++;
	ez[cnt].v=e[cnt].u=u;
	e[cnt].v=v;
	ez[cnt].next=lux[v];
	e[cnt].next=head[u];
	head[u]=lux[v]=cnt;
}
inline void add2(int u,int v)
{
	cnt++;
	ez[cnt].v=v;
	ez[cnt].next=lux[u];
	lux[u]=cnt;
}

bool vis[N];
int dfn[N],top;
int id[N],group;

int n,m,s,p;
int fee[N];
bool bar[N];

int Fee[N];
bool Bar[N];

void dfs1(int x)
{
	vis[x]=1;
	for(int i=head[x];i;i=e[i].next)if(!vis[e[i].v])dfs1(e[i].v);
	dfn[++top]=x;
}
void dfs2(int x)
{
	id[x]=group;
	Bar[group]|=bar[x];
	Fee[group]+=fee[x];
	for(int i=lux[x];i;i=ez[i].next)if(!id[ez[i].v])dfs2(ez[i].v);
}
int d[N],dp[N];
bool ok[N];
void bfs()
{
	int i,u,v;
	dfn[top=1]=s;
	while(top)
	{
		u=dfn[top--];
		ok[u]=1;
		for(i=head[u];i;i=e[i].next)
		{
			v=e[i].v;
			if(!ok[v])dfn[++top]=v;
		}
	}
}
int main()
{
//	freopen("test.in","r",stdin);
	int i,j,k;
	int a,b,c;
	scanf("%d%d",&n,&m);
	while(m--)scanf("%d%d",&a,&b),add(a,b);
	for(i=1;i<=n;i++)scanf("%d",&fee[i]);
	scanf("%d%d",&s,&p);
	while(p--)scanf("%d",&c),bar[c]=true;

	bfs();
	for(i=1;i<=n;i++)if(!vis[i])dfs1(i);
	for(i=top;i;i--)if(!id[dfn[i]])group++,dfs2(dfn[i]);
	memset(lux,0,sizeof(lux));
	c=cnt,cnt=0;

	for(i=1;i<=c;i++)
	{
		if(!ok[e[i].u])continue;
		a=id[e[i].u],b=id[e[i].v];
		if(a==b)continue;
		add2(a,b);
		d[b]++;
	}
	dfn[top=1]=id[s];
	int ans=0;
	while(top)
	{
		a=dfn[top--];
		if(Bar[a])ans=max(ans,dp[a]+Fee[a]);
		for(i=lux[a];i;i=ez[i].next)
		{
			c=ez[i].v;
			dp[c]=max(dp[c],dp[a]+Fee[a]),d[c]--;
			if(!d[c])dfn[++top]=c;
		}
	}
	printf("%d\n",ans);
	return 0;
}

代码3（kosaraju+主要部分转非递归）：

#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
#define N 501000
using namespace std;
struct KSD
{
	int u,v,next;
}e[N],ez[N];
int head[N],lux[N],cnt;
inline void add(int u,int v)
{
	cnt++;
	ez[cnt].v=e[cnt].u=u;
	e[cnt].v=v;
	ez[cnt].next=lux[v];
	e[cnt].next=head[u];
	head[u]=lux[v]=cnt;
}
inline void add2(int u,int v)
{
	cnt++;
	ez[cnt].v=v;
	ez[cnt].next=lux[u];
	lux[u]=cnt;
}
 
bool vis[N];
int dfn[N],top;
int id[N],group;
 
int n,m,s,p;
int fee[N];
bool bar[N];
 
int Fee[N];
bool Bar[N];

int stk[N];
int which[N];
inline void dfs1(int x)
{
	int i,u,v;
	vis[x]=1;
	which[x]=head[x];
	stk[top=1]=x;
	while(top)
	{
		u=stk[top];
		i=which[u];
		if(!i)
		{
			top--;
			dfn[++cnt]=u;
			continue;
		}
		if(!vis[v=e[i].v])
		{
			vis[v]=1;
			which[v]=head[v];
			stk[++top]=v;
		}
		which[u]=e[i].next;
	}
}/*   ***************************************这个注释部分的dfs转非递归写挂了
inline void dfs2(int x)
{
	int i,u,v;
	stk[top=1]=x;
	group++;
	while(top)
	{
		u=stk[top--];
		id[u]=group;
		Bar[group]|=bar[u];
		Fee[group]+=fee[u];
		for(i=lux[u];i;i=ez[i].next)
			if(!id[v=ez[i].v])
				stk[++top]=v;
	}
}*/
void dfs2(int x)
{
	id[x]=group;
	Bar[group]|=bar[x];
	Fee[group]+=fee[x];
	for(int i=lux[x];i;i=ez[i].next)if(!id[ez[i].v])dfs2(ez[i].v);
}
int d[N],dp[N];
bool ok[N];
void bfs()
{
	int i,u,v;
	dfn[top=1]=s;
	while(top)
	{
		u=dfn[top--];
		ok[u]=1;
		for(i=head[u];i;i=e[i].next)
		{
			v=e[i].v;
			if(!ok[v])dfn[++top]=v;
		}
	}
}
int main()
{
//	freopen("test.in","r",stdin);
	int i,j,k;
	int a,b,c;
	scanf("%d%d",&n,&m);
	while(m--)scanf("%d%d",&a,&b),add(a,b);
	for(i=1;i<=n;i++)scanf("%d",&fee[i]);
	scanf("%d%d",&s,&p);
	while(p--)scanf("%d",&c),bar[c]=true;
	c=cnt,cnt=0;

	bfs();
	for(cnt=0,i=1;i<=n;i++)if(!vis[i])dfs1(i);
	for(cnt=0,i=n;i;i--)if(!id[dfn[i]])group++,dfs2(dfn[i]);
	memset(lux,0,sizeof(lux));
 
	for(cnt=0,i=1;i<=c;i++)
	{
		if(!ok[e[i].u])continue;
		a=id[e[i].u],b=id[e[i].v];
		if(a==b)continue;
		add2(a,b);
		d[b]++;
	}
	dfn[top=1]=id[s];
	int ans=0;
	while(top)
	{
		a=dfn[top--];
		if(Bar[a])ans=max(ans,dp[a]+Fee[a]);
		for(i=lux[a];i;i=ez[i].next)
		{
			c=ez[i].v;
			dp[c]=max(dp[c],dp[a]+Fee[a]),d[c]--;
			if(!d[c])dfn[++top]=c;
		}
	}
	printf("%d\n",ans);
	return 0;
}

【BZOJ1179】【Apio2009】Atm 强连通分量缩点+拓扑DP/拓扑最长路 kosaraju+tarjan+dfs转非递归三种代码