7-6-有向图强连通分量的Kosaraju算法-图-第7章-《数据结构》课本源码-严蔚敏吴伟民版
课本源码部分
第7章 图 - 有向图强连通分量的Kosaraju算法
——《数据结构》-严蔚敏.吴伟民版
源码使用说明 链接☛☛☛ 《数据结构-C语言版》（严蔚敏,吴伟民版）课本源码+习题集解析使用说明
课本源码合辑 链接☛☛☛ 《数据结构》课本源码合辑
习题集全解析 链接☛☛☛ 《数据结构题集》习题解析合辑
本源码引入的文件 链接☛ OLGraph.c
文档中源码及测试数据存放目录：数据结构\▲课本算法实现\▲07 图\06 StronglyConnectedComponents
概述
用Kosaraju算法生成有向图的强连通分量时，需要用到十字链表存储有向图，因为这种结构方便逆置有向图。
解析
有向图G中，如果两个顶点vi,vj间（vi>vj）有一条从vi到vj的有向路径，同时还有一条从vj到vi的有向路径，则称两个顶点强连通(strongly connected)。如果有向图G的每两个顶点都强连通，称G是一个强连通图。有向图的极大强连通子图，称为强连通分量(strongly connected components)。
求有向图强连通分量的通用算法是Kosaraju算法，其比较关键的部分是同时应用了原图G和反图GT。步骤一：先用对原图G进行深搜形成森林(树)，步骤二：任选一棵树对其进行深搜(注意这次深搜节点A能往子节点B走的要求是EAB存在于反图GT)，能遍历到的顶点就是一个强连通分量。余下部分和原来的森林一起组成一个新的森林，继续步骤2直到 没有顶点为止。
源码
文件一 ☛ SCC.h
文件二 ☛ SCC.c
文件三 ☛ SCC-main.c （测试文档）
文件四 ☛ TestData_DG_OL.txt（有向图的强连通分量测试数据）
测试结果展示
