[논문 리뷰] A Linear-time Algorithm for Orthogonal Watchman Route Problem with Minimum Bends

Hamid Hoorfar, Alireza Bagheri|arXiv (Cornell University)|2017. 08. 04.

Computational Geometry and Mesh Generation인용 수 7

한 줄 요약

이 논문은 단조형 및 경로 다각형에서 최소 굽힘 수를 갖는 수직 감시자 경로 문제에 대한 최초의 선형 시간 알고리즘을 제시한다. 수직 분해를 통해 다각형을 분해하고, 굴절 직사각형을 잘라내며, 굽힘 수를 최소화하기 위해 수평 정렬 세그먼트를 전략적으로 선택함으로써, 알고리즘은 O(n) 시간과 공간에서 가장 짧은 수직 감시자 경로를 계산하며, 이 문제 유형에 대해 최적의 효율성을 달성한다.

ABSTRACT

Given an orthogonal polygon $ P $ with $ n $ vertices, the goal of the watchman route problem is finding a path $ S $ of the minimum length in $ P $ such that every point of the polygon $ P $ is visible from at least one of the point of $ S $. In the other words, in the watchman route problem we must compute a shortest watchman route inside a simple polygon of $ n $ vertices such that all the points interior to the polygon and on its boundary are visible to at least one point on the route. If route and polygon be orthogonal, it is called orthogonal watchman route problem. One of the targets of this problem is finding the orthogonal path with the minimum number of bends as possible. We present a linear-time algorithm for the orthogonal watchman route problem, in which the given polygon is monotone. Our algorithm can be used also for the problem on simple orthogonal polygons $ P $ for which the dual graph induced by the vertical decomposition of $ P $ is a path, which is called path polygon.

연구 동기 및 목표

• 수직 운동 제약 조건이 있는 환경에서의 로봇 감시를 위한 실용적이고 효율적인 해법을 제공하기 위해, 굽힘 수를 최소화하는 목적으로 부유 감시자 경로 문제를 해결하는 것.
• 수직 분해의 이중 그래프가 경로를 이룬다는 조건을 만족하는 단조형 수직 다각형에 대해 선형 시간 알고리즘을 개발하는 것.
• 수직 분해의 이중 그래프가 경로를 이룬다는 조건을 만족하는 경로 다각형—즉, 수직 다각형의 이중 그래프가 경로 형태인 수직 다각형—으로의 해법을 확장하여, 최적의 O(n) 시간 복잡도를 달성하는 것.
• 수직 운동 제약 조건이 있는 환경에서의 로봇 감시를 위한 실용적이고 효율적인 해법을 제공하는 것.

제안 방법

• 수직 다각형을 수직 분해하여 직사각형으로 분할하고, 이중 그래프를 경로 형태로 구성하는 것.
• 경로 다각형에서 굴절 직사각형을 식별하고 제거하여 다각형을 단조형 부분 다각형으로 분해하는 것.
• 각 단조형 부분 다각형에 대해 균형 잡힌 분해를 수행하여 효율적인 경로 구성이 가능하도록 하는 것.
• 각 직사각형에 대해 굽힘 수를 최소화하기 위해, 수평 모서리 높이의 局부 최대값과 최소값을 기반으로 최적의 수평 정렬 세그먼트(y-좌표)를 선택하는 것.
• 부분 다각형 간 경로를 수직 세그먼트로 연결하여 단일 폐쇄 수직 감시자 경로를 형성하는 것.
• 세 단계로 나누어 알고리즘을 실행하는 것: 분해, 잘라내기, 정렬 세그먼트 선택. 각 단계는 O(n) 시간 내에 수행된다.

실험 결과

연구 질문

• RQ1 단조형 수직 다각형에 대해 최소 굽힘 수를 갖는 수직 감시자 경로 문제를 선형 시간 내에 해결할 수 있는가?
• RQ2 수직 분해의 이중 그래프가 경로 형태를 이룬다는 특성으로 인해, 경로 다각형의 구조를 어떻게 활용하여 선형 시간 복잡도를 달성할 수 있는가?
• RQ3 결과 경로의 굽힘 수를 최소화하기 위해 어떤 전략이 정렬 세그먼트의 선택을 보장하는가?
• RQ4 단조형 다각형에서의 선형 시간 해법을 더 넓은 수직 다각형의 범주로 일반화할 수 있는가, 예를 들어 경로 다각형과 같은 클래스로?

주요 결과

• 제안된 알고리즘은 O(n) 시간 및 공간 복잡도를 달성하며, 이는 모든 정점가 적어도 한 번 이상 검사되어야 하므로 최적이다.
• 알고리즘은 단조형 수직 다각형에 대해 굽힘 수가 최소화된 가장 짧은 수직 감시자 경로를 성공적으로 계산한다.
• 굴절 직사각형 제거를 통해 경로 다각형을 단조형 부분 다각형으로 분해함으로써, 이 해법이 경로 다각형으로 일반화된다.
• 경로 구성은 수평 모서리의 국소 최대값과 최소값을 기반으로 한 정렬 세그먼트 선택에 의존하며, 이는 굽힘 수를 최소화한다.
• 최종 감시자 경로는 부분 경로를 수직 세그먼트로 연결하여 형성되며, 최적성과 수직성은 유지된다.
• 이 알고리즘은 최소 굽힘 수를 갖는 부유 수직 감시자 경로 문제에 대해 선형 시간 복잡도를 달성하는 최초의 알고리즘이다.