[논문 리뷰] Packing and Covering a Polygon with Geodesic Disks

Ivo Vigan|arXiv (Cornell University)|2013. 11. 23.

Computational Geometry and Mesh Generation참고 문헌 30인용 수 6

한 줄 요약

이 논문은 다각형 내의 최단 경로(지오데식) 거리로 측정되는 지오데식 원판을 이용한 다각형의 정렬 및 커버링 문제에 대해 다항시간 근사 알고리즘을 제시한다. 단위 원판 정렬과 커버링에 대해 2-근사, k개의 원판을 사용한 최소 반지름 최대화 문제에 대해 4-근사, 단순 다각형을 두 개의 지오데식 원판으로 최대 반지름을 최소화하여 커버링하는 데 대해 정확한 O(n⁸ log n) 시간 알고리즘을 제공하며, 구멍이 있는 다각형에서는 모든 문제들이 NP-난이도임을 증명한다.

ABSTRACT

Given a polygon $P$, for two points $s$ and $t$ contained in the polygon, their \emph{geodesic distance} is the length of the shortest $st$-path within $P$. A \emph{geodesic disk} of radius $r$ centered at a point $v \in P$ is the set of points in $P$ whose geodesic distance to $v$ is at most $r$. We present a polynomial time $2$-approximation algorithm for finding a densest geodesic unit disk packing in $P$. Allowing arbitrary radii but constraining the number of disks to be $k$, we present a $4$-approximation algorithm for finding a packing in $P$ with $k$ geodesic disks whose minimum radius is maximized. We then turn our focus on \emph{coverings} of $P$ and present a $2$-approximation algorithm for covering $P$ with $k$ geodesic disks whose maximal radius is minimized. Furthermore, we show that all these problems are $\mathsf{NP}$-hard in polygons with holes. Lastly, we present a polynomial time exact algorithm which covers a polygon with two geodesic disks of minimum maximal radius.

연구 동기 및 목표

• 건물이나 데이터 센터와 같은 제약 조건이 있는 환경에서 실용적인 시설 위치 문제를 다루기 위해, 유클리드 거리가 아닌 최단 경로(지오데식) 거리가 더 관련성이 높다는 점을 고려한다.
• 유클리드 구가 아닌 지오데식 원판을 사용한 다각형 내의 정렬 및 커버링 문제 연구를 시작한다.
• 다양한 목표를 충족시키기 위해 지오데식 원판 정렬 및 커버링에 대해 효율적인 근사 및 정확 알고리즘을 개발한다: 단위 원판의 수를 최대화, 최소 반지름을 최대화, 최대 반지름을 최소화.
• 이러한 문제들의 계산 복잡도를 규명하며, 구멍이 있는 다각형에서 NP-난이도임을 증명한다.
• 단순 다각형을 두 개의 지오데식 원판으로 최대 반지름을 최소화하여 커버링하는 다항시간 정확 알고리즘을 제공한다.

제안 방법

• 지오데식 거리가 가장 큰 점 쌍을 반복적으로 선택하여 원판 중심을 정하는 근사 전략을 사용한다. 이는 최대한의 분리와 커버리지 보장을 위해 설계된다.
• 다각형의 모든 정점과 변을 두 개의 지오데식 원판으로 커버할 수 있는지 테스트하는 决定 알고리즘을 기반으로 매개변수 검색을 적용한다.
• 볼록 다각형의 정점에 중심을 두고 지오데식 r-원을 구성하여 원의 배열을 만들고, 후보 중심을 효율적으로 탐색한다.
• 기하적 성질을 활용한다: 모든 정점이 커버되고 최대 두 개의 변만 커버되지 않으면, 그 변들이 같은 원판 중심에 의해 커버된다면 내부도 커버된다.
• 지오데식 거리 ≤ r인 점들의 집합이 지오데식 원판을 이룬다는 사실을 활용하며, 다각형 내에서 최단 경로 거리 척도를 사용한다.
• 삼각 부등식과 지오데식 이등분선 성질을 이용하여, 두 개의 원판이 정점을 커버할 경우 최대 두 개의 변만 커버되지 않을 수 있음을 증명한다.

실험 결과

연구 질문

• RQ1 단순 다각형은 최대 수의 지오데식 단위 원판으로 효율적으로 정렬될 수 있으며, 어떤 근사 비율을 달성할 수 있는가?
• RQ2 k개의 지오데식 원판을 다각형에 정렬하여 최소 반지름을 최대화하는 데 대해 가장 좋은 근사 비율은 무엇인가?
• RQ3 k개의 지오데식 원판으로 다각형을 커버하여 최대 반지름을 최소화할 수 있으며, 도달 가능한 최고의 근사 비율은 무엇인가?
• RQ4 단순 다각형을 두 개의 지오데식 원판으로 최대 반지름을 최소화하여 커버하는 정확한 해를 계산할 수 있는가?
• RQ5 지오데식 원판 정렬 및 커버링 문제들은 구멍이 있는 다각형에서 NP-난이도인가?

주요 결과

• 단순 다각형에 지오데식 단위 원판을 최대 개수로 정렬하기 위한 다항시간 2-근사 알고리즘이 제시된다.
• 다각형에 k개의 지오데식 원판을 정렬하여 최소 반지름을 최대화하는 문제에 대해 4-근사 알고리즘이 개발되었다.
• k개의 지오데식 원판으로 다각형(구멍이 있거나 없거나)을 커버하여 최대 반지름을 최소화하는 문제에 대해 2-근사 알고리즘이 제시되었다.
• 단순 다각형을 두 개의 지오데식 원판으로 최대 반지름을 최소화하여 커버하는 데 대해 정확한 O(n⁸ log n)-시간 알고리즘이 설계되었다.
• 네 가지 문제—단위 원판 정렬, 최소 반지름 최대화를 위한 k-원판 정렬, 최대 반지름 최소화를 위한 k-원판 커버링, 두 원판 커버링—모두 구멍이 있는 다각형에서 NP-난이도임이 증명되었다.
• 두 원판 커버링 알고리즘의 정확성이 입증되었으며, 모든 정점과 최대 두 개의 변이 커버되면 전체 다각형이 커버됨을 보였다.