洛谷P2863 The Cow Prom 强连通分量

题意：给一个无向图n个点m条边，求图的强连通分量中size>1的分量个数
思路：用tarjan求图的强连通分量，在判断是否为强连通分量时求一下分量中节点个数，大于1则答案加1
tarjan：基于DFS的求图的强连通分量的算法，cnt表示已经访问到的节点个数，即当前时间，dfn[x]表示x是第几个被访问到的节点，low[x]表示从x能到达的最早被访问的节点，若low[x]==dfn[x]，则表示x是某个强连通分量中被访问到的第一个节点，则可以从访问栈中取出该连通分量的所有节点，并将其记录起来。

#include<iostream>
#include<cstdio>
#include<cmath>
#include<cstring>
#include<vector>
#include<queue>
#include<map>
#include<stack>
using namespace std;
typedef long long ll;
const int maxn = 10005;
const int inf = 0x3f3f3f3f;
int dfn[maxn], low[maxn], vis[maxn], cnt, ans, n, m;
vector<int> g[maxn];
stack<int> s;
void tarjan(int x)
{
	dfn[x] = low[x] = ++cnt;
	s.push(x);
	vis[x] = 1;
	for (int i = 0; i < g[x].size(); i++) {
		int v = g[x][i];
		if (!dfn[v]) {
			tarjan(v);
			low[x] = min(low[x], low[v]);
		}
		else if (vis[v])
			low[x] = min(low[x], dfn[v]);
	}
	if (low[x] == dfn[x]) {
		int k = 0;
		while (1) {
			int y = s.top(); s.pop();
			vis[y] = 0;
			k++;
			if (y == x)
				break;
		}
		if (k > 1)
			ans++;
	}
}
int main()
{
	while (cin >> n >> m) {
		for (int i = 0; i < m; i++) {
			int u, v;
			cin >> u >> v;
			g[u].push_back(v);
		}
		cnt = 0, ans = 0;
		for (int i = 1; i <= n; i++)
			if (!dfn[i])
				tarjan(i);
		cout << ans << endl;
	}
}