외부 평면 그래프를 2‑연결로 만들면서 경로폭 유지

초록

연결된 외부 평면 그래프 G가 경로폭 p를 가질 때, 저자들은 G에 간선을 추가해 2‑정점 연결이면서 외부 평면성을 유지하고, 새로운 그래프의 경로폭을 O(p) 로 제한하는 알고리즘을 제시한다. 이는 Biedl이 제기한 “경로폭을 크게 늘리지 않고 2‑연결화할 수 있는가?”라는 열린 문제를 해결하며, 최소 높이 평면 직선 그리기와 같은 응용 분야에 직접적인 영향을 미친다.

상세 분석

이 논문은 외부 평면 그래프(outerplanar graph)의 구조적 특성을 활용해, 그래프를 2‑정점 연결(2‑vertex‑connected) 상태로 강화하면서도 경로폭(pathwidth)을 크게 늘리지 않는 방법을 제시한다. 기존 연구에서는 외부 평면 그래프를 2‑연결화하면 트리폭(treewidth)이 2에서 3으로 상승하고, 이와 연관된 경로폭도 일반적으로 Θ(p·log n) 정도까지 증가할 수 있다는 점이 문제로 지적되었다. 저자들은 이러한 “폭발”을 방지하기 위해 두 단계의 핵심 아이디어를 도입한다.

첫 번째는 블록-컷 정점 트리(block‑cut tree)를 이용한 계층적 분해이다. 원래 그래프 G는 2‑연결 성분(블록)들의 트리 구조로 표현될 수 있는데, 각 블록은 자체적으로 외부 평면이며 경로폭이 p 이하이다. 저자들은 각 블록을 독립적으로 2‑연결화하고, 블록 사이의 연결을 보존하기 위해 블록‑컷 정점 트리의 간선을 따라 “보조 간선”을 삽입한다. 이때 삽입되는 간선은 항상 외부 평면성을 유지하도록, 두 정점이 동일한 외부 면(face)에 속하도록 선택한다.

두 번째는 경로폭을 제어하기 위한 “패스 커버” 기법이다. 기존의 경로폭 정의에 따라, 그래프의 모든 정점을 포함하는 경로 분해(path decomposition)를 구성한다. 저자들은 블록‑컷 트리의 깊이를 O(log n) 이하로 제한하고, 각 블록 내부의 경로 분해를 기존 p‑폭의 상수 배로 확장한다. 이후 블록 사이를 연결하는 보조 간선을 삽입할 때는, 해당 간선이 포함되는 경로 백터를 기존 백터와 겹치게 함으로써 전체 폭이 O(p) 수준에 머물게 만든다. 특히, 보조 간선이 삽입되는 순간에 발생할 수 있는 “폭 증가”를 방지하기 위해, 각 블록의 경로 분해에 가상의 “접합 백터”를 미리 배치하고, 이 백터가 새로운 간선을 흡수하도록 설계한다.

알고리즘의 시간 복잡도는 입력 그래프의 크기 n에 대해 O(n)이며, 구현상의 핵심은 (1) 블록‑컷 트리의 선형 시간 구축, (2) 각 블록에 대한 경로 분해의 상수 배 확장, (3) 보조 간선 삽입 시 경로 백터의 효율적 업데이트이다. 저자들은 또한 이 과정이 외부 평면성을 유지함을 보이기 위해, 삽입된 모든 간선이 기존 외부 면에 속하는 두 정점 사이에 놓이며, 따라서 새로운 교차가 발생하지 않음을 증명한다.

이 결과는 Biedl이 제시한 최소 높이 평면 직선 그리기 문제에 직접적인 파급 효과를 가진다. Biedl의 상수 배 근사 알고리즘은 2‑연결 외부 평면 그래프에만 적용 가능했으나, 본 논문의 변환 과정을 통해 일반 외부 평면 그래프에도 동일한 근사 비율을 보장할 수 있게 된다. 즉, 원래 그래프의 경로폭 p가 주어지면, 변환 후 그래프의 경로폭은 O(p)이며, 이는 기존 근사 알고리즘이 요구하는 입력 제한을 만족한다.

요약하면, 저자들은 블록‑컷 트리 기반의 구조적 분해와 경로폭 제어를 결합한 새로운 알고리즘을 제시함으로써, 외부 평면 그래프를 2‑연결화하면서도 경로폭을 상수 배 수준으로 유지하는 문제를 해결하였다. 이는 그래프 이론뿐 아니라 그래픽스 및 VLSI 설계와 같은 실용 분야에서도 중요한 도구가 될 전망이다.