3색 가능한 델로네 삼각분할 만들기

초록

본 논문은 주어진 2차원 점 집합 X에 대해, 가능한 최소의 보조점 Y를 추가하여 3색으로 정점 색칠이 가능한 델로네 삼각분할(EDT)을 구성하는 알고리즘(DQA’)을 제안한다. 기존의 분할‑정복 Delaunay 알고리즘을 변형해 병합 단계에서 홀수 내부 정점을 짝수로 바꾸기 위해 새로운 보조점을 삽입하고, 그 삽입이 항상 가능한지를 보이며, 무한 루프가 발생하지 않을 것이라는 추측을 제시한다.

상세 분석

논문은 먼저 3색 가능성의 핵심 조건을 “모든 내부 정점이 짝수 차수를 가져야 한다”(Even Delaunay Triangulation, EDT)는 사실에 기반한다. 이를 위해 기존의 Guibas‑Stolfi 분할‑정복 Delaunay 알고리즘(DQA)을 그대로 사용하되, 병합(Merge) 단계에서 내부 정점의 차수가 홀수일 경우 새로운 보조점 u와 세 개의 간선(e_w, e_L, e_R)을 삽입한다. 이 과정은 단계 5a’에 상세히 기술되며, u의 좌표는 기존 삼각형들의 국소 Delaunay 성질을 깨지 않도록 선택한다. 논문은 Lemma 1을 통해 u의 위치가 항상 존재함을 증명하고, 삽입된 점이 이후 병합 과정에서 다시 홀수 정점으로 변하는 것을 방지한다는 논리적 흐름을 제시한다.

핵심 기술적 기여는 다음과 같다.

1. Merge’ 절차 설계: 기존 Merge 절차에 홀수 정점 감지를 추가하고, 필요 시 보조점을 삽입해 정점 차수를 짝수로 만든다. 삽입 후에는 재귀적으로 Merge_u를 호출해 새로운 점이 포함된 부분 삼각분할을 다시 병합한다.
2. 보조점 좌표 선택 보증: Lemma 1은 u가 C_L·C_R·C_LR 사이의 적절한 위치에 놓일 수 있음을 보이며, 이는 삽입 후에도 전체 구조가 IDT(Locally Delaunay) 상태를 유지함을 의미한다.
3. 정점 차수 유지 논증: 보조점 삽입 단계가 유일하게 경계 정점을 내부 정점으로 전환시키며, 이때 차수가 홀수가 되지 않도록 설계되었다. 따라서 최종 삼각분할의 모든 내부 정점은 짝수 차수를 갖게 된다.

하지만 논문은 두 가지 미해결 문제를 남긴다. 첫째, 보조점 삽입이 무한히 반복될 가능성을 완전히 배제하지 못하고, 이를 “Conjecture 1”로 제시한다. 둘째, 보조점 삽입 횟수에 대한 상한을 증명하지 못해 알고리즘의 최악 시간 복잡도가 이론적으로 불확실하다. 저자는 향후 작업으로 상한을 찾거나, 무한 루프가 발생하는 반례를 찾는 것을 목표로 한다.

실용적인 관점에서, 제안된 DQA’는 GEM 데이터 구조와 결합될 때 메모리 사용량과 인접 삼각형 탐색 비용을 크게 감소시킬 수 있다. 특히 3색 가능성이 보장된 Delaunay 삼각분할은 그래픽스, 지리정보시스템, 과학 시뮬레이션 등에서 색상 기반 인접 정보가 필요한 경우에 유리하다.