[论文解读] Continuous Terrain Guarding with Two-Sided Guards

Wei-Yu Lai, Tien-Ruey Hsiang|arXiv (Cornell University)|May 1, 2018

Computational Geometry and Mesh Generation参考文献 7被引用 1

一句话总结

本文提出了一种针对连续1.5D地形守护问题的最优算法，该问题要求采用双侧守护机制，即一个点若能被左侧和右侧各一个顶点相互看见，则被视为被守护。通过将连续地形转换为有限离散点集X，作者证明了对X的双侧守护可保证对整个地形的双侧守护，从而实现通过离散优化获得精确解。

ABSTRACT

Herein, we consider the continuous 1.5-dimensional(1.5D) terrain guarding problem with two-sided guarding. We provide an x-monotone chain T and determine the minimal number of vertex guards such that all points of T have been two-sided guarded. A point p is two-sided guarded if there exist two vertices vi (left of p) and (right of p) that both see p. A vertex vi sees a point p on T if the line segment connecting vi to p is on or above T. We demonstrate that the continuous 1.5D terrain guarding problem can be transformed to the discrete terrain guarding problem with a finite point set X and that if X is two-sided guarded, then T is also two-sided guarded. Through this transformation, we achieve an optimal algorithm that solves the continuous 1.5D terrain guarding problem under two-sided guarding.

研究动机与目标

• 解决在每个点必须被左右两侧各一个顶点看见的连续1.5D地形守护问题。
• 建立从连续地形到有限离散点集X的变换，使得X的双侧守护可确保地形的完整双侧守护。
• 设计一种最优算法，计算实现地形完整双侧覆盖所需的最少顶点守护数。

提出的方法

• 定义双侧守护条件：若存在左侧顶点vi和右侧顶点vj，使得线段vivj和vjp均位于地形T之上或之上，则点p被视为双侧守护。
• 在地形T上构造一个有限点集X，使得若X被双侧守护，则整个地形T也被双侧守护。
• 证明连续1.5D地形守护问题可约化为在X上的离散守护问题，且保持双侧守护性质。
• 利用地形T的x-单调性，确保可见性关系可系统地分析与计算。
• 对有限点集X应用离散优化技术，以计算最少的顶点守护集合。
• 通过证明离散问题的任意解均对应于连续问题的最优解，从而确立算法的正确性与最优性。

实验结果

研究问题

• RQ1 连续1.5D地形守护问题在双侧守护约束下，能否约化为基于有限点集X的离散守护问题？
• RQ2 地形上有限点集X的双侧守护是否意味着整个连续地形T也实现双侧守护？
• RQ3 是否存在一种最优算法，可计算实现连续1.5D地形双侧覆盖所需的最少顶点守护数？
• RQ4 地形与可见性的何种结构特性使得从连续守护到离散守护的约化成为可能？
• RQ5 如何形式化可见性约束，以确保左侧和右侧的顶点守护者能同时看见地形上的同一点？

主要发现

• 连续1.5D地形守护问题在双侧守护条件下，可约化为在有限点集X上的离散守护问题。
• 若X中所有点均实现双侧守护，则整个连续地形T也实现双侧守护。
• 所提出的变换保持了双侧守护所需的可见性与守护性质。
• 通过求解X上的离散守护问题，可获得连续地形的最优算法，从而得到最少顶点守护数。
• 地形T的x-单调性使得向离散设置的系统化且正确的变换成为可能。
• 该解为最优解，因为X的最小守护集合恰好对应于T在双侧守护下的最小守护集合。