[论文解读] Guard Placement For Wireless Localization

David Eppstein, Michael T. Goodrich+1 more|ArXiv.org|Mar 14, 2006

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

一句话总结

本文提出了“雕塑花园问题”这一新型的博物馆问题变体，其中通过角度守卫（具有方向性视野的点传感器）来定义多边形的内部区域，且该定义基于布尔公式。核心贡献在于提出了一套简洁的证明系统：多边形内任意一点均可仅通过O(1)名守卫证明其成员身份，且对凸多边形、正交多边形和一般多边形均给出了最优守卫数量。

ABSTRACT

Motivated by secure wireless networking, we consider the problem of placing fixed localizers that enable mobile communication devices to prove they belong to a secure region that is defined by the interior of a polygon. Each localizer views an infinite wedge of the plane, and a device can prove membership in the secure region if it is inside the wedges for a set of localizers whose common intersection contains no points outside the polygon. This model leads to a broad class of new art gallery type problems, for which we provide upper and lower bounds.

研究动机与目标

• 使移动设备能够仅通过方向性本地定位器（角度守卫）证明其位于安全多边形区域内的身份，而无需依赖GPS或物理屏障。
• 将该问题建模为一个几何问题，其中守卫的楔形视野交集通过单调布尔公式定义多边形的内部区域。
• 在确保任意内部点可仅使用常数数量的证书（即每条证明使用O(1)名守卫）的前提下，最小化守卫数量。
• 为各类多边形（包括凸多边形和正交多边形）建立守卫数量的紧致上下界。
• 探讨雕塑花园问题的计算复杂性与可行性，包括其NP难性以及与反问题（证明排除）的对偶性。

提出的方法

• 将移动设备的位置证明建模为单调布尔公式F(p)，由角度守卫谓词B_g(p)构成，其中F(p)为真当且仅当点p位于多边形P内部。
• 利用三角剖分及其对偶树的质心分解，将多边形划分为大小至多为c的子多边形，从而实现大小为O(c)的简洁证明。
• 对每个大小为c的子多边形，布置f(c)名守卫以定义其内部区域，随后通过析取运算组合子公式，形成P的全局公式。
• 应用几何划分技术（如基于可视性的对角线将正交多边形划分为矩形和六边形）以减少守卫数量。
• 利用计算几何中的已知结果（如Chvátal博物馆定理、用于聚光灯的顶点守卫）推导守卫布置的界限。
• 通过递归分解与基于树的结构（三角剖分的对偶图）确保O(n)的构造时间与最优守卫分布。

实验结果

研究问题

• RQ1 是否存在一个简单多边形，其内部必须恰好使用n−2名角度守卫，才能通过单调布尔公式定义？
• RQ2 定义正交多边形所需的守卫数量的紧致上下界是什么？
• RQ3 反向雕塑花园问题（即设备证明其位于多边形外部）是否可实现相似的效率与简洁性？
• RQ4 对于给定多边形，计算最少角度守卫数量的问题是否为NP难？
• RQ5 对于一般多边形，如何在守卫数量与证明公式的简洁性（即每张证书的守卫数量）之间实现权衡？

主要发现

• 对于任意具有n个顶点的简单多边形，最多n−2名角度守卫足以通过单调布尔公式定义其内部区域，且该界对某些多边形是紧致的。
• 对于凸多边形，本文提出一种使用⌈n/2⌉名守卫的公式，但该公式不具简洁性（证明大小随n增长）；然而，通过权衡构造，可实现O(1/ε)的证书大小，且仅需⌈n/2⌉(1+ε)名守卫，其中ε>0为任意正数。
• 对于正交多边形，本文证明了上界为⌈3(n−2)/4⌉名守卫，使得任意内部点均可仅通过两名守卫证明其成员身份，且构造过程耗时O(n)。
• 利用三角剖分对偶树的质心分解方法，可构造出使用O(n f(c)/c)名守卫的简洁公式，其中f(c)为定义c个顶点子多边形内部区域所需的守卫数。
• 本文猜想存在需多达n−2名守卫的多边形，并提供了用于将正交多边形划分为矩形与六边形块的结构引理，以最小化守卫数量。
• 本文证明了在一般情况下，最小化角度守卫数量的问题为NP难，尽管对特殊类别（如凸多边形和正交多边形）存在高效解法。