DFS判断是否有环

题目

下图有 N 个顶点，这些顶点由 N 条双向边连接。方便起见，所有顶点按 1 到 N 进行编号。
这样的图表必须只有一个循环,构成循环的顶点编号的总和定义为该图表的循环指数。

如上图有 6 个顶点由 6 条双向边相连，其构成循环的顶点为 ③、④、⑥，那么此图的循环指数为这些顶点编号的总和，为 13。
给定图的信息，请计算出给定图的循环指数。

[限制条件]
1.顶点和边的数量 N 为介于 3 到 1,000 之间的整数。
2.不存在两端顶点相同的重复的边。

[输入]
首先，给定测试用例数量 T，后面接着输入 T 种测试用例。在每个测试用例的第一行，给定顶点和边的数量 N，以空格分隔。接下来的 N 行，每行以 A B（即边两端的顶点编号 A 和 B）的格式给定一条边的信息，以空格分隔。

[输出]
按标准格式依次输出每个测试用例的答案。每个测试用例，都输出“#x”（其中 x 表示测试用例编号，从 1 开始）加上一个空格（不包含引号），然后输出相关测试用例的答案。

[输入和输出示B
(输入)
1
6
1 6
5 1
5 2
4 6
3 4
3 6

(输出)
#1 13

思路

dfs搜索图的每一个节点，这里有一个体现dfs遍历图和检测环的明显差异点，这里定义了一个visited数组用来表示是否访问过，但同时定义了一个inStack数组表示当前节点是否在遍历路径中。因为在dfs过程中，如果遇到一个已经在当前遍历路径上的顶点，那么就意味着找到了一个环。如果没有inStack数组，就无法检测到这种情况，因为visited数组只能告诉我们一个顶点是否已经被访问过，而无法告诉我们它是否在当前正在遍历的路径上。

代码

代码如下（示例）：

import java.util.*;

public class xunhuanzhishu {
	static int T,N;//顶点和边的数量N
	static int Edge[][];//表示图
	static int tree[];//记录当前dfs遍历路径的数组
	static int treeIndex;//tree数组的当前索引
	static boolean visited[];
	static boolean inStack[];//定义一个记录节点是否正在访问的数组
	static int CycleSum = 0;//初始化最大循环指数为0

	
	public static void main(String[] args)throws Exception{
		Scanner sc = new Scanner(System.in);
		T = sc.nextInt();
		for(int test_case = 1; test_case <=T; test_case++) {
			N = sc.nextInt();
			Edge = new int [N][2];
			visited = new boolean[N+1];
			tree = new int[N+1];
			treeIndex = 0;//初始化tree数组的索引
			for(int i = 0; i <N; i++) {
				Edge[i][0]= sc.nextInt();
				Edge[i][1]= sc.nextInt();
			}
			boolean hasCycle = true;
			inStack = new boolean[N+1];
			CycleSum = 0;//初始化最大循环指数为0
			for(int i = 1; i <= N; i++) {
				if(!visited[i]) {//若当前节点没有访问过
					if(dfs(i)) {//则从当前节点开始dfs遍历
						hasCycle = true;//若有环，标记为true
						break;
					}
				}
			}
			if(hasCycle) {
				System.out.println("#" + test_case + " " + CycleSum);
			}else {
				System.out.println("#" + test_case + " " + "0");
			}			 
		}
	}
	
	public static boolean dfs(int node) {
		visited[node] = true;
		inStack[node] = true;//标记当前节点
		tree[treeIndex++] = node;//将当前节点加入tree数组中
		
		for(int[] edge : Edge) {
			if(edge[0] == node || edge[1] == node) {//如果边的一个顶点是当前节点
				int neighbor = edge[0] == node ? edge[1] : edge[0];//判断当前遍历节点是edge[1]还是[0],若是0怎返回1否则返回0
				if(!visited[neighbor]) {//若相邻节点未被访问过
					if(dfs(neighbor)) {
						return true;
					}
				}else if(inStack[neighbor]){
					int CycleSum = 0;
					int index = treeIndex -1;
					while(tree[index] != neighbor) {//回溯到环的起始节点
						CycleSum += tree[index];//累加环上的顶点编号
						index--;
					}
					CycleSum += neighbor;
					//把CycleSum从局部变量变成外部变量
					xunhuanzhishu.CycleSum = CycleSum;
					return true;
				
				}
			}
		}
		
		treeIndex--;//回溯
		inStack[node] = false;//标记当前节点不在当前遍历路径上
		return false;

	}
}