정규 라벨링과 기하 구조

초록

이 논문은 최대 평면 그래프(또는 거의 최대 평면 그래프)에 색과 방향을 부여하는 ‘정규 라벨링’ 개념을 소개하고, 이를 이용해 (1) 격자 삼각분할, (2) 직사각형 분할, (3) 직교 다면체의 세 가지 기하학적 구조를 효율적으로 구성하는 방법을 제시한다. 각 라벨링은 지역적인 제약을 만족하며, 해당 제약이 보장하는 단일 소스‑싱크(st‑planar) 서브그래프의 무사이클성은 격자 임베딩, 면적 할당, 그리고 3차원 직교 표면 구축을 가능하게 한다. 또한 라벨링 전체 집합이 분배 격자 구조를 이루어, 로컬 트위스트 연산을 통해 모든 라벨링을 탐색·열거할 수 있음을 보인다.

상세 분석

논문은 먼저 Schnyder 라벨링을 상세히 정의한다. 최대 평면 그래프 G의 내부 모든 간선에 빨강·파랑·초록 중 하나의 색을 부여하고, 각 정점에서 색별로 정확히 하나씩 외향 간선을 두도록 한다. 이때 외부 3개의 정점은 각각 하나의 색만을 갖고 모든 간선이 내부로 향한다. 이러한 제약은 각 색 클래스가 트리 구조가 되게 하며, 두 색을 선택해 하나의 방향을 뒤집으면 st‑planar 그래프가 된다. 이 성질을 이용해 각 정점에서 외부 3정점까지의 색별 경로가 교차하지 않으므로, 내부 면들을 3개의 연속 영역으로 분할할 수 있다. 면 수 혹은 정점 수를 좌표로 사용하면 정점들을 정삼각형 내부에 배치할 수 있고, 이는 정수 격자에 직선 임베딩을 제공한다. 특히, 이 방법은 O(n) 시간에 n‑정점 평면 그래프를 (n‑2)×(n‑2) 격자에 삽입하는 최적의 결과를 재현한다.

다음으로 직사각형 분할에 대한 정규 라벨링을 소개한다. 직사각형을 작은 직사각형들로 분할한 뒤, 그 확장된 이중 그래프를 고려한다. 이 그래프는 외부가 사각형인 거의 최대 평면 그래프이며, 각 내부 정점은 네 개의 인접 간선을 갖는다. 간선을 가로·세로 방향에 따라 빨강·파랑으로 색칠하고, 위→아래·왼쪽→오른쪽 방향으로 방향을 지정한다. 정점마다 같은 색·방향의 간선이 연속적으로 배치되고, 순환 순서는 in‑blue, in‑red, out‑blue, out‑red이다. 이러한 라벨링 역시 각 색 클래스가 무사이클(st‑planar)임을 보이며, 라벨링을 이용해 각 직사각형의 x·y 좌표를 해당 색 경로의 길이로 정의할 수 있다. 라벨링 전체는 로컬 트위스트(사각형 내부 색 교환) 연산에 의해 연결된 분배 격자를 형성한다. 이를 Birkhoff 표현을 통해 부분 순서 집합으로 압축 저장할 수 있어, 모든 가능한 직사각형 분할을 효율적으로 열거하고, 영역 제약이나 면적 할당 문제를 FPT 혹은 다항 시간 알고리즘으로 해결한다.

마지막으로 직교 다면체, 특히 코너 폴리헤드론에 대한 라벨링을 다룬다. 코너 폴리헤드론은 모든 정점에서 서로 직교인 세 변이 만나며, 그 이중 그래프는 최대 평면 그래프이면서 외부 삼각형이 지정된다. 여기서는 각 이중 그래프의 간선을 빨강·파랑·초록으로 색칠하고, 두 면의 좌표 순서에 따라 방향을 부여한다. 각 삼각형은 세 색을 모두 포함하고, 내부 정점은 두 색만을 가진다. 외부 정점에서는 방향이 교대로 나타난다. 두 색을 선택해 하나를 뒤집으면 역시 st‑planar이 되며, 이를 이용해 각 색 클래스에 대한 st‑번호 매김을 좌표값으로 삼아 평면에 평행한 면들을 배치하면 코너 폴리헤드론을 재구성할 수 있다. 라벨링의 무사이클성은 면들의 기하학적 일관성을 보장하고, 라벨링 변환(트위스트) 역시 분배 격자 구조를 형성한다.

전체적으로 논문은 세 종류의 정규 라벨링이 공유하는 공통 구조—(i) 최대(또는 거의 최대) 평면 그래프, (ii) 색·방향에 대한 로컬 제약, (iii) 무사이클(st‑planar) 서브그래프, (iv) 분배 격자 형태의 라벨링 공간—를 체계적으로 정리한다. 이러한 통합적 관점은 기존에 개별적으로 연구되던 격자 삼각분할, 직사각형 분할, 직교 다면체 설계 알고리즘을 동일한 조합론적 프레임워크 아래 재해석하게 하며, 새로운 효율적 알고리즘 설계와 복합 기하 구조 간의 변환 가능성을 제시한다.