위키득계정 ↗
과학

강연결 성분

강연결 성분과학
영문명
Strongly connected component
약칭
SCC
구분 기준
양방향 경로의 존재
전체 구조
성분을 줄여 비순환 유향 그래프로 표현 가능
강연결 성분은 유향 그래프에서 방향을 따라 서로 도달할 수 있는 정점들을 최대한 모은 부분이다. 영어 약칭 SCC로 부르며 전체 정점 집합을 겹치지 않는 묶음으로 나눈다.

서로 갈 수 있는 묶음

A→B, B→A, B→C만 있다면 A와 B는 같은 강연결 성분에 속한다. C에서 돌아오는 경로가 없으므로 C는 별도 성분이다. 한쪽으로만 갈 수 있다는 사실로 두 성분을 합치지 않는다.

한 정점의 성분

고립된 정점이나 다른 정점과 왕복할 수 없는 정점은 하나만으로 강연결 성분이 될 수 있다. 정점 자신으로 가는 길이 0의 경로를 허용해 도달 관계를 다룬다. 자기 고리가 반드시 있어야 하는 것은 아니다.

성분 사이의 방향

각 성분을 한 정점으로 줄이고 서로 다른 성분 사이의 간선을 남기면 비순환 유향 그래프를 얻는다. 만약 성분들 사이에 순환이 있다면 그 정점들은 서로 왕복할 수 있어 처음부터 하나의 성분이어야 한다.

무향 연결과 구별한다

간선 방향을 지운 뒤의 연결 성분과 SCC는 같지 않을 수 있다. 여러 SCC가 한 방향 간선들로 이어져 하나의 무향 연결 부분을 이룰 수 있다. 방향이 있는 문제에서 서로소 집합으로 양 끝을 단순히 합치는 것만으로 SCC를 구할 수는 없다.

관련 문서

강연결 그래프 / 유향 그래프 / 연결 성분 / 비순환 유향 그래프 / 동치 관계 / 집합의 분할 / 서로소 집합 자료 구조