思路：
①在 Tarjan 的基础上加一个 belong 记录每个点属于哪个强连通分量。
②存图完成后，暴力地遍历全图，查找是否要间谍不愿受贿。
inline void dfs(int u)
{
if(vis[u]) return ;
vis[u]=true,tot++;
for(int i=head[u];i;i=t[i].nex)
dfs(t[i].to);
}//遍历
遍历完后，看看那个间谍没被搜索过（vis数组记录），就把那个不受贿的间谍抓出来。
③如果所有的间谍都愿意受贿，就继续。可以开一个smon数组，记录每个强连通分量中间谍愿意受贿的最小的钱数。结合belong数组（因为一个强连通分量只要让一个间谍受贿，就能拖出这个强连通分量中所有的间谍。），用ans记录所需总的钱数，输出。
AC代码：
#include<iostream>
#include<cstdio>
#include<cmath>
#include<cstdlib>
#include<cstring>
#include<string>
#include<algorithm>
#include<queue>
#include<stack>
#include<deque>
using namespace std;
#define maxn 3001
#define maxm 9000000
#define INF 0x3f3f3f3f
int n,m,cnt,tot,dfn[maxn],low[maxn],sta[maxn],belong[maxn],rd[maxn],smon[maxn],mon[maxn];
//belong记录每个点属于哪个强连通分量，rd记录每个点的入度，smon记录间谍网络中每个连通块的最小受贿的钱，mon记录每个间谍的受贿所需的钱
bool vis[maxn];
struct hh
{
int nex,to;
}t[maxm];
int tto=,head[maxm];//链式前向星
inline void add(int nex,int to)
{
t[++tto].nex=head[nex];
t[tto].to=to;
head[nex]=tto;
}//存图部分
inline void dfs(int u)
{
if(vis[u]) return ;
vis[u]=true,tot++;
for(int i=head[u];i;i=t[i].nex)
dfs(t[i].to);
}//遍历初始图
inline int read()
{
char kr=;
char ls;
for(;ls>''||ls<'';kr=ls,ls=getchar());
int xs=;
for(;ls>=''&&ls<='';ls=getchar())
{
xs=xs*+ls-;
}
if(kr=='-') xs=-xs;
return xs;
}//快读
inline void tarjan(int u)//tarjan的模板
{
dfn[u]=low[u]=++tot;
vis[u]=true;
sta[++cnt]=u;
for(int i=head[u];i;i=t[i].nex)
{
int v=t[i].to;
if(!dfn[v])
{
tarjan(v);
low[u]=min(low[u],low[v]);
}
else if(vis[v])
{
low[u]=min(low[u],dfn[v]);
}
}//日常操作
if(dfn[u]==low[u])
{
smon[u]=INF;
do
{
vis[sta[cnt]]=false;
belong[sta[cnt]]=u;
smon[u]=min(smon[u],mon[sta[cnt]]);//取连通块中间谍受贿的最小值，更新smon
cnt--;
}while(sta[cnt+]!=u);
}
}
int main()
{
n=read();m=read();
for(int i=;i<=n;i++)
mon[i]=INF;//不受贿的间谍设为一个极大值
for(int i=;i<=m;i++)
{
int x,y;
x=read();y=read();
mon[x]=y;//读入受贿间谍要的钱
}
m=read();
for(int i=;i<=m;i++)
{
int x,y;
x=read();y=read();
add(x,y);//加边存图
}
for(int i=;i<=n;i++)
if(mon[i]!=INF)
dfs(i);//遍历全图，确定是否有间谍不愿被收买
for(int i=;i<=n;i++)
{
if(!vis[i])//找到那个不愿被收买的间谍
{
printf("NO\n%d",i);
return ;//直接结束程序
}
}
tot=;
for(int i=;i<=n;i++)
vis[i]=;//初始化vis
for(int i=;i<=n;i++)
if(mon[i]!=INF && !dfn[i])
tarjan(i);//tarjan记录强连通分量数，及每个强连通分量的smon
for(int i=;i<=n;i++)
{
for(int j=head[i];j;j=t[j].nex)
{
if(belong[i]!=belong[t[j].to])
rd[belong[t[j].to]]++;//统计每个强连通分量的入度 （找入度为0的点）
}
}
int ans=;
for(int i=;i<=n;i++)
if(belong[i]==i && !rd[i])
ans+=smon[i];//入度为0的点，即为连通块的起点，且smon已经被更新，直接加入答案
printf("YES\n%d",ans);//输出
return ;
}
其实也没有想象中的那么暴力，手写栈+inline后，最慢的一个点都只用了4ms。