有向图G的强连通分量是指-----,一个连通图的---是一个极小连通子图