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