[論文レビュー] Irrational Guards are Sometimes Needed

Mikkel Abrahamsen, Anna Adamaszek+1 more|arXiv (Cornell University)|Jan 19, 2017

Guidance and Control Systems参考文献 7被引用数 7

ひとこと要約

この論文は、整数座標をもつ単純多角形における最適なアートギャラリー監視者配置において、無理数座標がときとして必要であることを証明することで、長年の未解決問題を解決している。単調かつ長方形多角形を構築し、最適な監視者集合が無理数座標を必要とする例を示した。これにより、有理数座標と無理数座標の監視者数の比が 4/3 に達することを示し、点監視者アートギャラリー問題において、有理数座標の解が最適でないことが明確になった。

ABSTRACT

In this paper we study the art gallery problem, which is one of the fundamental problems in computational geometry. The objective is to place a minimum number of guards inside a simple polygon such that the guards together can see the whole polygon. We say that a guard at position $x$ sees a point $y$ if the line segment $xy$ is fully contained in the polygon. Despite an extensive study of the art gallery problem, it remained an open question whether there are polygons given by integer coordinates that require guard positions with irrational coordinates in any optimal solution. We give a positive answer to this question by constructing a monotone polygon with integer coordinates that can be guarded by three guards only when we allow to place the guards at points with irrational coordinates. Otherwise, four guards are needed. By extending this example, we show that for every $n$, there is polygon which can be guarded by $3n$ guards with irrational coordinates but need $4n$ guards if the coordinates have to be rational. Subsequently, we show that there are rectilinear polygons given by integer coordinates that require guards with irrational coordinates in any optimal solution.

研究の動機と目的

• 整数座標をもつ多角形が、最適解において無理数座標の監視者位置を必要とすることはあるか、という未解決問題を解決すること。
• 有理数座標の監視者配置が、明確に最適でない場合があること、および有理数解と無理数解の最適解のサイズの差が定量的に測れるようにすること。
• 結果を、有理数と無理数の最適監視者数の比が一貫して 4/3 に達する多角形の族に拡張すること。
• 特に NP 困難性と実数の存在理論（∃R）の文脈において、無理数座標が計算幾何学問題に果たす役割を調査すること。

提案手法

• 整数座標をもつ単調な単純多角形を構築し、その最適な被覆が、監視者の位置が無理数である場合にのみ 3 名の監視者で達成可能であることを示す。
• 幾何的制約と視界特性を用いて、有理数座標の監視者では 4 名未満では被覆が不可能であることを強制する。
• 基本的な構築を、最適な監視者数が無理数座標では 3n、有理数座標では 4n に達する多角形族 (P_n) に拡張する。
• 代数的技法を用いて、最小監視者位置が整数係数の二次多項式の根にあることを示し、最適配置の無理数性を示す。
• 可視性のギャップを分析し、外部監視者を少なくとも 3 名以上必要とするため、サイズ 9 の有理数座標監視者集合では 10 名分の監視が必要な多角形を被覆できないことを証明する。
• 既知の複雑性結果と実数の存在理論（∃R）を活用し、幾何最適化における無理数座標の意味を文脈づけて考察する。

実験結果

リサーチクエスチョン

• RQ1 整数頂点座標をもつ単純多角形のうち、最適な監視者集合が有理数座標でのみ配置可能でないものはあるか？
• RQ2 最適な有理数座標監視者集合のサイズと最適な無理数座標監視者集合のサイズとの比が 1 から離れる可能性はあるか？
• RQ3 2 名の監視者が、無理数座標に配置されない限り十分でない多角形を構築することは可能か？
• RQ4 無理数座標が二次より高い次数の無理数を必要とする多角形は存在するか？
• RQ5 アートギャラリー問題の複雑性と実数の存在理論（∃R）との関係は何か。特に、無理数監視者配置の観点から検討する。

主な発見

• 整数座標をもつ単調な単純多角形が存在し、最適被覆には 3 名の無理数座標監視者が必要だが、有理数座標のみを許容する場合、4 名の監視者が必要となる。
• 任意の正の整数 n に対して、多角形族 (P_n) が存在し、3n 名の無理数座標監視者で十分だが、有理数座標では 4n 名の監視者が必要となる。
• 構築された多角形族において、最適な有理数監視者数と最適な無理数監視者数の比は正確に 4/3 である。
• 構築における無理数監視者位置は、整数係数の二次多項式の根であり、二次の無理数性を示している。
• 証明により、可視性のギャップが特定領域で避けがたく、サイズ 9 の有理数座標監視者集合では 10 名分の監視が必要な多角形を被覆できないことが示された。
• これらの結果は、アートギャラリー問題が NP に属するとは限らない可能性を示唆しており、最適解が常に多項式的に有界な有理数座標で表現可能でない限り、そうではない。