HDU3594 Cactus 强连通 判断一条边是否只在一个环内

题意很简单,如果图满足

1:强连通图

2:图中每条边只处于一个环内

怎么样判断一个边只在一个环内呢?其实在没有找到一个环之前的时候,有一个DFS的过程,在这个过程中每走到一个点,我们就记录一下它是有哪一个点走下来的 也就是这个点的上一层的点,等到我们找到环的时候,我们马上返回去查找,查找那个点是 out了两次以上,那么肯定有边处于两个或者两个以上环内,就不符合了


#include<iostream>
#include<cstdio>
#include<list>
#include<algorithm>
#include<cstring>
#include<string>
#include<queue>
#include<stack>
#include<map>
#include<vector>
#include<cmath>
#include<memory.h>
#include<set>

#define ll long long

#define eps 1e-7

#define inf 0xfffffff
//const ll INF = 1ll<<61;

using namespace std;

//vector<pair<int,int> > G;
//typedef pair<int,int > P;
//vector<pair<int,int> > ::iterator iter;
//
//map<ll,int >mp;
//map<ll,int >::iterator p;



typedef struct Node{
	int from,to;
	int nex;
	int value;
};

Node edge[20000 * 500];

int head[20000 + 10],low[20000 + 10],dfn[20000 + 10],id[20000 + 10],Stack[20000 + 10],out[20000 + 10];
bool vis[20000 + 10];
int father[20000 + 10];

int vis_num,scc_num,tot,stack_num,tot2;
bool flag;

int min(int a,int b) {
	if(a<b)
		return a;
	else
		return b;
}

void clear() {
	memset(head,-1,sizeof(head));
	memset(dfn,-1,sizeof(dfn));
	memset(vis,false,sizeof(vis));
	memset(low,0,sizeof(low));
	memset(Stack,0,sizeof(Stack));
	memset(out,0,sizeof(out));
	vis_num = 0;
	scc_num = 0;
	tot = 0;
	stack_num = 0;
	flag = false;
}

void addedge(int u,int v) {
	edge[tot].from = u;
	edge[tot].to = v;
	edge[tot].nex = head[u];
	head[u] = tot++;
}

void find(int u,int v) {//这里返回去查找
	while(father[v] != u) {
		out[v]++;
		if(out[v] > 1) {
			flag = true;
			return ;
		}
		v = father[v];
	}
}

void tarjan(int v) {
	dfn[v] = low[v] = ++vis_num;
	vis[v] = true;
	Stack[stack_num++] = v;
	for(int i=head[v];i!=-1;i=edge[i].nex) {
		int u = edge[i].to;
		if(dfn[u] == -1) {
			father[u] = v;//记录上一个点是哪个点
			tarjan(u);
			low[v] = min(low[u],low[v]);
		}
		else if(vis[u]) {
			low[v] = min(dfn[u],low[v]);
			find(u,v);//遇到环了 马上返回去进行查找
		}
	}
	int tmp;
	if(low[v] == dfn[v]) {
		scc_num++;
		do {
			tmp = Stack[--stack_num];
			id[tmp] = scc_num;
			vis[tmp] = false;
		}while(tmp != v);
	}
	if(scc_num > 1) {
		flag = true;
		return;
	}
}


void cal(int n) {
	for(int i=1;i<=n;i++) {
		if(dfn[i] == -1)
			tarjan(i);
		if(flag)
			break;
	}
}

int main() {
	int t,n;
	scanf("%d",&t);
	while(t--) {
		clear();
		scanf("%d",&n);
		int a,b;
		while(true) {
			scanf("%d %d",&a,&b);
			if(a == 0 && b == 0)
				break;
			addedge(a + 1,b + 1);
		}
		cal(n);
		if(flag)
			puts("NO");
		else
			puts("YES");
	}
	return EXIT_SUCCESS;
}


HDU3594 Cactus 强连通 判断一条边是否只在一个环内

上一篇:POJ 3678 2-sat裸题


下一篇:ZOJ3232--It's not Floyd Algorithm(强连通+缩点+建图+floyd)