有向グラフでの強連結とはどういうふうになっている状況なのですか？