[论文解读] The Tight Spanning Ratio of the Rectangle Delaunay Triangulation

Andrè van Renssen, Sha Yuan+2 more|arXiv (Cornell University)|Nov 22, 2022

Computational Geometry and Mesh Generation被引用 1

一句话总结

本文确定了矩形Delaunay三角剖分的紧致跨度比，证明跨度比恰好为 $\sqrt{2}\sqrt{1 + A^2} + A\sqrt{1 + A^2}$，其中 $A$ 是构造中使用的矩形的长宽比。作者将Bonichon等人针对正方形Delaunay三角剖分的方法扩展至矩形，采用一种新颖的基于归纳法的几何论证，分别处理水平与垂直情形，从而填补了此前对该类广义Delaunay三角剖分跨度比上界与下界之间的差距。

ABSTRACT

Spanner construction is a well-studied problem and Delaunay triangulations are among the most popular spanners. Tight bounds are known if the Delaunay triangulation is constructed using an equilateral triangle, a square, or a regular hexagon. However, all other shapes have remained elusive. In this paper we extend the restricted class of spanners for which tight bounds are known. We prove that Delaunay triangulations constructed using rectangles with aspect ratio A have spanning ratio at most √2 √{1+A² + A √{A²+1}}, which matches the known lower bound.

研究动机与目标

• 填补已知的矩形Delaunay三角剖分跨度比上界与下界之间的差距。
• 将Bonichon等人针对正方形Delaunay三角剖分所采用的几何归纳法技术推广至具有任意长宽比的矩形Delaunay三角剖分。
• 建立以矩形长宽比 $A$ 表示的紧致、封闭形式的跨度比表达式。
• 将已知紧致跨度比的形状类别扩展至等边三角形、正方形和正六边形之外。

提出的方法

• 通过长宽比为 $A$ 的矩形的轴对齐同态（缩放平移）来定义矩形Delaunay三角剖分。
• 基于顶点对 $u$ 和 $v$ 相对于矩形轴的相对方向进行情形分析。
• 对顶点间的最短路径进行归纳，根据 $A d_x(u,v) \geq d_y(u,v)$ 或 $A d_x(u,v) < d_y(u,v)$ 区分情形。
• 在矩形 $R(u,v)$ 内引入三个区域（A、B、C）以分析顶点位置与路径分解。
• 将路径递归分解为子段 $(u,p)$ 和 $(p,v)$，并根据行进方向相对于矩形轴的关系应用边界约束。
• 建立最短路径长度 $d_t(u,v)$ 关于 $dx$ 与 $dy$ 分量的边界，然后在所有可能的长宽比与向量方向上优化比值 $d_t(u,v)/d_2(u,v)$。

实验结果

研究问题

• RQ1 对于给定的长宽比 $A$，矩形Delaunay三角剖分的精确跨度比是多少？
• RQ2 用于正方形Delaunay三角剖分的基于归纳法的证明技术能否推广至具有任意长宽比的矩形？
• RQ3 矩形Delaunay三角剖分的已知下界是否与一个匹配的上界一致？
• RQ4 跨度比如何依赖于长宽比 $A$？是否存在使其达到最大值的特定 $A$ 值？

主要发现

• 矩形Delaunay三角剖分的跨度比恰好为 $\sqrt{2}\sqrt{1 + A^2} + A\sqrt{1 + A^2}$，其中 $A$ 是矩形的长宽比。
• 该边界与先前已知的下界一致，证明其为紧致边界。
• 该结果将已知紧致跨度比的形状类别扩展至所有矩形。
• 该证明技术并非正方形情形的简单旋转，需对水平与垂直路径分量分别处理。
• 当长宽比 $A$ 使得 $dy$ 与 $dx$ 的比值与路径长度函数优化所得的关键方向对齐时，跨度比达到最大值。
• 该边界对所有长宽比 $A \geq 1$ 有效，且其表达式在 $A$ 与 $\sqrt{1 + A^2}$ 之间具有对称性。