[论文解读] On the stretch factor of the Theta-4 graph

Luis Barba, Prosenjit Bose+3 more|arXiv (Cornell University)|Mar 21, 2013

Computational Geometry and Mesh Generation参考文献 6被引用 8

一句话总结

本文通过建立其伸展因子的上界约为237，证明了θ₄图是几何倍数图，解决了θ图中最后一个未解问题。作者通过证明θ₄图近似于L∞-Delaunay三角剖分，并利用L₁-距离分析和空三角形及锥形的几何性质，构建了顶点之间的连通路径。

ABSTRACT

In this paper we show that the θ-graph with 4 cones has constant stretch factor, i.e., there is a path between any pair of vertices in this graph whose length is at most a constant times the Euclidean distance between that pair of vertices. This is the last θ-graph for which it was not known whether its stretch factor was bounded.

研究动机与目标

• 解决θ₄图是否具有有界伸展因子的开放问题，从而完成对θₘ图作为几何倍数图的完整刻画。
• 通过构造任意两点间长度至多为其欧几里得距离常数倍的连通路径，证明θ₄图是几何倍数图。
• 通过证明θ₄图能够模拟L∞-Delaunay三角剖分中的路径结构，弥合θ₄图与已知倍数图（如L∞-Delaunay三角剖分）之间的差距。
• 提供伸展因子的紧下界7，表明真实伸展因子接近该值。

提出的方法

• 使用L₁-距离（曼哈顿距离）分析θ₄图中的路径长度，利用在特定几何约束下dₗ₁(s,t) ≤ 2·dₗ₁(s,w)的性质。
• 通过递归算法构建连通路径，沿锥形中的边前进，通过保持区域的几何包含性和空性来确保向目标的进展。
• 应用几何引理（例如引理1），在特定区域（如S(s)的右上象限）为空且满足锥形约束时，保证路径的存在性。
• 将L∞-Delaunay三角剖分作为已知伸展因子为√(4+2√2) ≈ 2.613的参考倍数图，证明θ₄图与其高度近似。
• 通过在空三角形中迭代插入顶点以将边替换为更长的路径，构造最坏情况点集，从而推导下界。
• 使用正交投影和对角平分线（例如ρ, ℓ⁺）定义区域，通过L₁-距离比较来界定路径长度。

实验结果

研究问题

• RQ1 θ₄图是否是具有有界伸展因子的几何倍数图？鉴于这是θₘ图中最后一个未解决的情况，该问题至关重要。
• RQ2 θ₄图能否模拟已知为倍数图的L∞-Delaunay三角剖分的路径结构？
• RQ3 θ₄图的伸展因子的最紧上界和下界是什么？
• RQ4 尽管当m ≤ 6时距离递减性质不成立，θ₄图中的路径构造是否仍有效？
• RQ5 能否在θ₄图中为任意两点s和t构造一条路径，使其长度被|st|的常数倍所限制？

主要发现

• θ₄图的伸展因子至多约为237，证明其为几何倍数图。
• 通过构造一个点集，其最短路径长度可无限接近于欧几里得距离的7倍，证明θ₄图的伸展因子至少为7。
• θ₄图近似于L∞-Delaunay三角剖分，后者的已知伸展因子为√(4+2√2) ≈ 2.613。
• 在以s和t为角点的最小轴对齐正方形为空的条件下，θ₄图中任意两点s和t之间存在一条长度至多为(√2 + 36)·|st|的连通路径。
• 证明依赖于几何不变量，如特定象限的空性，以及中间点相对于对角线（如ℓ⁺, ρ）的位置，通过L₁-距离界定路径长度。
• 通过构造下界路径uv₁v₂v₃v₄w，可使伸展因子无限接近7，其中边uv₁、v₃v₄和v₄w的长度均为|uw|−ε，而v₁v₂和v₂v₃的长度均为2·|uw|−ε。