2 외평면 그래프를 위한 O(n log n) 보편 점 집합

초록

이 논문은 2-외평면 그래프에 대해 점 집합 S의 크기를 O(n log n)으로 제한하는 보편 점 집합을 제시한다. 외부 레벨을 반원에 배치하고, 내부 레벨을 특수히 설계된 밀집·희소 점 집합에 매핑함으로써 모든 2-외평면 그래프를 평면 직선 임베딩할 수 있음을 증명한다.

상세 분석

논문은 먼저 기존의 O(n²) 보편 점 집합 한계를 극복하고자 2-외평면 그래프(outerplanar 외부 레벨과 내부 레벨이 트리 구조인 경우)를 대상으로 연구를 시작한다. 핵심 아이디어는 외부 레벨 G를 반원 π 위에 순서대로 배치하고, 각 외부 정점 v_i에 “밀집(dense)” 혹은 “희소(sparse)” 라벨을 부여해 점 집합 S의 두 종류(밀집점 N_dense = n + √n, 희소점 N_sparse = √n) 중 적절히 선택하도록 하는 것이다.

점 집합 S는 반원 위에 N = n + √n 개의 기본 점 p_j를 놓고, 각 p_j마다 내부에 작은 원 π_j와 네 개의 선분(s_N, s_+, s_−)을 구성한다. 밀집 점은 각 π_j에 O(n)개의 보조 점을, 희소 점은 O(√n)개의 보조 점을 배치해 전체 점 수를 O(n^{3/2})로 만든다. 이때 정의된 “가시성(Property 1)”은 어떤 점 집합 S_j가 그 앞·뒤에 있는 다른 점 집합과 교차하지 않도록 보장해, 이후 내부 트리들을 해당 S_j 안에 겹치지 않게 삽입할 수 있게 한다.

다음 단계에서는 그래프의 레이블링을 수행한다. 외부 정점 v_i에 라벨 i를 부여하고, 내부 트리 T의 포크 정점(두 개 이상 외부 정점에 인접)과 비포크 정점을 라벨링 규칙에 따라 외부 정점 라벨에 매핑한다. 이 과정에서 각 라벨 i에 해당하는 제한 서브그래프 H_i는 최대 하나의 차수가 3인 정점(포크)과 나머지는 차수가 ≤2인 트리 구조가 된다(Lemma 1).

임베딩 단계는 세 부분으로 나뉜다. (a) 가중 함수 ω(v_i)=|{u∈