在有向图G中，如果两点互相可达，则称这两个点强连通，如果G中任意两点互相可达，则称G是强连通图。定理：1、一个有向图是强连通的，当且仅当G中有一个回路，它至少包含每个节点一次。      2、非强连通有向图的极大强连通子图，称为强连通分量（SCC即...