[論文レビュー] Sliding k-Transmitters: Hardness and Approximation

Thérèse Biedl, Saeed Mehrabi+1 more|arXiv (Cornell University)|Jul 25, 2016

VLSI and FPGA Design Techniques被引用数 3

ひとこと要約

本稿では、任意の固定された k > 0 に対して、最小数のスライディング kトランスミッタで垂直方向に単調な直角多角形を守る問題が、最も単純なケース（水平トランスミッタのみ）においても NP 困難であることを証明している。また、従来のスライディングカメラの研究を拡張して、この問題に対する O(1)-近似アルゴリズムを提示している。

ABSTRACT

A sliding k-transmitter in an orthogonal polygon P is a mobile guard that travels back and forth along an orthogonal line segment s inside P. It can see a point p in P if the perpendicular from p onto s intersects the boundary of P at most k times. We show that guarding an orthogonal polygon P with the minimum number of k-transmitters is NP-hard, for any fixed k>0, even if P is simple and monotone. Moreover, we give an O(1)-approximation algorithm for this problem.

研究の動機と目的

• 直角多角形におけるスライディング kトランスミッタのアートギャラリー問題の計算複雑性を確立すること。
• 幾何的制約（たとえば y 単調性や直角性）が課された条件下でも、問題が依然として困難であるかどうかを調査すること。
• 最小スライディング kトランスミッタ集合問題に対する効率的な近似アルゴリズムを開発すること。
• スライディングカメラの近似フレームワークが、スライディング kトランスミッタに適応可能かどうかを同定すること。

提案手法

• 平面的で 2-連結なグラフにおける最小頂点被覆問題への還元を用いて、スライディング kトランスミッタを備えた y 単調な直角多角形を構築する。
• スタックされたボックスと垂直チャンネルを用いた頂点ガジェットの設計により、グラフの頂点と辺をモデル化する。
• 細い垂直ストリップを用いた辺ガジェットの構築により、辺を表し、可視性制約がグラフの辺に対応するように保証する。
• ガードセグメントとピクセルクロスを用いて、ガーディング問題をクロス被覆問題に離散化する。
• 多角形の辺に沿った最大のガードセグメントへのスライディング kトランスミッタのマッピングにより、可視性問題を単純化する。
• クロス被覆定式化を介して、スライディングカメラから得られた O(1)-近似アルゴリズムをスライディング kトランスミッタに適応する。

実験結果

リサーチクエスチョン

• RQ1 スライディング kトランスミッタ問題は、直角的かつ y 単調な多角形に制限されても NP 困難であるか？
• RQ2 スライディングカメラの O(1)-近似アルゴリズムをスライディング kトランスミッタに拡張できるか？
• RQ3 水平スライディング kトランスミッタのみが許可される場合でも、問題の複雑性は依然として高いか？
• RQ4 直角凸より一般な非自明な多角形クラスにおいて、問題が多項式時間で解ける場合があるか？

主な発見

• 任意の固定された k > 0 に対して、スライディング kトランスミッタによる直角的かつ y 単調な多角形のガーディング問題は NP 困難である。
• 問題の NP 困難性は、水平スライディング kトランスミッタのみが許可される場合でも成立し、多角形は単純かつ単調である。
• 任意の直角多角形（穴ありを含む）において、スライディング kトランスミッタ問題に対する O(1)-近似アルゴリズムが存在する。
• 近似アルゴリズムは、スライディングカメラの場合と同様に、ガードセグメント上のクロス被覆問題への還元によって導出される。
• 水平スライディング kトランスミッタのみに制限された場合、アルゴリズムは依然として有効であり、さらに単純化される。
• O(1)-近似の定数要因は明示されていないが、過去の研究における ε ネット構成に依存しているため、おそらく大きくなる。