Reachability from the Capital CodeForces - 999E（tarjan模板应用 ）

题目：

Berland有n个城市和m条路。 每条路连接两个城市， 所有路都是单向的。

为了能从首都到达所有城市，需要建造的最少的新道路的数量是多少？

新建的道路也是单向的

em....其实就是说从这一点出发的“强连通”（联想一下之前做过的 最少添加几条边是这题变成强连通 模板，我们先对强连通分量缩点，找到入读为零的点的个数就行），这题跟以前那个题就是只要从源点出发可以到大所有点就行，那么我们在统计入度为零的点的时候只要不考虑源点所在的强连通分量就行了。

AC代码：

#include <iostream>
#include <cstring>
#include <cstdio>
#include <vector>
#include <algorithm>
using namespace std;
const int maxn=1e5+6;
int low[maxn],dfn[maxn],belong[maxn],in[maxn],vis[maxn],stack[maxn];
int n,m,ss,cnt=0,ans=0,index=0,temp=0;
vector<int>g[maxn];
void tarjan(int u){
	low[u]=dfn[u]=++cnt;
	stack[++index]=u;
	vis[u]=1;
	for(int i=0;i<g[u].size();i++){
		int v=g[u][i];
		if(!dfn[v]){
			tarjan(v);
			low[u]=min(low[u],low[v]);
		}
		else if(vis[v])low[u]=min(low[u],dfn[v]);
	}
	if(low[u]==dfn[u]){
		ans++;
		for(;;){
			int t=stack[index--];
			vis[t]=0;
			belong[t]=ans;
			if(t==ss)temp=ans;
			if(t==u)break;
		}
	}
}
int main(){
	cin>>n>>m>>ss;
	for(int i=1;i<=m;i++){
		int x,y;
		cin>>x>>y;
		g[x].push_back(y);
	}
	for(int i=1;i<=n;i++){
		if(!dfn[i])tarjan(i);
	}
	for(int i=1;i<=n;i++){
		for(int j=0;j<g[i].size();j++){
			int v=g[i][j];
			if(belong[i]!=belong[v]){
				in[belong[v]]++;
			}
		}
	}
	int anss=0;
	for(int i=1;i<=ans;i++){
		if(!in[i]&&i!=temp)anss++;
	} 
	//cout<<ans<<" "<<temp<<endl;
	cout<<anss<<endl;
}