首先介绍概念问题,在有向图中,若 顶点v1 到 v2 存在路径,并且 v2 到 v1 存在 路径,则称 顶点 v1 和 v2 是强连通的。若 有向图 任意两个节点 都是 强连通的,则 称为强连通图。非强连通图的 极大强连通子图,为 强连通分量。
特别说明,连通的概念 属于 无向图,强连通 属于 有向图。例如:无向图:连通图,连通分量,生成树; 有向图:强连通图,强连通分量。
严蔚敏的数据结构一书中,给出了 一个 求 强连通分量的 办法,详细如下:
其实 自己 不太明白 这个算法的原理。 好在 实现 这个算法没什么问题。
除了这个方法 还有其他 三种 方法:Kosaraju,Tarjan和Gabow。以后 有空 都实现一下。
完整源代码:
源代码工程文件网盘地址:点击打开链接
// CrossLinkGraph.cpp : 定义控制台应用程序的入口点。
//有向图的十字链表表示法
#include "stdafx.h"
#include <cstdlib>
#define MAX_VEX_NUM 20
enum E_State
{
E_State_Error = 0,
E_State_Ok = 1,
};
struct ArcNode//弧节点
{
int