[논문 리뷰] Constant Approximation Algorithms for Guarding Simple Polygons using Vertex Guards

Pritam Bhattacharya, Subir Ghosh외 1명|arXiv (Cornell University)|2017. 12. 15.

Computational Geometry and Mesh Generation참고 문헌 25인용 수 13

한 줄 요약

이 논문은 단순 다각형을 정점 가드를 사용하여 가로지르는 데 있어 처음으로 다항 시간 내에 일정 요율 근사 알고리즘을 제시하며, 정점 및 경계 가드의 경우 근사 비율 18, 전체 내부 및 경계 가드의 경우 근사 비율 27를 달성하여 1987년 Ghosh가 제기한 오랜 동안 미해결된 추측을 해결한다. 이 방법은 의사정점과 가시성 분해와 같은 깊은 가시성 구조를 활용하여 유한한 가드 집합으로 커버리지를 보장한다.

ABSTRACT

The art gallery problem enquires about the least number of guards sufficient to ensure that an art gallery, represented by a simple polygon $P$, is fully guarded. Most standard versions of this problem are known to be NP-hard. In 1987, Ghosh provided a deterministic $\mathcal{O}(\log n)$-approximation algorithm for the case of vertex guards and edge guards in simple polygons. In the same paper, Ghosh also conjectured the existence of constant ratio approximation algorithms for these problems. We present here three polynomial-time algorithms with a constant approximation ratio for guarding an $n$-sided simple polygon $P$ using vertex guards. (i) The first algorithm, that has an approximation ratio of 18, guards all vertices of $P$ in $\mathcal{O}(n^4)$ time. (ii) The second algorithm, that has the same approximation ratio of 18, guards the entire boundary of $P$ in $\mathcal{O}(n^5)$ time. (iii) The third algorithm, that has an approximation ratio of 27, guards all interior and boundary points of $P$ in $\mathcal{O}(n^5)$ time. Further, these algorithms can be modified to obtain similar approximation ratios while using edge guards. The significance of our results lies in the fact that these results settle the conjecture by Ghosh regarding the existence of constant-factor approximation algorithms for this problem, which has been open since 1987 despite several attempts by researchers. Our approximation algorithms exploit several deep visibility structures of simple polygons which are interesting in their own right.

연구 동기 및 목표

• 1987년 Ghosh가 제기한 단순 다각형 내 정점 가드 문제에 대한 일정 비율 근사 알고리즘 존재성에 대한 추측을 해결하기 위해.
• 단순 다각형의 모든 정점, 경계, 전체 내부를 가로지르는 데 다항 시간 내에 일정 비율 근사 비율을 보장하는 알고리즘을 개발하기 위해.
• 유사한 일정 비율 근사 비율을 확보할 수 있음을 보여주기 위해 결과를 변형하여 변형된 가드에 적용하기 위해.
• 단순 다각형 내부의 본질적 가시성 구조를 활용하여 효율적이고 증명 가능하게 유한한 근사 비율을 갖는 알고리즘을 설계하기 위해.

제안 방법

• 가시성 영역의 경계에 의사정점을 도입하여 가시성 분해를 정밀화하고 커버리지 보장을 향상시키기 위해.
• 모든 정점(의사정점 포함)에 대해 EVP⁺(z) 및 EVP⁻(z)를 계산하기 위해 수정된 가시성 분해 과정을 사용하여 전체 가시성 커버리지를 보장하기 위해.
• 가시성 지배성과 최소한의 커버리지 겹침 기반의 주요 정점 선택 전략을 적용하여 주요 정점 수를 최대 2·|G_opt|로 제한하기 위해.
• 설치 후 중복성 검사를 도입하여 새로운 정점을 커버하지 않는 가드를 제거하여 실용적 성능을 향상시키기 위해.
• 가시성 구조 내에서 내부 및 외부 가드 간의 이중성을 활용하여 잔여로 가시하지 못한 셀을 커버하기 위해 필요한 추가 가드 수를 제한하기 위해.
• 변형된 가드에 대해 알고리즘을 적응시키기 위해 변형된 가드 위치로 간주하는 선분 세그먼트를 처리하고, 유사한 가시성 기반 분해 및 선택 논리를 사용하기 위해.

실험 결과

연구 질문

• RQ1 1987년 Ghosh가 추측한 바와 같이, 단순 다각형 내 정점 가드 문제에 대해 일정 요율 근사 알고리즘을 설계할 수 있는가?
• RQ2 정점 가드를 사용하여 단순 다각형의 모든 정점을 가로지르는 데 있어서 다항 시간 내에 달성 가능한 최소 근사 비율은 무엇인가?
• RQ3 유사한 일정 비율 근사 비율을 변형된 가드를 사용하여 단순 다각형의 전체 경계 및 내부를 가로지르는 데 달성할 수 있는가?
• RQ4 가시성 분해 및 의사정점 구축을 어떻게 활용하여 필요한 가드 수를 제한하면서도 전체 커버리지를 보장할 수 있는가?
• RQ5 중복성 검사 및 가시성 지배 기준은 근사 알고리즘의 실용적 성능을 얼마나 향상시킬 수 있는가?

주요 결과

• 정점 가드를 사용하여 단순 다각형의 모든 정점을 가로지르는 데 있어 첫 번째 다항 시간 알고리즘이 O(n⁴) 시간 내에 근사 비율 18을 달성한다.
• 두 번째 알고리즘은 전체 경계 커버리지를 보장하며, O(n⁵) 시간 내에 근사 비율 18을 달성한다.
• 세 번째 알고리즘은 내부 및 경계를 모두 커버하며, O(n⁵) 시간 내에 근사 비율 27을 달성한다.
• 이 알고리즘들은 변형된 가드에 대해서도 적응 가능하여, 경계 커버리지의 경우 근사 비율 18, 전체 커버리지의 경우 근사 비율 27를 달성한다.
• 의사정점과 가시성 분해의 사용은 유한한 가드 선택을 가능하게 하며, 각 주요 정점당 최대 6개의 추가 가드로 제한되어 일정 근사 비율을 보장한다.
• 결과적으로 이 논문은 Ghosh의 1987년 추측을 해결하여 단순 다각형 내 정점 및 변형된 가드 문제에 대해 처음으로 일정 요율 근사 알고리즘을 제공한다.