[논문 리뷰] A PTAS for the continuous 1.5D Terrain Guarding Problem

Stephan Friedrichs, Michael Hemmer외 1명|arXiv (Cornell University)|2014. 05. 26.

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

한 줄 요약

이 논문은 최적의 커버리지가 유지되는 유한한 가드 및 워치맨 집합을 구성함으로써 연속적인 1.5차원 지형 가드 문제에 대한 다항식 시간 근사법(PTAS)을 제시한다. 최적의 가드 커버가 유한한 후보 가드 집합 내에 존재함을 증명함으로써, 이산 버전에 대해 알려진 PTAS를 연속 케이스에 적용하여 임의의 정밀도로 근사할 수 있음을 보여준다.

ABSTRACT

In the continuous 1.5-dimensional terrain guarding problem we are given an $x$-monotone chain (the \emph{terrain} $T$) and ask for the minimum number of point guards (located anywhere on $T$), such that all points of $T$ are covered by at least one guard. It has been shown that the 1.5-dimensional terrain guarding problem is \NP-hard. The currently best known approximation algorithm achieves a factor of $4$. For the discrete problem version with a finite set of guard candidates and a finite set of points on the terrain that need to be monitored, a polynomial time approximation scheme (PTAS) has been presented [10]. We show that for the general problem we can construct finite guard and witness sets, $G$ and $W$, such that there exists an optimal guard cover $G^* \subseteq G$ that covers $T$, and when these guards monitor all points in $W$ the entire terrain is guarded. This leads to a PTAS as well as an (exact) IP formulation for the continuous terrain guarding problem.

연구 동기 및 목표

• 이산 및 연속 버전의 1.5차원 지형 가드 문제 간 격차를 메우기 위해 연속 케이스에 대한 근사 계획을 가능하게 하기 위해.
• 최적의 가드 커버가 이 집합 내에 완전히 포함되는 유한한 가드 후보 집합이 존재함을 보여주기 위해.
• 모든 워치맨을 커버함으로써 전체 지형 커버리지가 보장되는 유한한 워치맨 집합을 구성하기 위해.
• 이러한 유한 집합에서 이산 문제를 해결하면 연속 문제의 최적 해가 도출됨을 확립하기 위해.
• 연속적인 지형 가드 문제에 대해 PTAS와 정확한 정수계획법 설정을 가능하게 하기 위해.

제안 방법

• 극한의 시야 점과 지형 정점에 기반하여 크기 $ O(n^2) $ 의 유한한 가드 후보 집합 $ U $ 를 구성한다.
• 집합 $ U $ 의 가드들의 시야 영역에서 극한인 점들로 구성된 크기 $ O(n^3) $ 의 유한한 워치맨 집합 $ W(U) $ 를 정의한다.
• 연속적인 지형 가드 문제의 임의의 최적 가드 커버가 $ U $ 의 가드들만을 사용하여 실현 가능함을 증명하고, $ W(U) $ 를 커버하면 전체 지형 커버리지가 보장됨을 보인다.
• Gibson 등 [11] 이 제안한 이산 지형 가드 문제 $ \text{TGP}(G,W) $ 에 대한 기존 PTAS 를 활용하여, $ \text{TGP}(U, W(U)) $ 에 적용한다.
• 이중 변수를 사용하여 $ U $ 의 가드를 표현하고, $ W(U) $ 의 모든 점들이 커버되도록 보장하는 제약 조건을 포함하는 정수계획법(IP)으로 연속적인 지형 가드 문제를 기술한다.
• 등식 $ \text{OPT}(T,T) = \text{OPT}(U, W(U)) $ 를 이용하여, 이산 문제에서의 근사 및 정확한 해 보장 조건을 연속 문제로 이전한다.

실험 결과

연구 질문

• RQ1 최적의 해가 포함된 유한한 가드 후보 집합을 구성할 수 있는가?
• RQ2 모든 워치맨을 커버하면 연속적인 지형 전체가 커버됨을 보장하는 유한한 워치맨 집합이 존재하는가?
• RQ3 이러한 유한 집합의 존재가 이산 지형 가드 문제에 대해 설계된 기존 PTAS 알고리즘을 연속 케이스에 적용할 수 있도록 하는가?
• RQ4 유한한 가드 및 워치맨 집합을 사용하여 연속적인 지형 가드 문제를 정확한 정수계획법으로 기술할 수 있는가?
• RQ5 연속 문제의 최적 해 크기와 이에 대응하는 유한 집합에서의 이산 문제의 최적 해 크기 사이의 관계는 무엇인가?

주요 결과

• 크기 $ O(n^2) $ 의 유한한 가드 후보 집합 $ U $ 가 존재하여, 연속적인 지형의 최적 가드 커버가 완전히 $ U $ 내에 포함됨을 보장한다.
• 크기 $ O(n^3) $ 의 유한한 워치맨 집합 $ W(U) $ 가 존재하여, $ W(U) $ 의 모든 점들을 커버하면 전체 지형 커버리지가 보장됨을 보장한다.
• 연속적인 지형 가드 문제의 최적 해 크기 $ \text{OPT}(T,T) $ 는 집합 $ U $ 와 $ W(U) $ 에서의 이산 문제 최적 해 크기와 동일하며, 즉 $ \text{OPT}(T,T) = \text{OPT}(U, W(U)) $ 를 만족한다.
• Gibson 등 [11] 이 제안한 PTAS 를 $ \text{TGP}(U, W(U)) $ 에 적용함으로써, 연속적인 1.5차원 지형 가드 문제에 대한 다항식 시간 근사법(PTAS)을 달성하였으며, 임의의 $ \epsilon > 0 $ 에 대해 최적값의 $ (1+\epsilon) $ 이내의 해를 얻을 수 있다.
• 가드 변수로 $ U $ 를, 커버리지 제약 조건으로 $ W(U) $ 를 사용하여 연속적인 지형 가드 문제에 대한 정확한 정수계획법 설정을 수립하였다.
• 결과적으로 연속적인 지형 가드 문제에 대해 유한한 이산화를 통한 근사 및 정확한 해법 적용이 가능함을 시사한다.