[论文解读] 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-modem光照问题，建模在多边形环境中无线信号最多穿透k面墙的情形。研究为单调多边形与单调正交多边形建立了最小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模型，其中多边形内一点若与modem之间的线段穿过至多k面墙，则被视为被照亮。
• 应用分割引理，将单调多边形划分为更小的x-单调子多边形，以支持递归分解。
• 利用单调多边形与正交多边形的结构特性，界定分割后子多边形中的顶点数量。
• 基于边配置（如水平边与分割线）进行情形分析，确保子多边形保持x-单调性与正交性。
• 应用关于阶梯端多边形与子多边形照亮的引理，证明每个子多边形仅需一个k-modem即可照亮。
• 结合递归分解与子多边形照亮，利用上取整函数推导全局边界。

实验结果

研究问题

• RQ1 对于任意具有n个顶点的单调多边形，最少需要多少个k-modem？
• RQ2 对于单调正交多边形，所需k-modem数量如何变化，特别是基于k的奇偶性？
• 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为奇数且k≥3时，⌈(n−2)/(2k+6)⌉个k-modem既充分又必要，可照亮任意单调正交n边形。
• k=1时的边界与偶数k时相同，这是由于几何约束与小常数的影响。
• 本文构造了显式的一类单调多边形与单调正交多边形，其达到下界，从而确认了边界的紧致性。