[论文解读] An Algorithm for Computing Constrained Reflection Paths in Simple Polygon

Arijit Bishnu, Subir Kumar Ghosh+3 more|arXiv (Cornell University)|Apr 16, 2013

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

一句话总结

本文提出了一种时间复杂度为 O(n(n + β)) 的算法，用于计算简单多边形中两点之间的最小约束漫反射路径（mcdrp），其中路径为简单路径，仅与欧几里得最短路径的屋檐恰好相交一次，且最小化转弯点数量。主要贡献在于提出了一种几何约束路径模型，使得近似最优的漫反射路径可在多项式时间内计算，其近似比最多为最优路径长度的 4 倍。

ABSTRACT

Let $s$ be a source point and $t$ be a destination point inside an $n$-vertex simple polygon $P$. Euclidean shortest paths and minimum-link paths between $s$ and $t$ inside $P$ have been well studied. Both these kinds of paths are simple and piecewise-convex. However, computing optimal paths in the context of diffuse or specular reflections does not seem to be an easy task. A path from a light source $s$ to $t$ inside $P$ is called a diffuse reflection path if the turning points of the path lie in the interiors of the boundary edges of $P$. A diffuse reflection path is said to be optimal if it has the minimum number of turning points amongst all diffuse reflection paths between $s$ and $t$. The minimum diffuse reflection path may not be simple. The problem of computing the minimum diffuse reflection path in low degree polynomial time has remained open. In our quest for understanding the geometric structure of the minimum diffuse reflection paths vis-a-vis shortest paths and minimum link paths, we define a new kind of diffuse reflection path called a constrained diffuse reflection path where (i) the path is simple, (ii) it intersects only the eaves of the Euclidean shortest path between $s$ and $t$, and (iii) it intersects each eave exactly once. For computing a minimum constrained diffuse reflection path from $s$ to $t$, we present an $O(n(n+β))$ time algorithm, where $β=Θ(n^2)$ in the worst case. Here, $β$ depends on the shape of the polygon. We also establish some properties relating minimum constrained diffuse reflection paths and minimum diffuse reflection paths. Constrained diffuse reflection paths introduced in this paper provide new geometric insights into the hitherto unknown structures and shapes of optimal reflection paths.

研究动机与目标

• 解决在简单多边形中以多项式时间计算最小漫反射路径的开放问题。
• 定义一类新路径——约束漫反射路径（cdrp）——以在简洁性、可见性和最优性之间取得平衡。
• 建立约束路径与最短路径及最小-link路径之间几何特性的联系。
• 开发一种高效计算最小约束漫反射路径（mcdrp）的算法。
• 分析 mcdrp 相对于最优漫反射路径的近似比与结构边界。

提出的方法

• 将约束漫反射路径（cdrp）定义为仅与欧几里得最短路径 SP(s,t) 的屋檐恰好相交一次的简单路径。
• 利用 SP(s,t) 及其屋檐的可见性结构，对反射路径的搜索空间进行约束。
• 通过从最短路径 SP(s,t) 和最小-link 路径 mlp(s,t) 的变换，构造 mcdrp(s,t)。
• 利用可见性与凸性性质，确保路径的简洁性及反射位置的正确性。
• 采用动态规划或路径扩展技术，通过顺序处理屋檐与可见性区域来计算 mcdrp(s,t)。
• 利用结构引理对 mcdrp(s,t) 中的转弯数进行界定，表明其最多为最优漫反射路径长度的 4 倍。

实验结果

研究问题

• RQ1 是否可以在多项式时间内计算简单多边形中的最小漫反射路径？
• RQ2 可对漫反射路径施加何种几何约束，以使优化问题变得可解？
• RQ3 最小约束漫反射路径中的转弯数与最优漫反射路径之间有何关系？
• RQ4 所计算的 mcdrp(s,t) 相对于最优 drp(s,t) 的最坏情况近似比是多少？
• RQ5 在最坏情况多边形中，约束漫反射路径的反射次数存在何种结构边界？

主要发现

• 所提出的算法在 O(n(n + β)) 时间内计算出最小约束漫反射路径（mcdrp），其中在最坏情况下 β = Θ(n²)。
• 所计算的 mcdrp(s,t) 中的路径段数最多为最小-link 路径 mlp(s,t) 的 4 倍。
• mcdrp(s,t) 的近似比 c 满足 2 ≤ c ≤ 4，最坏情况下 c = 4，且可针对具体实例估计更紧的边界。
• 对于简单多边形 P 中任意一对顶点 a 和 b，mcdrp(a,b) 中的转弯数严格小于 n/2，且该边界对螺旋多边形是紧的。
• 只要 cdrp(a,b) 存在，则 mcdrp(a,b) 中的转弯数即被 n/2 所限制，即使最优漫反射路径可能具有更多转弯。
• 该算法构造的 mcdrp(s,t) 保证为简单路径，且仅与 SP(s,t) 的屋檐恰好相交一次，从而确保几何上的可解性。