Java实现有向图强连通分量的Tarjan算法

最新推荐文章于 2024-04-25 09:49:47 发布

南墙

最新推荐文章于 2024-04-25 09:49:47 发布

阅读量1.2w

点赞数 19

分类专栏： # 算法文章标签： Java 有向图强连通分量的Tarjan算法 Tarjan 有向图

本文链接：https://blog.csdn.net/a1439775520/article/details/97399697

版权

本文介绍了有向图中强连通分量的概念，并详细解析了Tarjan算法，这是一种基于深度优先搜索的算法，用于找出有向图的强连通分量。通过定义DFN和Low值，当两者相等时，可以确定一个强连通分量。文章还提供了具体的Java代码实现和运行结果。

摘要由CSDN通过智能技术生成

1 问题描述
引用自百度百科：

如果两个顶点可以相互通达，则称两个顶点强连通(strongly connected)。如果有向图G的每两个顶点都强连通，称G是一个强连通图。有向图的极大强连通子图，称为强连通分量(strongly connected components)。

Tarjan算法是基于对图深度优先搜索的算法，每个强连通分量为搜索树中的一棵子树。搜索时，把当前搜索树中未处理的节点加入一个堆栈，回溯时可以判断栈顶到栈中的节点是否为一个强连通分量。
定义DFN(u)为节点u搜索的次序编号(时间戳)，Low(u)为u或u的子树能够追溯到的最早的栈中节点的次序号。
当DFN(u)=Low(u)时，以u为根的搜索子树上所有节点是一个强连通分量。

2 解决方案
下面代码所使用图：

在这里插入图片描述

package com.liuzhen.practice;

import java.util.ArrayList;
import java.util.Scanner;
import java.util.Stack;

public class Main {
    public static int MAX = 100;
    public static int count;   //用于对图中顶点遍历的次序进行计数
    public static int n;
    public static int[] DFN = new int[MAX];    //记录图中每个节点的DFS遍历的时间戳(即次序)
    public static int[] Low = new int[MAX];