[論文レビュー] The Parameterized Complexity of Guarding Almost Convex Polygons

Akanksha Agrawal, Kristine Vitting Klinkby Knudsen+3 more|arXiv (Cornell University)|Jan 1, 2020

Computational Geometry and Mesh Generation被引用数 4

ひとこと要約

本稿では、頂点-頂点の美術館問題に加え、頂点-境界および境界-頂点の変種について、反突きの頂点数 r をパrameterとして固定パrameter tractable (FPT) であることが示された。著者らは、ほとんど凸多角形の構造的性質を活用して、単調な2項制約充足問題（Monotone 2-CSP）への2段階の還元を新たに導入し、時間 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が提起した、反突き頂点数をパラメータとする美術館問題の固定パラメータ可 tractability 問題を解消すること。
• 古典的な点-点美術館問題におけるパラメータ化可能 tractability 結果を、頂点-頂点、頂点-境界、境界-頂点の変種へ拡張すること。
• ほとんど凸多角形の構造的性質を活用して、効率的なパラメータ化された解法を可能にする還元技術を開発すること。
• 反突き頂点数が限られた多角形における可視性に基づくガーディング問題を統一的に取り扱うフレームワークを提供すること。

提案手法

• 辺の分割による頂点集合の精緻化を通じて「ほとんど凸多角形」を定義し、可視性の重要な位置に頂点を配置した多角形 P1 を構築する。
• Turing還元を用いて、頂点-頂点美術館問題を、ガードと可視領域を制御可能な構造化された美術館問題の変種に変換する。
• 構造化された問題を、可視性および単調性の性質によって定義される制約を持つ単調な2項制約充足問題（Monotone 2-CSP）に還元する。
• ほとんど凸多角形の構造的性質を活用して、ガードと頂点間の可視性関係を単調関数として符号化できることを保証する。
• 既知の Monotone 2-CSP に対する FPT アルゴリズム（定理2）を適用し、還元されたインスタンスを時間 r^O(r²) · n^O(1) で解く。
• 頂点-境界および境界-頂点美術館問題への拡張のために、補助多角形 P2 を導入し、頂点に配置されたガードが境界全体をカバーすることを証明する。

実験結果

リサーチクエスチョン

• RQ1 反突き頂点数 r をパラメータとする頂点-頂点美術館問題は、固定パラメータ可 tractable か？
• RQ2 同じパラメータ化アプローチを頂点-境界および境界-頂点美術館問題の変種へ拡張可能か？
• RQ3 ほとんど凸多角形の構造的性質を活用して、可視性問題を扱いやすい制約充足形式に還元可能か？
• RQ4 制約符号化に単調関数を用いることで、反突き頂点が少ない多角形におけるガーディング問題の効率的 FPT アルゴリズムが可能か？

主な発見

• 頂点-頂点美術館問題は、反突き頂点数 r をパラメータとして FPT であり、時間 r^O(r²) · n^O(1) で解ける。
• 頂点-境界および境界-頂点美術館問題についても、r をパラメータとして FPT であり、同じ漸近的実行時間を持つ。
• 補助多角形 P1 および P2 の構築に依存する、元のガーディング問題から構造化された美術館問題への新規 Turing 還元が導入された。
• Monotone 2-CSP への還元は安全であり、解の同値性を保ったまま、既存の単調制約用 FPT アルゴリズムの利用を可能にする。
• ほとんど凸多角形の構造的性質により、P1 や P2 の頂点に配置されたガードが、すべての必要な可視領域をカバーすることが保証される。
• 結果として、ガーディング問題の複雑さは、反突き頂点数に本質的に依存しており、かつこれまで FPT であると知られていなかった変種に対しても同様に成り立つことが示された。