有向图中的极大强连通子图称为_______。