1플래너 그래프의 3차원 가시성 표현

초록

본 논문은 모든 1‑플래너 그래프가 z‑축에 평행한 가시성(visibility) 표현, 즉 정사각형이 아닌 직사각형을 xy‑평면에 배치하고 z‑축 방향으로 시야를 연결하는 3D 모델을 가질 수 있음을 증명한다. 또한 이 3D 표현은 하나의 평면과 교차하여 바 1‑가시성(bar‑1‑visibility) 표현을 만든다. 알고리즘은 입력으로 1‑플래너 임베딩을 받아 O(n) 시간에 수행되며, 전체 부피는 O(n³)이다.

상세 분석

논문은 1‑플래너 그래프 G에 대해 “z‑parallel visibility representation”(ZPR)이라는 3차원 가시성 모델을 정의한다. ZPR에서는 각 정점이 xy‑평면에 평행한 서로 겹치지 않는 직사각형 R(v)로 매핑되고, 두 정점 사이에 존재하는 간선은 z‑축에 평행한 원통형 시야(cylinder)로 연결된다. 중요한 추가 조건은 어떤 평면 Π가 존재해 Π와 ZPR의 교차가 바로 바 k‑visibility, 여기서는 k=1인 경우를 의미한다는 점이다.

핵심 정리는 “모든 1‑플래너 그래프는 1‑visible ZPR을 가질 수 있다”는 것이며, 이는 정리 1로 명시된다. 정리 1은 두 부분으로 나뉜다: (1) 부피는 O(n³)이며, (2) 1‑플래너 임베딩이 주어지면 O(n) 시간에 구성 가능하다는 것이다.

알고리즘은 세 단계로 구성된다.
1단계에서는 기존의 선형 시간 바 1‑visibility 알고리즘