정의방향 그래프에서, 모든 정점들이 서로 도달 가능한 최대 부분 그래프⇒ SCC 내 임의의 정점 $u,v$에 대해, $u \rightarrow v$경로와 $v \rightarrow u$경로가 모두 존재특성모든 방향 그래프는 하나 이상의 SCC로 분해될 수 있음SCC들은 서로 겹치지 않음 (SCC 정의가 최대 부분 그래프이기 때문)모든 정점은 정확히 하나의 SCC에 속함방향 그래프의 SCC들을 하나의 정점으로 압축하면 DAG가 됨.SCC 찾기코사라주 알고리즘각 정점에 DFS Finishing Time을 기록Finishing Time ⇒ 오일러 경로 테크닉에서 out time의 개념과 동일함모든 간선의 방향을 뒤집은 전치 그래프에서, 탐색 종료의 역순으로 정점을 방문하여 생긴 DFS 트리가 하나의 SCC가 ..