强连通分量的定义：
在一张有向图中,如果两个点u,v之间能相互到达则称这两个点u,v是强连通的，在这个基础上如果有向图G中的任意两个顶点都强连通，那么称图G是一个强连通图。有向非强连通图的极大强连通子图称为强连通分量。极大强连通子图就是强连通子图中最大的那个，它不被其他强连通子图所包括。
概念挺多，特别混乱的感觉。理一下...
一个强连通图中的每一对顶点都必须强连通。
一个强连通图不叫做强连通分量，只叫做强连通图。
一个强连通子图G若为强连通分量那么必然是一个最大的强连通子图，也就是原图中不存在另一个图G'，使得G是G'的真子集。