[論文レビュー] Complexity of the General Chromatic Art Gallery Problem

Sándor P. Fekete, Stephan Friedrichs+1 more|arXiv (Cornell University)|Mar 12, 2014

Computational Geometry and Mesh Generation参考文献 16被引用数 5

ひとこと要約

本稿は、穴あり多角形および単純多角形の両方において、一般化彩色アートギャラリー問題（CAGP）のNP困難性を確立している。k ≥ 2色で多角形を防衛可能かどうかを決定することは、計算的に困難であることを示している。3SATを符号化するための幾何的ガジェット（例：ニードル、クロスオーバー、または/マルチプレクサ）を用いた新しい還元を導入し、任意のガード配置においても、色数の最小化がNP困難であることを示している。特に、最適彩色数がΘ(n)である場合でも同様である。

ABSTRACT

In the original Art Gallery Problem (AGP), one seeks the minimum number of guards required to cover a polygon $P$. We consider the Chromatic AGP (CAGP), where the guards are colored. As long as $P$ is completely covered, the number of guards does not matter, but guards with overlapping visibility regions must have different colors. This problem has applications in landmark-based mobile robot navigation: Guards are landmarks, which have to be distinguishable (hence the colors), and are used to encode motion primitives, \eg, "move towards the red landmark". Let $χ_G(P)$, the chromatic number of $P$, denote the minimum number of colors required to color any guard cover of $P$. We show that determining, whether $χ_G(P) \leq k$ is \NP-hard for all $k \geq 2$. Keeping the number of colors minimal is of great interest for robot navigation, because less types of landmarks lead to cheaper and more reliable recognition.

研究の動機と目的

• ガードを固定された候補集合に限定せず、多角形の任意の位置に配置できる場合の一般化彩色アートギャラリー問題（CAGP）の計算複雑性を特定すること。
• 一般ガード配置下でもCAGPがNP困難であるかどうかという未解決の問題、特にk = 2および単純多角形の場合を解明すること。
• 最小色数がnに比例する場合を含む、CAGPの完全な複雑性解析を提供すること。
• 従来の制限付きガード集合に依存するNP困難性結果を、任意のガード位置を許容する一般ケースに拡張すること。

提案手法

• 論理制約を多角形の視認性に符号化するため、幾何的ガジェット（ニードル、クロスオーバー、またはガジェット、マルチプレクサ）を用いて、3SATからk-CAGPへの還元を構築する。
• 「ニードル補題」（補題2.1）を用い、複数の点からの視認性が重複する重要な領域に少なくとも1人のガードが配置されることを強制し、色の衝突を回避する。
• 単純多角形の場合、幾何的双対性を用いて問題を最小基数の直線被覆問題に還元する。視認領域がニッチ内に配置されたガードに対応する「スパイクボックス」構成を用いる。
• 2-CAGPのNP困難性を証明するため、3SATのインスタンスを多角形に符号化し、論理式が充足可能であることと2色でガード被覆が存在することは同値であるようにする。
• 視認性および色の制約に基づいて、多角形の配置で論理的ORおよびAND演算を模倣するための「またはガジェット」と「かつガジェット」を用いる。
• メジドとタミールによる点の集合に対する最小直線被覆問題の既知のNP困難性を活用し、幾何的双対性を適用して、単純多角形におけるCAGPのNP困難性を示す。

実験結果

リサーチクエスチョン

• RQ1 ガードを固定された集合からのみではなく、多角形の任意の位置に配置できる場合、彩色アートギャラリー問題（CAGP）はNP困難であるか？
• RQ2 穴あり多角形をk = 2色で防衛可能かどうかを決定する問題の複雑性は何か？
• RQ3 最適彩色数がΘ(n)である場合でも、単純多角形の最小色数を計算することはNP困難か？
• RQ4 事前に指定されたガード候補位置の集合に依存せずに、CAGPのNP困難性を確立できるか？
• RQ5 特に衝突グラフが弦的でない場合に、与えられたガード集合に対する単純多角形の彩色数を決定する問題の複雑性は何か？

主な発見

• 穴あり多角形に対し、ガード位置が有限な候補集合に制限されない場合でも、2-CAGPはNP困難である。
• 任意の固定されたk ≥ 2について、穴あり多角形がk色で彩色可能かどうかを決定することはNP困難である。
• 単純多角形における一般CAGPのNP困難性は、最小点被覆問題への還元によって確立された。
• 単純多角形の彩色数χ_G(P)はΘ(n)に達する可能性があり、この条件下でその計算はNP困難である。
• 「スパイクボックス」の構築により、色数の最小化がガード数の最小化と等価になることが保証され、これは直線の最小点被覆に対応する。
• スパイクボックス例におけるガード視認領域の衝突グラフは弦的でないため、固定されたガード集合に対して多項式時間解法が存在すると以前に主張されたことは無効である。