[논문 리뷰] The Parameterized Complexity of Guarding Almost Convex Polygons

Akanksha Agrawal, Kristine Vitting Klinkby Knudsen외 3명|arXiv (Cornell University)|2020. 01. 01.

Computational Geometry and Mesh Generation인용 수 4

한 줄 요약

이 논문은 정점-정점 예술관 문제와 정점-경계, 경계-정점 변형이 반사 꼭짓점 수 r에 대해 고정된 매개변수로 가능함(FPT)임을 입증한다. 저자들은 거의 볼록 다각형의 구조적 성질을 활용하여 단조 2항 제약 충족 문제(Monotone 2-CSP)로의 새로운 이중 단계 감소 기법을 제안하며, 이로 인해 r^O(r²) · n^O(1) 시간 내에 실행 가능한 알고리즘을 얻는다.

ABSTRACT

The Art Gallery problem is a fundamental visibility problem in Computational Geometry. The input consists of a simple polygon P, (possibly infinite) sets G and C of points within P, and an integer k; the task is to decide if at most k guards can be placed on points in G so that every point in C is visible to at least one guard. In the classic formulation of Art Gallery, G and C consist of all the points within P. Other well-known variants restrict G and C to consist either of all the points on the boundary of P or of all the vertices of P. Recently, three new important discoveries were made: the above mentioned variants of Art Gallery are all W[1]-hard with respect to k [Bonnet and Miltzow, ESA'16], the classic variant has an O(log k)-approximation algorithm [Bonnet and Miltzow, SoCG'17], and it may require irrational guards [Abrahamsen et al., SoCG'17]. Building upon the third result, the classic variant and the case where G consists only of all the points on the boundary of P were both shown to be ∃ℝ-complete [Abrahamsen et al., STOC'18]. Even when both G and C consist only of all the points on the boundary of P, the problem is not known to be in NP. Given the first discovery, the following question was posed by Giannopoulos [Lorentz Center Workshop, 2016]: Is Art Gallery FPT with respect to r, the number of reflex vertices? In light of the developments above, we focus on the variant where G and C consist of all the vertices of P, called Vertex-Vertex Art Gallery. Apart from being a variant of Art Gallery, this case can also be viewed as the classic Dominating Set problem in the visibility graph of a polygon. In this article, we show that the answer to the question by Giannopoulos is positive: Vertex-Vertex Art Gallery is solvable in time r^O(r²)n^O(1). Furthermore, our approach extends to assert that Vertex-Boundary Art Gallery and Boundary-Vertex Art Gallery are both FPT as well. To this end, we utilize structural properties of "almost convex polygons" to present a two-stage reduction from Vertex-Vertex Art Gallery to a new constraint satisfaction problem (whose solution is also provided in this paper) where constraints have arity 2 and involve monotone functions.

연구 동기 및 목표

• Giannopoulos가 제기한, 반사 꼭짓점 수에 대해 예술관 문제의 고정된 매개변수로 가능함(FPT) 여부에 대한 열린 문제를 해결하기 위해.
• 기본적인 점-점 예술관 문제에서의 고정된 매개변수 가능성 결과를 정점-정점, 정점-경계, 경계-정점 변형으로 확장하기 위해.
• 거의 볼록 다각형을 위한 구조적 감소 기법을 개발하여, 단조 2-CSP를 통한 효율적인 매개변수화 해결을 가능하게 하기 위해.
• 반사 꼭짓점 수가 제한된 다각형에서 시야 기반의 보호 문제를 다루는 통합 프레임워크를 제공하기 위해.

제안 방법

• 모서리의 중요 시야 기준 위치에 정점이 있는 다각형 P1을 만들기 위해, 변 분할을 통한 정점 집합의 정밀화를 통해 '거의 볼록 다각형'을 정의한다.
• 정점-정점 예술관 문제를 제어된 감시 영역과 경비원 영역를 갖는 예술관 문제의 구조화된 변형으로 변환하기 위해 튜링 감소를 사용한다.
• 구조화된 문제를 단조 2항 제약 충족 문제(Monotone 2-CSP)로 감소시키며, 제약 조건은 시야 및 단조성 성질에 의해 정의된다.
• 거의 볼록 다각형의 구조적 성질을 활용하여, 정점과 경비원 사이의 시야 관계를 단조 함수로 표현할 수 있음을 보장한다.
• 기존의 Monotone 2-CSP에 대한 알려진 FPT 알고리즘(Theorem 2)을 적용하여 감소된 인스턴스를 r^O(r²) · n^O(1) 시간 내에 해결한다.
• 정점-경계 및 경계-정점 예술관 문제로의 접근을 확장하기 위해 보조 다각형 P2를 도입하고, 정점에 경비원을 배치하는 것으로 전체 경계를 커버할 수 있음을 증명한다.

실험 결과

연구 질문

• RQ1 반사 꼭짓점 수 r에 대해 정점-정점 예술관 문제는 고정된 매개변수로 가능함(FPT)인가?
• RQ2 동일한 매개변수화 접근 방식을 정점-경계 및 경계-정점 예술관 문제 변형으로 확장할 수 있는가?
• RQ3 거의 볼록 다각형의 구조적 성질을 활용하여 시야 문제를 해석 가능한 제약 충족 형태로 감소시킬 수 있는가?
• RQ4 제약 조건 인코딩에 단조 함수를 사용하면 반사 꼭짓점 수가 적은 다각형의 보호 문제에 대해 효율적인 FPT 알고리즘을 도출할 수 있는가?

주요 결과

• 정점-정점 예술관 문제는 반사 꼭짓점 수 r에 대해 FPT이며, r^O(r²) · n^O(1) 시간 내에 해결 가능하다.
• 정점-경계 및 경계-정점 예술관 문제 역시 반사 꼭짓점 수 r에 대해 FPT이며, 동일한 점근적 실행 시간을 가진다.
• 원래의 보호 문제에서 구조화된 예술관 형태로의 새로운 튜링 감소 기법을 도입하였으며, 이는 보조 다각형 P1 및 P2의 구축에 의존한다.
• Monotone 2-CSP로의 감소는 안전하며 해의 등가성을 유지하므로, 기존의 단조 제약 조건에 대한 FPT 알고리즘을 적용할 수 있다.
• 거의 볼록 다각형의 구조적 성질은 P1 또는 P2의 정점에 경비원을 배치하는 것으로 모든 필요한 시야 영역을 커버할 수 있음을 보장한다.
• 결과적으로, 보호 문제의 복잡도는 반사 꼭짓점 수에 본질적으로 종속되어 있음을 입증하였으며, 이는 이전에 FPT로 알려지지 않은 변형들에 대해서도 해당된다.