题目链接:
题目思路:
在有向无环图中,如果任意点都可以到达点 A,那么有且仅有点 A 的出度为 0。
解题方法:
通过tarjan缩点构图,变成有向无环图,然后统计新图的出度和入度得出答案。
学到的东西:
关于tarjan缩点构图后出度入度的统计方法。
代码:
/***************
tarjan即将有向图转变为有向无环图,并且将原图的每一个点的缩到点的坐标存在sccnum数组中
scc_cnt表示强连通连通分量的个数,强连通分量为1代表图中所有的点都是可达的。
******/
#include <cstdio>
#include <iostream>
#include <cstring>
#include <queue>
#include <stack>
#include <vector>
using namespace std;
const int maxn=2e5+10;
vector<int>v[maxn];//邻接表,存原图
vector<int>scc[maxn];//缩点后的图
stack<int>s;
int dfn[maxn],low[maxn],tot,ins[maxn];
//dfn是否为0可以判断点是否访问过,ins数组用来判断点是否在栈中
//dfn数组表示顶点dfs的时间戳,low[]为u能够追溯到的最早的栈中顶点的次序号
int scc_cnt;//强联通分量的个数
int sccnum[maxn];//缩点数组,表示某个点对应的缩点值,即缩完点之后的下标
int in[maxn],out[maxn];//出度入度
int n,m;
void readin()//因为初始化问题,莫名其妙的wa,真的醉
{
int x,y;
tot=0;
scc_cnt=0;
fill(ins,ins+maxn,0);
fill(sccnum,sccnum+maxn,0); fill(dfn,dfn+maxn,0);fill(low,low+maxn,0);
fill(in,in+maxn,0);
fill(out,out+maxn,0);
scanf("%d%d",&n,&m);
for(int i=1;i<=n;i++) v[i].clear(),scc[i].clear(); while(!s.empty()) s.pop();
for(int i=1;i<=m;i++){
scanf("%d%d",&x,&y);
v[x].push_back(y);
}
}
void tarjan(int x)
{
low[x]=dfn[x]=++tot;//
s.push(x);ins[x]=1;
for(int i=0;i<v[x].size();i++){
int p=v[x][i];
if(!dfn[p]){//判断点是否被访问过
tarjan(p);
low[x]=min(low[x],low[p]);
}
else if(ins[p]) low[x]=min(low[x],dfn[p]);//判断点是否在栈中
}
if(low[x]==dfn[x]){//dfs到叶子节点,开始判断,如果==就到达了某个强联通分量的根节点,dfs回溯到了这个点
scc_cnt++;
scc[scc_cnt].clear();
while(1){//得出某个强联通分量的集合
int now=s.top();
s.pop();
ins[x]=0;//出栈ins置0
if(sccnum[now]!=scc_cnt) scc[scc_cnt].push_back(x);
sccnum[now]=scc_cnt;//将该连通分量中的每个点都赋予相同的值
if(now==x) break;//通过栈找到那个点
}
}
}
int main()
{
readin();
for(int i=1;i<=n;i++){
if(!dfn[i]){
tarjan(i);
}
}
//出度入度的统计方法
for(int u=1;u<=n;u++){
for(int i=0;i<v[u].size();i++){
int uu=v[u][i];
if(sccnum[u]!=sccnum[uu]){
in[sccnum[uu]]++;
out[sccnum[u]]++;
}
}
}
int ansp=-1;
int flag=-1;
for(int i=1;i<=scc_cnt;i++){
if(out[i]==0){
flag++;
ansp=i;
}
}
if(flag==0) cout<<scc[ansp].size()<<endl;
else cout<<"0"<<endl;
}