Tarjan(A)强连通分量

传送门

思路：是一道强连通题。运用深搜，如果最后可以连通，并且所有的点都被遍历，则说明两两可达，否则不能

#include <stdio.h>
#include <iostream>
#include <vector>
#include <stack>
#include <string.h>
using namespace std;
const int N=10005;
int n,m,timer;
vector<int> adj[N];
bool visit[N],mark;
int number[N],low[N];
stack<int> st;
int minx(int a,int b)
{
	if(a > b) return b;
	return a;
}//比较函数，返回较小的数 
void tarjan(int rt)
{
	if(!mark) return;//当判断是一个强连通分量时，向上返回 
	number[rt]=low[rt]=++timer;//第一次遍历，时间戳和最小时间戳贮存的值相同 
	visit[rt]=true;//visit数组用来标记是否已遍历过且在栈中 
	for(unsigned i=0;i<adj[rt].size();++i)
	{
		int t=adj[rt][i];
		if(!visit[t])//相当于接着这条路向下遍历 
		{
			tarjan(t);
			low[rt]=minx(low[rt],low[t]);//更新最小时间戳 
		}
		low[rt]=minx(low[rt],number[adj[rt][i]]);//更新最小时间戳 
	}
	if(low[rt]==number[rt]&&rt!=1)
	{
		mark=false;
	}
}
int main()
{
	int a,b;
	while(scanf("%d%d",&n,&m) != EOF && (m+n))
	{
		for(int i=0;i<m;++i)
		{
			scanf("%d%d",&a,&b);
			adj[a].push_back(b);
		}
		memset(visit,0,sizeof(visit));
		timer=0;
		mark=true;//初始化 
		tarjan(1);
		if(mark && timer == n)
		{
			printf("Yes\n");
		}
		else
		{
			printf("No\n");
		}
		for(int i=1;i<=n;++i)
		{
			adj[i].clear();
		}//清空，便于下一组数据的输入 
	 } 
}