[논문 리뷰] A linear-time algorithm for the geodesic center of a simple polygon

Hee-Kap Ahn, Luis Barba외 4명|arXiv (Cornell University)|2015. 01. 03.

Computational Geometry and Mesh Generation참고 문헌 21인용 수 4

한 줄 요약

이 논문은 단순 다각형의 지오데식 중심을 계산하는 데 있어 처음으로 선형 시간 알고리즘을 제안하며, O(n) 시간 복잡도를 달성함으로써 1989년 Pollack 등이 제시한 O(n log n) 알고리즘 이후 오랫동안 미해결된 문제를 해결한다. 이 방법은 평면 자르기, ε-넷, 그리고 O(n)개의 정점이 있는 삼각 함수 위에 정의된 상한 둘레를 새로운 조합으로 사용하여 반복적으로 탐색 공간을 좁혀가며 각 반복 단계에서 선형 작업을 유지한다.

ABSTRACT

Given two points in a simple polygon $P$ of $n$ vertices, its geodesic distance is the length of the shortest path that connects them among all paths that stay within $P$. The geodesic center of $P$ is the unique point in $P$ that minimizes the largest geodesic distance to all other points of $P$. In 1989, Pollack, Sharir and Rote [Disc. \& Comput. Geom. 89] showed an $O(n\log n)$-time algorithm that computes the geodesic center of $P$. Since then, a longstanding question has been whether this running time can be improved (explicitly posed by Mitchell [Handbook of Computational Geometry, 2000]). In this paper we affirmatively answer this question and present a linear time algorithm to solve this problem.

연구 동기 및 목표

• 단순 다각형의 지오데식 중심을 선형 시간 내에 계산할 수 있는지 여부에 대한 오랫동안 미해결된 문제를 해결하기 위해.
• 1989년 Pollack, Sharir, Rote가 확립한 O(n log n) 시간 복잡도를 향상시키기 위해.
• 삼각형 분할에 기반한 반복 정밀화에 의존하지 않고, 기하학적 자르기와 함수 둘레를 사용하여 효율적인 탐색을 수행하는 방법을 개발하기 위해.
• 각 재귀 단계에서 문제 크기를 일정 비율로 줄임으로써 지오데식 중심을 O(n) 시간 내에 계산할 수 있음을 증명하기 위해.

제안 방법

• 알고리즘은 다각형 내에서 지오데식 거리 함수 F_P(x)와 일치하는 상한 둘레를 형성하는 O(n)개의 정점이 있는 삼각 함수를 구성한다.
• 현수선 경계와 정점이 있는 삼각형 간의 분리 평면에서 유도된 O(n)개의 평면을 사용한 평면 자르기를 통해 탐색 공간을 분할한다.
• ε-넷 기반 기법을 통해 각 재귀 단계에서 활성 함수의 수와 후보 영역의 크기를 일정 요소로 감소시킨다.
• Megiddo의 영감을 받은 제한된 최적화 기반 측면 결정 알고리즘은 어떤 평면 측면에 지오데식 중심이 있는지를 결정한다.
• 재귀가 정점 영역 또는 단일 삼각형으로 축소될 때까지 반복되며, 이 경우 볼록 최적화를 적용하여 최소값을 찾는다.
• 전체 재귀식 T(m) = T(3m/4) + O(m)은 O(m)으로 해결되며, m = O(n) 이므로 총 시간 복잡도는 O(n)이다.

실험 결과

연구 질문

• RQ1 1989년의 O(n log n) 복잡도를 향상시켜 단순 다각형의 지오데식 중심을 선형 시간 내에 계산할 수 있는가?
• RQ2 삼각형 분할 기반의 탐색 구조에 의존하는 것을 피하고 기하학적 자르기를 사용하여 문제 크기를 줄일 수 있는가?
• RQ3 최대 거리 지오데식 거리 함수를 O(n)개의 삼각 함수의 상한 둘레로 표현할 수 있는가? 이를 통해 효율적인 최소화가 가능한가?
• RQ4 평면 자르기를 사용하여 3차원 공간에서 재귀적 탐색을 이끄는 데 효과적으로 작동하는 측면 결정 절차를 어떻게 구현할 수 있는가?

주요 결과

• 임의의 n개의 정점을 가진 단순 다각형의 지오데식 중심은 O(n) 시간 내에 계산될 수 있으며, 이는 이 문제에 대한 첫 번째 선형 시간 해결책이다.
• 알고리즘은 평면 자르기와 ε-넷을 기반으로 한 새로운 접근법을 사용하여 각 반복 단계에서 활성 함수 수와 후보 영역 크기를 일정 요소로 감소시킨다.
• 상한 둘레가 F_P(x)와 일치하는 O(n)개의 정점이 있는 삼각 함수를 구성함으로써, 문제는 유한 영역 내의 조각별로 정의된 볼록 함수의 최소화 문제로 환원된다.
• 측면 결정 알고리즘은 지오데식 중심이 어떤 평면 측면에 있는지를 효율적으로 결정할 수 있게 하여 3차원 공간에서의 재귀적 정밀화를 가능하게 한다.
• 재귀적 감소는 T(m) = T(3m/4) + O(m)의 재귀식을 유도하며, 이는 O(m)으로 해결되며 총 시간 복잡도가 선형임을 증명한다.
• 이전 방법의 O(n log n) 복잡도 장벽을 피하기 위해, 삼각형 분할에 기반한 현수선 오라클 탐색을 더 효율적인 기하 분해로 대체함으로써 성공적으로 해결하였다.