[论文解读] Improved Bounds for Beacon-Based Coverage and Routing in Simple Rectilinear Polygons

Sang Won Bae, Chan-Su Shin+1 more|arXiv (Cornell University)|May 19, 2015

Computational Geometry and Mesh Generation参考文献 13被引用 3

一句话总结

本文為簡單矩形多邊形中的信標覆蓋與路由問題建立了緊緻的組合邊界。研究證明，⌊n/6⌋ 個信標對於完整覆蓋是必要且充分的，而⌊(3n−4)/8⌋−1 個信標足以實現任意兩點間的路由，且在某些情況下可能需要⌈n/4⌉−1 個信標，顯著改善了先前的邊界。本文提出了一種最優的 O(n)-時間演算法，用於計算基於信標的核。

ABSTRACT

We establish tight bounds for beacon-based coverage problems, and improve the bounds for beacon-based routing problems in simple rectilinear polygons. Specifically, we show that $\lfloor \frac{n}{6} floor$ beacons are always sufficient and sometimes necessary to cover a simple rectilinear polygon $P$ with $n$ vertices. We also prove tight bounds for the case where $P$ is monotone, and we present an optimal linear-time algorithm that computes the beacon-based kernel of $P$. For the routing problem, we show that $\lfloor \frac{3n-4}{8} floor - 1$ beacons are always sufficient, and $\lceil \frac{n}{4} ceil-1$ beacons are sometimes necessary to route between all pairs of points in $P$.

研究动机与目标

• 彙整基於信標的覆蓋與路由在簡單矩形多邊形中已知下界與上界之間的差距。
• 建立用於覆蓋任何具有 n 個頂點之簡單矩形多邊形所需信標數量的緊緻、匹配邊界。
• 改善基於信標的路由上界與下界，縮小與先前結果的差距。
• 提出一種最優的 O(n)-時間演算法，用於計算簡單矩形多邊形的基於信標的核。
• 解決基於信標的幾何學中開放的問題，包括逆核計算。

提出的方法

• 構造一個需要⌊n/6⌋ 個信標才能覆蓋的下界多邊形實例，從而證明該邊界是緊緻的。
• 提出一種基於凹角邊與切割的遞迴分割策略，以在子多邊形中有效放置信標。
• 利用可視性、單調性與凸邊路由等幾何性質，確保點之間的信標吸引。
• 採用分治策略，於關鍵頂點（例如凸頂點、凹角頂點、切割端點）放置信標，以維持路由連通性。
• 採用遞迴信標放置演算法，並利用公式⌊(3r)/4⌋ 維持具有 r 個凹角頂點之子多邊形的總信標數量邊界。
• 設計一種線性時間演算法，透過利用矩形多邊形中的單調性與可視性結構，計算基於信標的核。

实验结果

研究问题

• RQ1 對於具有 n 個頂點的任何簡單矩形多邊形，覆蓋所需的信標數量之緊緻下界為何？
• RQ2 基於信標的覆蓋上界能否降低至與新下界匹配？
• RQ3 在簡單矩形多邊形中，所有點對之間基於信標路由的最緊緻上界為何？
• RQ4 是否存在一種線性時間演算法，可用於計算簡單矩形多邊形的基於信標的核？
• RQ5 逆核（所有被 P 中所有點吸引的點集合）能否在亞二次時間內計算？

主要发现

• ⌊n/6⌋ 個信標對於覆蓋任何具有 n 個頂點之簡單矩形多邊形而言，既必要也充分，從而確立了緊緻邊界。
• 本文提出一種線性時間演算法，用於計算簡單矩形多邊形的基於信標的核，此為最優解。
• ⌊(3n−4)/8⌋−1 個信標足以實現簡單矩形多邊形中所有點對之間的基於信標路由。
• 在某些情況下，⌈n/4⌉−1 個信標為路由所必需，此結果改善了先前的下界，並與新上界形成閉合。
• 路由演算法確保任意兩點可透過信標序列進行路由，且透過在凸頂點與凹角頂點等關鍵位置放置信標，維持了連通性。
• 本研究解決了覆蓋邊界方面的開放問題，並顯著提升了矩形多邊形中路由邊界的研究水準。