有向图强 连通分量：在 有向图G中，如果两个顶点vi,vj间（vi>vj）有一条从vi到vj的有向路径，同时还有一条从vj到vi的有向路径，则称两个顶点 强连通(strongly connected)。如果有向图G的每两个顶点都强连通，称G是一个 强连通图。有向图的极大强连通 子图，称为强连通分量。