간단한 2정점 2간선 연결성 테스트

초록

본 논문은 깊이 우선 탐색(DFS) 기반의 체인 분해 방식을 이용해 그래프의 2정점 연결성(2‑vertex‑connectivity)과 2간선 연결성(2‑edge‑connectivity)을 동시에 판단할 수 있는 선형 시간 알고리즘을 제시한다. 알고리즘은 모든 백엣지를 따라 형성되는 경로·사이클(체인)을 추출하고, 이 체인 집합이 특정 조건을 만족하면 그래프가 2‑연결인지, 2‑간선 연결인지, 혹은 둘 다 아닌지를 즉시 판정한다. 또한 브리지와 단절점을 동일한 절차에서 구할 수 있다.

상세 분석

이 논문의 핵심 아이디어는 DFS 트리를 기반으로 백엣지마다 하나씩 생성되는 “체인”(path 혹은 cycle)을 전부 수집하는 데 있다. DFS 과정에서 각 정점에 깊이 우선 인덱스(DFI)를 부여하고, 트리 엣지는 루트 방향으로, 백엣지는 루트에서 멀어지는 방향으로 정향한다. 백엣지 e가 시작되는 정점 v를 기준으로, e가 포함된 사이클 C(e)를 따라 아직 방문되지 않은 정점을 차례대로 방문한다. 방문 과정에서 처음으로 이미 방문된 정점을 만나면 탐색을 멈추고, 그때까지 거친 정점·엣지들의 순서를 하나의 체인으로 기록한다. 이렇게 하면 |E|‑|V|+1개의 체인이 생성되며, 각 백엣지는 정확히 하나의 체인에 대응한다.

체인 집합 C에 대한 두 가지 판정 기준이 제시된다. 첫 번째는 2‑간선 연결성 검사이다. 모든 체인이 그래프의 모든 엣지를 포함하면(즉, 체인들이 E를 완전하게 partition) 그래프는 브리지가 없으며 2‑간선 연결이다. 반대로 어떤 엣지가 어느 체인에도 포함되지 않으면 그 엣지는 브리지이며, 2‑간선 연결이 아니다. 두 번째는 2‑정점 연결성 검사이다. 그래프가 최소 차수 δ(G)≥2인 경우, C₁(첫 번째 발견된 체인)이 유일한 사이클이면 그래프는 2‑정점 연결이다. C₁ 외에 다른 사이클이 존재하면 해당 사이클이 시작되는 정점이 단절점이 된다. 따라서 C₁만 사이클이고 나머지는 모두 경로이면 그래프는 2‑연결이며, 그렇지 않으면 2‑간선 연결이지만 2‑정점 연결은 아니다.

이러한 판정은 모두 O(|V|+|E|) 시간에 수행된다. DFS 자체가 선형 시간이며, 체인 생성 과정도 각 백엣지를 한 번씩만 탐색하면 되기 때문이다. 또한, 체인 분해 결과를 이용해 브리지와 단절점을 바로 추출할 수 있다. 브리지는 어느 체인에도 속하지 않는 엣지이며, 단절점은 (i) 브리지를 incident한 정점이거나 (ii) C₁이 아닌 사이클의 첫 정점이다.

논문은 기존의 Tarjan 방식이 사용하는 low‑point 값을 완전히 배제하고, 경로‑생성 규칙만으로 동일한 정보를 얻는 점에서 교육적 가치를 강조한다. 저자는 이 방법이 직관적이며 구현이 간단해 알고리즘 입문 강의에 적합하다고 주장한다. 또한, 체인 집합이 2‑연결 그래프에서는 열린 ear decomposition, 2‑간선 연결 그래프에서는 ear decomposition과 동일한 구조를 형성한다는 점을 언급한다. 이를 통해 기존 연구에서 사용된 복잡한 구조(예: block‑cut tree, bipartite orientation)도 선형 시간 변환으로 손쉽게 얻을 수 있음을 시사한다.

전체적으로 이 논문은 DFS 기반 체인 분해라는 새로운 관점을 제시함으로써 2‑정점·2‑간선 연결성 테스트를 단순화하고, 동시에 브리지·단절점 탐색까지 통합하는 실용적인 알고리즘을 제공한다.