[논문 리뷰] Guarding Path Polygons with Orthogonal Visibility

Hamid Hoorfar, Alireza Bagheri|arXiv (Cornell University)|2017. 09. 05.

Computational Geometry and Mesh Generation참고 문헌 17인용 수 8

한 줄 요약

이 논문은 단순한 직각 경로 다각형(즉, 수직 분해 이중 그래프가 경로인 다각형)에서 최소 수의 r-감시자(직각 가시성 감시자)를 계산하기 위한 선형 시간 기하 알고리즘을 제시한다. 기하적 성질을 활용하고 균형 잡힌 단조적 분해 및 감시자 위치의 탐욕적 융합을 포함하는 이중 단계 접근법을 통해, 이 방법은 O(n) 시간 복잡도를 달성하며, Worman과 Keil의 이전 결과인 O(n^17 polylog n)보다 크게 향상되었다.

ABSTRACT

We are interested in the problem of guarding simple orthogonal polygons with the minimum number of $ r $-guards. The interior point $ p $ belongs an orthogonal polygon $ P $ is visible from $ r $-guard $ g $, if the minimum area rectangle contained $ p $ and $ q $ lies within $ P $. A set of point guards in polygon $ P $ is named guard set (as denoted $ G $) if the union of visibility areas of these point guards be equal to polygon $ P $ i.e. every point in $ P $ be visible from at least one point guards in $ G $. For an orthogonal polygon, if dual graph of vertical decomposition is a path, it is named path polygon. In this paper, we show that the problem of finding the minimum number of $ r $-guards (minimum guard set) becomes linear-time solvable in orthogonal path polygons. The path polygon may have dent edges in every four orientations. For this class of orthogonal polygon, the problem has been considered by Worman and Keil who described an algorithm running in $ O(n^{17} poly\log n) $-time where $ n $ is the size of the input polygon. The problem of finding minimum number of guards for simple polygon with general visibility is NP-hard, even if polygon be orthogonal. Our algorithm is purely geometric and presents a new strategy for $ r $-guarding orthogonal polygons and guards can be placed everywhere in the interior and boundary of polygon.

연구 동기 및 목표

• 직각 가시성(orthogonal visibility) 하에서 경로 다각형의 직각 갤러리 문제를 다루기 위해.
• 그래프 이론적 추상화에 의존하지 않는 순수 기하 알고리즘을 개발하기 위해.
• 경로 다각형에 대한 최소 r-감시자 집합 계산의 시간 복잡도를 O(n^17 polylog n)에서 O(n)으로 감소시키기 위해.
• 이전의 단조적 직각 다각형에 대한 기하 전략을 더 넓은 범주인 경로 다각형으로 일반화하기 위해.
• 최소 수의 r-감시자를 사용하여 직각 경로 다각형을 효과적으로 감시할 수 있는 실용적이고 효율적인 해법을 제공하기 위해.

제안 방법

• 수직 분해를 이용해 직각 경로 다각형을 균형 잡힌 단조적 직각 부분다각형으로 분해하기.
• 왼쪽 및 오른쪽 경계선에 있는 오목 꼭짓점 쌍에 의해 스트레칭된 직사각형으로 후보 감시자 위치 식별하기.
• 각 수평 엣지 세그먼트에 대해, 해당 코로니 세그먼트를 커버할 수 있는 가시성 직사각형(위치) 계산하기.
• 상부 및 하부 경계선을 따라 겹치는 감시자 위치를 융합하여 총 감시자 수 최소화하기.
• 정렬된 감시자 위치 목록에 대해 탐욕적 융합 전략을 적용하여 중복 감시자 제거하기.
• 모든 균형 잡힌 부분다각형의 결과를 결합하여 O(n) 시간 내에 전역 최소 감시자 집합 계산하기.

실험 결과

연구 질문

• RQ1 그래프 기반 방법 대신 기하적 접근법을 사용하여 직각 경로 다각형의 최소 r-감시자 집합을 선형 시간 내에 계산할 수 있는가?
• RQ2 모든 네 방향으로 오목 꼭짓점을 가진 경로 다각형의 구조는 일반 직각 다각형보다 더 효율적인 해법을 가능하게 하는가?
• RQ3 균형 잡힌 단조적 부분다각형의 어떤 기하적 성질이 선형 시간 감시자 배치 전략을 가능하게 하는가?
• RQ4 단조적 다각형에 대한 기하 전략을 최적성 손실 없이 경로 다각형으로 확장할 수 있는 정도는 어느 정도인가?
• RQ5 최적성 유지 조건에서 경로 다각형의 r-감시 시간 복잡도를 O(n^17 polylog n)에서 O(n)으로 감소시킬 수 있는가?

주요 결과

• 제안된 알고리즘은 정점 수 n에 대해 O(n) 시간 내에 직각 경로 다각형의 최소 r-감시자 집합을 계산한다.
• 알고리즘은 순수 기하적 접근을 취하며, 직사각형 기반의 가시성과 위치 융합에 의존하여 복잡한 그래프 이론적 감소를 피한다.
• 시간 복잡도가 선형인 이유는 모든 균형 잡힌 단조적 부분다각형의 정점 수 총합이 O(n)이기 때문이며, 각 부분 문제는 선형 시간 내에 해결된다.
• 이중 그래프의 경로 구조를 활용함으로써 Worman과 Keil의 O(n^17 polylog n) 알고리즘보다 향상된 성능를 달성한다.
• 알고리즘의 공간 복잡도는 O(n)이며, 시간 효율성과 일치한다.
• 모든 균형 잡힌 부분다각형의 이빨 모양 엣지가 적어도 하나의 감시자에 의해 커버되며, 중복 감시자가 융합을 통해 제거되어 최적성을 확보한다.