强连通分量是有向图中的极大强连通子图。