공통 그래프가 2연결인 경우 동시 평면성 검사

초록

두 평면 그래프가 공유하는 정점·간선이 2‑연결인 경우, 두 그래프를 동시에 평면에 그릴 수 있는지를 선형 시간 안에 판별하는 알고리즘을 제시한다. 또한 모든 그래프에 공통으로 등장하거나 전혀 겹치지 않는 정점·간선만을 갖는 k개의 평면 그래프에 대해서도 동일한 방법을 확장한다.

상세 요약

동시 평면성(simultaneous planarity) 문제는 두 개 이상의 평면 그래프가 공유하는 부분을 동일한 형태로 배치하면서 각각을 평면에 그릴 수 있는지를 묻는 전형적인 그래프 이론·알고리즘 문제이다. 기존 연구에서는 공통 부분이 트리이거나 단순히 연결된 경우에 한해 다항식 시간 알고리즘이 알려졌지만, 공통 부분이 2‑연결(2‑connected)인 일반적인 경우는 여전히 효율적인 해결책이 없었다. 이 논문은 바로 그 공백을 메우며, 공통 서브그래프가 2‑연결일 때 선형 시간 O(|V|+|E|) 알고리즘을 설계한다. 핵심 아이디어는 2‑연결 그래프의 구조적 특성을 활용하는 것이다. 2‑연결 그래프는 SPQR‑트리로 완전하게 분해될 수 있으며, 각 노드(S, P, Q, R)는 서로 다른 종류의 구성요소(시리즈, 병렬, 단일 간선, 리치 컴포넌트)를 나타낸다. 논문은 먼저 공통 그래프의 SPQR‑트리를 구축하고, 각 노드에 대해 가능한 임베딩(embedding) 옵션을 정의한다. 이어서 두 그래프 G₁, G₂ 각각에 대해 독립적인 평면 임베딩을 구하고, 이 임베딩이 공통 그래프의 SPQR‑트리와 일치하도록 제약을 부여한다. 제약 전파는 PQ‑트리를 이용해 효율적으로 수행되며, 이는 기존의 순서 제약 전파 기법을 일반화한 형태이다. 특히, P‑노드(병렬 구성요소)에서는 간선 순서가 자유롭게 바뀔 수 있지만, 두 그래프가 공유하는 간선은 동일한 순서를 유지해야 하므로, PQ‑트리의 제한 조건을 통해 일관성을 강제한다. R‑노드(리치 컴포넌트)에서는 내부 임베딩이 고정되므로, 양쪽 그래프가 동일한 면(face) 구조를 갖는지 검사한다. 이러한 단계별 검증을 통해 전체 알고리즘은 각 SPQR‑노드와 각 그래프의 임베딩을 한 번씩만 방문하므로 선형 시간 복잡도를 달성한다. 또한, 저자는 이 방법을 k개의 그래프에 일반화한다. 여기서는 각 정점·간선이 “모든 그래프에 공통”하거나 “오직 하나의 그래프에만 존재”하는 두 가지 경우만 허용함으로써, 공통 서브그래프가 여전히 2‑연결이라는 전제를 유지한다. 확장된 알고리즘은 동일한 SPQR‑트리와 PQ‑트리 기반 제약 전파를 사용하지만, 각 그래프마다 별도의 임베딩 옵션 집합을 관리한다. 최종적으로, 모든 제약이 충돌 없이 만족될 경우에만 동시 평면성을 보장한다. 논문은 알고리즘의 정당성을 수학적으로 증명하고, 최악의 경우에도 O(n) 시간 안에 종료함을 보인다. 실험 결과는 무작위 및 실제 네트워크 데이터셋에서 기존 방법보다 현저히 빠른 수행 시간을 보여준다.