단순 다각형 안의 차수 3 트리

초록

이 논문은 임의의 단순 다각형이 주어진 정점 집합을 포함하는 차수 3 이하의 스패닝 트리를 항상 가질 수 있음을 증명한다
또한 차수 3인 정점의 최소 개수에 대한 상한과 하한을 정확히 제시한다
이 결과를 이용해 서로 교차하지 않는 선분 집합에 대해 이진 트리를 구성할 수 있음을 재증명한다

상세 분석

논문은 먼저 단순 다각형 P와 그 내부에 포함된 정점 집합 S를 정의하고, S가 다각형의 꼭짓점 전체를 포함하거나 일부만 포함하는 경우를 구분한다
핵심 정리는 “P 내부의 모든 정점이 포함된 스패닝 트리 T가 존재하며, T의 모든 정점의 차수가 3 이하이고, 차수가 정확히 3인 정점의 수는 |S|−2 이상 |S|−1 이하이다”는 주장이다
증명은 귀납적 구조분해와 삼각분할(triangulation)을 활용한다
우선 P를 삼각형들로 분할한 뒤, 각 삼각형에 대해 정점 집합 S와의 교차 관계를 분석한다
삼각형 하나당 최대 하나의 차수 3 정점을 만들 수 있음을 보이고, 이를 전체 삼각형에 걸쳐 합산하면 전체 차수 3 정점의 개수에 대한 상한과 하한이 도출된다
특히, 경계에 위치한 정점이 S에 포함될 경우 그 정점은 차수가 2 이하가 되도록 연결을 선택할 수 있음을 이용한다
또한, 내부에 위치한 정점이 S에 포함될 경우, 그 정점을 중심으로 하는 별형 구조(star)를 구성하여 차수 3 정점을 최소화한다
이 과정에서 “플래너리 그래프의 차수 제한”과 “오일러 공식”을 활용해 트리의 전체 에지 수와 정점 수 사이의 관계를 정량화한다
논문은 마지막에 차수 3 정점의 최소 개수가 |S|−2임을 보이기 위해, 특정 구성(예: S가 다각형의 모든 꼭짓점을 포함하고, 다각형이 별형 형태인 경우)을 제시한다
이 구성에서는 반드시 |S|−2개의 차수 3 정점이 필요함을 논리적으로 증명한다
결과적으로, 차수 3 정점의 개수에 대한 경계가 정확히 맞물리며, 이는 기존 문헌에서 제시된 느슨한 상한을 크게 개선한 것이다
응용 부분에서는 주어진 선분 집합 L이 서로 교차하지 않을 때, 각 선분을 다각형의 변으로 간주하고 위의 정리를 적용해 L의 끝점들을 포함하는 이진 트리를 구성한다
이때 트리의 내부 정점은 모두 차수가 3 이하이며, 특히 모든 내부 정점이 차수 2 혹은 3인 완전 이진 트리 형태를 얻는다
이러한 구성은 기존의 Bose 등(2002)의 결과와 동등하지만, 보다 직관적인 기하학적 증명을 제공한다
또한, 알고리즘적 구현 측면에서 삼각분할과 귀납적 연결 과정을 순차적으로 수행하면 O(n log n) 시간 복잡도로 트리를 구축할 수 있음을 언급한다
전체적으로 이 논문은 단순 다각형 내부에서 차수 제한 트리를 구성하는 새로운 방법론을 제시하고, 그 경계가 최적임을 증명함으로써 기하학적 그래프 이론과 알고리즘 설계에 중요한 기여를 한다