图论1

前提:有向图
强连通图:任意一个点可以到达其他所有点
强连通图分量:选择一个点集S，使得S为强连通图。