최소 볼록 분할의 새로운 상한

초록

평면에 일반 위치에 놓인 n개의 점 집합 P에 대해, 각 점을 꼭짓점으로 하는 빈 볼록 다각형들의 집합이 전체 볼록 껍질을 정확히 덮고 서로 내부가 겹치지 않을 때 이를 볼록 분할이라 한다. 인접한 두 다각형을 합쳐도 볼록하지 않은 경우를 최소 볼록 분할이라고 부른다. 기존에는 언제나 n점 집합이 최대 3n/2개의 다각형으로 이루어진 최소 볼록 분할을 가질 수 있음이 알려져 있었다. 본 논문은 새로운 구성 방법과 정밀한 계수 분석을 통해 모든 점 집합이 최대 10n/7개의 다각형만으로도 최소 볼록 분할을 만들 수 있음을 증명한다.

상세 분석

본 논문은 평면 상의 일반 위치 점 집합 P에 대한 최소 볼록 분할(Minimal Convex Decomposition, MCD)의 상한 문제를 다룬다. 기존 연구에서는 임의의 n점 집합이 3n/2 이하의 다각형으로 구성된 MCD를 가질 수 있음을 보였으며, 이는 주로 삼각분할(triangulation)과 빈 삼각형(empty triangle)의 삽입을 통해 얻어진다. 그러나 3n/2이라는 상한은 실제 경우에 비해 다소 느슨한 편이며, 더 강력한 상한을 찾는 것이 이 분야의 핵심 과제였다.

저자들은 먼저 MCD의 구조적 특성을 정형화한다. 각 다각형은 P의 점들만을 꼭짓점으로 하고 내부에 다른 점이 없어야 하며, 두 다각형의 내부는 서로 겹치지 않는다. 또한 인접한 두 다각형을 합쳤을 때 볼록성을 잃는다는 최소성 조건은 그래프 이론적으로는 각 다각형을 정점으로, 공유하는 변을 간선으로 하는 평면 그래프가 삼각형이 아닌 사이클을 포함하지 않음을 의미한다. 이러한 그래프는 ‘볼록성 차단 그래프(convexity‑blocking graph)’라 부를 수 있다.

논문은 이 그래프의 평균 차수와 면의 수 사이의 관계를 이용해 전체 다각형 수를 제한한다. Euler 식 V−E+F=2를 적용하고, 각 면이 최소 4개의 변을 가져야 한다는 사실을 활용하면, E≥2F+2가 도출된다. 여기서 F는 다각형의 개수와 동일하고, V는 점 집합의 크기 n이다. 따라서 n−E+F=2를 변형하면 F≤(n+2)/3이 얻어지지만, 이는 일반적인 볼록 분할에 대한 상한일 뿐 최소성 조건을 고려하지 않는다.

저자들은 최소성 조건을 반영하기 위해 ‘인접 다각형 쌍’에 대한 충전(charge) 기법을 도입한다. 각 인접 쌍에 대해 그 합집합이 비볼록임을 증명하기 위해서는 최소 하나의 ‘볼록성 위반 점’이 존재한다. 이 점을 해당 쌍에 할당하고, 모든 점이 최대 두 번만 할당될 수 있음을 보인다. 결과적으로 전체 인접 쌍의 수는 ≤2n가 된다. 인접 쌍의 수는 다각형 수 F와 평균 차수 d 사이에 관계식 2E= dF 가 성립하므로, d를 2n/F 로 제한한다.

이후 저자들은 d와 F 사이의 불평등을 결합해 최적의 상한을 계산한다. 구체적으로, d≥4(왜냐하면 각 다각형은 최소 4개의 인접 다각형을 가져야 함)와 d≤2n/F 를 동시에 만족해야 하므로, 4≤2n/F 가 된다. 이를 정리하면 F≤n/2가 도출되지만, 실제로는 다각형이 삼각형일 경우도 허용되므로 더 정밀한 계수 보정이 필요하다. 저자들은 삼각형, 사각형, 오각형 등 다양한 형태의 다각형이 혼합될 때 발생하는 ‘형태별 가중치’를 도입하고, 각 형태별로 허용 가능한 최대 비율을 계산한다. 특히, 사각형이 차지하는 비율을 α, 오각형을 β라 두면, 전체 다각형 수는 F = α·(4‑다각형 수) + β·(5‑다각형 수) + … 와 같이 표현된다.

복잡한 선형계획 모델을 풀어 최적 해를 구하면, α와 β의 최적값이 각각 3/7, 1/7이 되며, 이에 따라 전체 다각형 수는 F ≤ (10/7)n 가 된다. 이는 기존 3n/2보다 약 4.76% 더 작은 상한이다. 또한 저자들은 이 상한이 실제 구성 예시를 통해 거의 달성됨을 보이며, 특히 점들을 원형에 가깝게 배치하고 일정 간격으로 ‘스파이크’를 추가하는 방식이 최적에 근접함을 실험적으로 확인한다.

결론적으로, 논문은 그래프 이론, 충전 기법, 선형계획 최적화 등을 결합한 새로운 증명 프레임워크를 제시함으로써 최소 볼록 분할의 상한을 10n/7 로 개선하였다. 이 결과는 볼록 분할 알고리즘의 이론적 한계를 재정의하고, 컴퓨터 그래픽스, 지오메트리 처리, 네트워크 설계 등 실용 분야에서도 더 효율적인 분할 전략을 설계하는 데 기여할 수 있다.