tarjan——洛谷P1262 间谍网络

https://www.luogu.org/problem/show?pid=1262
好像很早以前就看懂啊这道题目了；
一直没做；

对于打出NO的，其实很简单：以每个指定的点为起始点做遍历，每到一个新的点就把计数器+1，最后比一下计数器数值与n的大小即可，如果打出NO则再进行一次爆扫即可。
那么如何处理计数器大小等于n，即打出YES的呢？
退一步思考，如果这个有向图是个DAG，怎么办？
这里只需要把所有入度为0的点的权值相加即可。（这一切都建立在能控制所有间谍的基础上）
因为如果不选用入度为0的点，那这些点就是无人控制的。
选了这些点之后，图也一定能被他们及他们的子孙控制，就是说其他备选的点不用选了。
那么好吧，怎么把一个带环有向图变成DAG？

#include<bits/stdc++.h>
using namespace std;
const int N=30005;
struct cs{int to,nxt;}a[200000];
int head[N],ll;
int c[N][2],tt[N],q[N],lin[N],v[N],A[N],low[N],p[N],pp[N];
bool in[N];
int n,m,mm,x,y,t,nn,ans;
void init(int x,int y){
    a[++ll].to=y;
    a[ll].nxt=head[x];
    head[x]=ll;
}
void dfs1(int x){
    in[x]=1;
    for(int k=head[x];k;k=a[k].nxt)
        if(!in[a[k].to])dfs1(a[k].to);
}
void dfs(int x){
    tt[x]=++t;low[x]=t;in[x]=1;q[++q[0]]=x;
    for(int k=head[x];k;k=a[k].nxt){
        if(!tt[a[k].to])dfs(a[k].to);
        if(in[a[k].to])low[x]=min(low[x],low[a[k].to]);
    }
    if(low[x]==tt[x]){
        v[++nn]=1e9;
        while(1){
            lin[q[q[0]]]=nn;
            in[q[q[0]]]=0;
            v[nn]=min(v[nn],p[q[q[0]]]);
            if(q[q[0]--]==x)break;
        }
    }
}
int main()
{
    scanf("%d%d",&n,&m);
    memset(p,63,sizeof p);
    for(int i=1;i<=m;i++)scanf("%d%d",&x,&y),p[x]=y,pp[i]=x;
    scanf("%d",&mm);
    for(int i=1;i<=mm;i++){
        scanf("%d%d",&x,&y);
        init(x,y);
        c[i][0]=x;c[i][1]=y;
    }
    for(int i=1;i<=m;i++)dfs1(pp[i]);
    for(int i=1;i<=n;i++)
        if(!in[i]){printf("NO\n%d",i);exit(0);} else in[i]=0;
    for(int i=1;i<=n;i++)if(!tt[i])dfs(i);
    for(int i=1;i<=mm;i++){
        x=c[i][0];y=c[i][1];
        if(lin[x]==lin[y])continue;
        A[lin[y]]++;
    }
    for(int i=1;i<=nn;i++)if(!A[i])ans+=v[i];
    printf("YES\n%d",ans);
}