[논문 리뷰] A PTAS for vertex guarding weakly-visible polygons - An extended abstract

Matthew J. Katz|arXiv (Cornell University)|2018. 03. 06.

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

한 줄 요약

이 논문은 정점에서의 볼 수 있는 약한 볼록 다각형에 대해 다각형의 정점에서부터 정점 가드를 위한 다항 시간 근사 스킴(Political-Time Approximation Scheme, PTAS)을 제시한다. 이는 순서 주장(order claim)과 평면 이분 그래프 분석에 기반한 국소 탐색 알고리즘을 사용한다. 주요 기여는 다각형이 기저 모서리 끝점에서 엄밀히 볼록하지 않더라도, 약한 볼록 다각형 내에서 최소 정점 가드 집합에 대해 (1+ε)-근사값을 제공한다는 것이다.

ABSTRACT

In this extended abstract, we present a PTAS for guarding the vertices of a weakly-visible polygon $P$ from a subset of its vertices, or in other words, a PTAS for computing a minimum dominating set of the visibility graph of the vertices of $P$. We then show how to obtain a PTAS for vertex guarding $P$'s boundary.

연구 동기 및 목표

• 기저 모서리에서의 가시성 기반으로 약한 볼록 다각형에 대해 최소 기수의 정점 가드 집합을 계산하는 문제에 대응한다.
• 기존의 1.5D 지형에서의 PTAS 결과를 2D 약한 볼록 다각형으로 확장하기 위해 구조적 및 알고리즘적 기법을 적응한다.
• 기저 모서리 끝점에서의 볼록성 가정을 제거하여 더 일반적인 약한 볼록 다각형에 대한 적용 가능성을 넓힌다.
• 다각형의 전체 경계를 가로막기 위해 경계상에 다항 크기의 증거점 집합을 사용하여 PTAS를 확장한다.
• 이분 가시성 그래프에서 평면성과 국소성 조건을 이용해 국소 탐색 알고리즘의 성능에 대한 이론적 근거를 제시한다.

제안 방법

• 작은 가드 집합을 더 좋은 것으로 교체함으로써 점진적으로 개선되는 표준 국소 탐색 알고리즘을 사용한다.
• 근사 품질을 제어하기 위해 국소 탐색 파라미터 $ k = \alpha / \varepsilon^2 $ 로 설정한다.
• 순서 주장(‘만약 $ a \prec b \prec c \prec d $ 이고, $ a $ 가 $ c $ 를 본다, $ b $ 가 $ d $ 를 본다면, $ a $ 는 $ d $ 를 본다’)을 활용하여 가시성에서의 구조적 일관성을 보장한다.
• 최적의 가드 집합 $ R $ 과 알고리즘의 해 $ B $ 사이에 이분 그래프 $ G = (R \cup B, E) $ 를 구성하며, $ \lambda(w) $ 와 $ \rho(w) $ 를 사용해 가시성의 전행자 및 후행자를 정의한다.
• 이분 그래프가 평면적이고 국소성 조건을 만족함을 증명함으로써 Mustafa-Ray 증명 프레임워크의 적용이 가능하다.
• 비볼록 정점 $ u $ 와 $ v $ 에 가드를 추가하고, 경계 세그먼트를 새로운 변으로 대체하여 알고리즘이 요구하는 볼록성 가정을 복원한다.

실험 결과

연구 질문

• RQ1 표준 가시성 모델 하에서 약한 볼록 다각형의 정점 가드에 대해 PTAS를 설계할 수 있는가?
• RQ2 1.5D 지형에서 알려진 순서 주장이 2D 약한 볼록 다각형으로 확장되어 PTAS를 지원할 수 있는가?
• RQ3 기저 모서리 끝점에서의 볼록성 가정을 제거해도 PTAS 보장가 유지되는가?
• RQ4 다각형의 전체 경계를 가로막기 위해 정점 가드만을 사용하여 PTAS를 확장할 수 있는가?
• RQ5 파라미터 $ k = \alpha / \varepsilon^2 $ 를 가진 국소 탐색 알고리즘이 최소 정점 가드 집합에 대해 (1+ε)-근사값을 달성하는 데에 충분한가?

주요 결과

• 약한 볼록 다각형의 정점에서의 정점 가드에 대해 다항 시간 근사 스킴이 달성되었으며, 임의의 $ \varepsilon > 0 $ 에 대해 근사 비율이 $ (1+\varepsilon) \cdot \text{OPT} $ 이다.
• 알고리즘은 시간 복잡도 $ O(n^{O(1/\varepsilon^2)}) $ 에서 작동하며, 임의의 고정된 $ \varepsilon > 0 $ 에 대해 다항식 시간이다.
• 순서 주장이 약한 볼록 다각형에서도 성립하며, 이는 이분 가시성 그래프에서 국소성 조건을 증명하는 데 핵심적이다.
• 최적 해와 알고리즘 해 사이에 구성된 이분 그래프는 평면적이며 국소성 조건을 만족하므로, PTAS의 정확성이 보장된다.
• 기저 모서리 끝점에서의 볼록성 가정은 $ u $ 와 $ v $ 에 가드를 추가하고 다각형의 경계를 수정함으로써 제거할 수 있으며, 가시성 성질을 유지한다.
• 경계상에 다항 크기의 증거점 집합을 샘플링하여 전체 경계를 가로막는 PTAS를 확보할 수 있다. 이는 이 증거점들을 가로막는 것으로 전체 경계가 가로막힌다는 것을 의미한다.