uva 10510 - Cactus（仙人掌图）

题目链接：uva 10510 - Cactus

类似求强联通分量的算法，但是每次更新到反向边是，说明存在一个环，那么就将环上的点标记+1，如果有点的标记值大于等于2，说明有边存在在两个环中。

#include <cstdio>
#include <cstring>
#include <vector>
#include <algorithm>

using namespace std;
const int maxn = 1e4 + 5;

int N, M, f[maxn], cnt[maxn];
int cntlock, cntscc, pre[maxn], low[maxn];
vector<int> G[maxn];

void init () {
	scanf("%d%d", &N, &M);
	for (int i = 0; i < N; i++) G[i].clear();

	int u, v;
	while (M--) {
		scanf("%d%d", &u, &v);
		G[u].push_back(v);
	}
}

bool draw(int e, int u) {
	while (f[u] != e) {
		cnt[u]++;
		if (cnt[u] >= 2) return false;
		u = f[u];
	}
	return true;
}

bool dfs (int u) {
	low[u] = pre[u] = ++cntlock;
	for (int i = 0; i < G[u].size(); i++) {
		int v = G[u][i];
		if (!pre[v]) {
			f[v] = u;
			if (!dfs(v)) return false;
			low[u] = min(low[u], low[v]);
		} else {
			low[u] = min(low[u], pre[v]);
			if (!draw(v, u)) return false;
		}
	}
	if (low[u] == pre[u]) cntscc++;
	return true;
}

bool findSCC() {
	cntscc = cntlock = 0;
	memset(cnt, 0, sizeof(cnt));
	memset(pre, 0, sizeof(pre));
	for (int i = 0; i < N; i++)
		if (!pre[i] && !dfs(i)) return false;
	return cntscc <= 1;
}

int main () {
	int cas;
	scanf("%d", &cas);
	while (cas--) {
		init();
		printf("%s\n", findSCC() ? "YES" : "NO");
	}
	return 0;
}