1.定义: 在有向图G中,如果两个顶点间至少存在一条路径,称两个顶点强连通(SC---strongly connected). 有向图中的极大强连通子图,成为强连通分量(SCC---strongly connected components). 下图中,子图{1,2,3,4}为一个强连通分量,因为顶点1,2,3,4两两可达,{5},{6}也分别是两个强连通分量. 2.tarjan算法-----九野讲解 tarjan算法的基础是DFS.我们准备两个数组Low和Dfn.Low数组是一个标记数组,记录…