원통형 그래프의 정규 순서와 주기적 직선 그리기

초록

이 논문은 평면 삼각분할과 3‑연결 평면 지도에 사용되던 정규 순서(canonical ordering)를 원통형(및 토러스) 그래프에 일반화한다. 이를 통해 원통형 및 토러스 위의 3‑연결 지도에 대해 선형 시간으로 교차 없이 그리고 내부가 (약하게) 볼록하도록 주기적인 직선 배치를 구한다. 배치 격자는 가로 ≤ 2n, 세로 ≤ n(2d+1) (원통) 혹은 가로 ≤ 2n, 세로 ≤ 1+2n(c+1) (토러스) 로 제한되며, 여기서 d는 두 경계 사이의 면거리, c는 면폭이다. 결과적으로 토러스 그래프는 O(n^{5/2}) 면적의 격자에 그릴 수 있다.

상세 분석

본 연구는 기존에 평면 삼각분할에 적용되던 정규 순서 개념을 원통형(essentially simple) 삼각분할과, 더 일반적으로 원통형 내부 3‑연결 지도에 확장한다. 정규 순서는 그래프의 정점들을 특정 순서로 삽입하면서 매 단계마다 현재 부분 그래프가 외부 경계와 내부에 대해 일정한 구조적 성질을 유지하도록 설계된다. 원통형 경우에는 두 개의 경계 사이에 존재하는 면거리 d를 고려해, 삽입 가능한 정점 집합을 “외부 경계에 인접한 자유 정점”과 “내부 경계에 인접한 자유 정점”으로 구분한다. 이러한 구분은 삽입 과정에서 주기성을 보존하면서도 각 단계에서 직선 배치를 유지할 수 있게 한다.

알고리즘은 다음과 같은 흐름을 가진다. 첫 단계에서 두 경계 사이에 최소한의 삼각형을 포함하는 초기 부분 그래프를 만든다. 이후 정규 순서에 따라 정점을 하나씩 추가한다. 각 정점 삽입 시, 이미 배치된 정점들의 x‑좌표를 유지하고 y‑좌표는 현재 삽입 단계의 깊이에 따라 증가시킨다. 이때 가로 폭 w는 전체 정점 수 n에 비례해 w ≤ 2n 으로 제한되며, 세로 높이 h는 d와 n의 곱에 의해 h ≤ n(2d+1) 로 결정된다. 중요한 점은 삽입 과정이 선형 시간 O(n) 안에 수행된다는 점이다. 이는 각 정점이 한 번만 처리되고, 인접 리스트를 이용해 자유 정점 집합을 효율적으로 업데이트할 수 있기 때문이다.

토러스 그래프에 대한 확장은 원통형 결과를 두 번 적용하는 방식으로 이루어진다. 먼저 토러스의 한 주기를 잘라내어 원통형 형태로 만든 뒤, 위에서 기술한 원통형 정규 순서를 적용한다. 이후 남은 경계(또는 “끈”)를 다시 연결해 토러스 전체에 대한 주기적 배치를 얻는다. 여기서 면폭 c(=face‑width)는 토러스 그래프가 임의의 단순 폐곡선을 따라 끊어지지 않는 최소 면수이며, c ≤ √(2n) 가 성립한다. 따라서 격자 높이는 h ≤ 1+2n(c+1) 로 제한되고, 전체 격자 면적은 O(n·c·n) = O(n^{5/2}) 가 된다.

이 논문의 핵심 기여는 (1) 원통형 및 토러스 그래프에 대한 정규 순서 정의, (2) 이를 이용한 선형 시간 주기적 직선 배치 알고리즘, (3) 격자 크기에 대한 명시적 상한을 제공함으로써 기존 평면 그래프 배치 이론을 비평면 토폴로지로 확장한 점이다. 특히 격자 폭이 정점 수의 2배 이하로 유지되는 점은 실용적인 시각화와 그래프 임베딩에 큰 장점을 제공한다. 또한 내부 볼록성(weak convexity)을 보장함으로써 후속 알고리즘(예: 그래프 라우팅, 메쉬 생성)에서 기하학적 안정성을 확보한다.