[論文レビュー] Modem Illumination of Monotone Polygons

Oswin Aichholzer, Ruy Fabila Monroy+4 more|RECERCAT (Consorci de Serveis Universitaris de Catalunya)|Mar 17, 2015

Manufacturing Process and OptimizationEngineering被引用数 19

ひとこと要約

本稿では、多角形環境内を最大k面の壁を貫通する無線信号をモデル化するk-modem照射問題を導入する。単調多角形および単調直交多角形における最小k-modem数のタイトな上限と下限を確立し、単調多角形では⌈(n−2)/(2k+3)⌉個のk-modemで十分であり、かつ必要であることを示している。直交多角形の場合はkの偶奇に応じた洗練された境界が得られる。

ABSTRACT

We study a generalization of the classical problem of the illumination of polygons. Instead of modeling a light source we model a wireless device whose radio signal can penetrate a given number $k$ of walls. We call these objects $k$-modems and study the minimum number of $k$-modems sufficient and sometimes necessary to illuminate monotone and monotone orthogonal polygons. We show that every monotone polygon with $n$ vertices can be illuminated with $\big\lceil \frac{n-2}{2k+3} \big ceil$ $k$-modems. In addition, we exhibit examples of monotone polygons requiring at least $\lceil \frac {n-2} {2k+3} ceil$ $k$-modems to be illuminated. For monotone orthogonal polygons with $n$ vertices we show that for $k=1$ and for even $k$, every such polygon can be illuminated with $\big\lceil \frac{n-2}{2k+4} \big ceil$ $k$-modems, while for odd $k\geq3$, $\big\lceil \frac{n-2}{2k+6} \big ceil$ $k$-modems are always sufficient. Further, by presenting according examples of monotone orthogonal polygons, we show that both bounds are tight.

研究の動機と目的

• 建物内における無線信号伝搬を、最大k面の壁を貫通するk-modemでモデル化すること。
• n頂点を持つ任意の単調多角形を照射するために必要な最小k-modem数を特定すること。
• 幾何的制約およびkの偶奇を考慮した単調直交多角形への分析を拡張すること。
• 単調および単調直交多角形クラスにおけるk-modem配置のタイトな上限と下限を証明すること。
• 多角形環境における無線機器の最適配置のためのアルゴリズム的基盤を確立すること。

提案手法

• 点がk個の壁を越える線分を介してモデムに到達する場合に照射される、k-modemモデルを導入する。
• 単調多角形をより小さなx単調部分多角形に分割するための分割補題を適用し、再帰的分解を可能にする。
• 単調および直交多角形の構造的性質を用いて、分割後の部分多角形における頂点数の上限を特定する。
• 水平辺や分割線などのエッジ構成に基づくケース解析を実施し、部分多角形がx単調および直交性を保つことを保証する。
• 階段端多角形および部分多角形の照射に関する補題を用い、各部分多角形に対して1つのk-modemで十分であることを証明する。
• 再帰的分解と部分多角形の照射を組み合わせ、床関数を用いてグローバルな境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 n頂点を持つ任意の単調多角形を照射するために必要な最小k-modem数は何か？
• RQ2 特にkの偶奇に応じて、単調直交多角形では必要なk-modem数はどのように変化するか？
• RQ3 単調および単調直交多角形におけるk-modem配置に対して、タイトな上限と下限を確立できるか？
• RQ4 単調多角形に対して提案された⌈(n−2)/(2k+3)⌉個のk-modemは、最悪ケースにおいて十分かつ必要であるか？
• RQ5 直交性およびkの偶奇は、一般の単調多角形と比較して照射の複雑さにどのように影響するか？

主な発見

• 任意のn頂点を持つ単調多角形に対して、⌈(n−2)/(2k+3)⌉個のk-modemが最悪ケースで十分かつ必要である。
• 少なくとも⌈(n−2)/(2k+3)⌉個のk-modemを必要とする単調多角形が存在することから、この境界がタイトであることが証明される。
• 単調直交多角形では、k=1またはkが偶数の場合、⌈(n−2)/(2k+4)⌉個のk-modemが十分かつ必要である。
• kが奇数で3以上の場合、任意の単調直交n角形を照射するには⌈(n−2)/(2k+6)⌉個のk-modemが十分かつ必要である。
• k=1の境界は、幾何的制約および小さな定数値のため、偶数kの場合と同一である。
• 本稿では、下限に達する具体的な単調および単調直交多角形の族を構成し、タイト性を確認している。