[论文解读] Towards Tight Bounds on Theta-Graphs

Prosenjit Bose, Jean-Lou De Carufel+3 more|arXiv (Cornell University)|Apr 24, 2014

Computational Geometry and Mesh Generation参考文献 5被引用 4

一句话总结

本文为至少六个锥的θ-图建立了紧致的连通比界限，证明了θ_{4k+2}-图的连通比恰好为1 + 2sin(θ/2)，并为θ_{4k+3}、θ_{4k+4}和θ_{4k+5}-图提供了改进的上界和下界。结果解决了长期存在的关于几何连通图效率的理解空白，并揭示增加锥的数量可能使连通性能恶化。

ABSTRACT

We present improved upper and lower bounds on the spanning ratio of $θ$-graphs with at least six cones. Given a set of points in the plane, a $θ$-graph partitions the plane around each vertex into $m$ disjoint cones, each having aperture $θ=2π/m$, and adds an edge to the `closest' vertex in each cone. We show that for any integer $k \geq 1$, $θ$-graphs with $4k+2$ cones have a spanning ratio of $1+2\sin(θ/2)$ and we provide a matching lower bound, showing that this spanning ratio tight. Next, we show that for any integer $k \geq 1$, $θ$-graphs with $4k+4$ cones have spanning ratio at most $1+2\sin(θ/2)/(\cos(θ/2)-\sin(θ/2))$. We also show that $θ$-graphs with $4k+3$ and $4k+5$ cones have spanning ratio at most $\cos(θ/4)/(\cos(θ/2)-\sin(3θ/4))$. This is a significant improvement on all families of $θ$-graphs for which exact bounds are not known. For example, the spanning ratio of the $θ$-graph with 7 cones is decreased from at most 7.5625 to at most 3.5132. These spanning proofs also imply improved upper bounds on the competitiveness of the $θ$-routing algorithm. In particular, we show that the $θ$-routing algorithm is $(1+2\sin(θ/2)/(\cos(θ/2)-\sin(θ/2)))$-competitive on $θ$-graphs with $4k+4$ cones and that this ratio is tight. Finally, we present improved lower bounds on the spanning ratio of these graphs. Using these bounds, we provide a partial order on these families of $θ$-graphs. In particular, we show that $θ$-graphs with $4k+4$ cones have spanning ratio at least $1+2 an(θ/2)+2 an^2(θ/2)$. This is somewhat surprising since, for equal values of $k$, the spanning ratio of $θ$-graphs with $4k+4$ cones is greater than that of $θ$-graphs with $4k+2$ cones, showing that increasing the number of cones can make the spanning ratio worse.

研究动机与目标

• 填补至少六个锥的θ-图连通比界限的空白，该问题已困扰数十年。
• 将半-θ₆-图的连通性证明推广至具有4k+2个锥的更广大家族的θ-图。
• 改进θ_{4k+3}、θ_{4k+4}和θ_{4k+5}-图的连通比上界和下界，此前这些图缺乏紧致分析。
• 分析θ-路由算法的竞争力，并建立其路由比的紧致界限。
• 比较不同θ-图家族的连通性能，并基于连通比建立部分序关系。

提出的方法

• 通过使用标准三角形和锥划分，将半-θ₆-图的归纳连通性证明推广至θ_{4k+2}-图。
• 应用几何分析，利用涉及sin(θ/2)、cos(θ/2)和tan(θ/2)的三角函数表达式，推导出θ_{4k+3}、θ_{4k+4}和θ_{4k+5}-图的连通比上界。
• 通过在标准三角形的角附近放置顶点，构造下界示例，迫使路由路径变长，确保θ-路由算法的路径长度可无限接近理论最坏情况比值。
• 使用带辅助顶点的递归顶点放置方法，以保持环路完整性并防止捷径，从而构造出任意长的路由路径。
• 通过将路由路径长度视为几何级数，推导出θ_{4k+4}-图的路由比为1/(1 - 2sin(θ/2))。
• 通过比较其连通比下界，建立θ-图家族之间的部分序关系，揭示出反直觉结果：例如，对于相同的k值，θ_{4k+4}-图的连通比劣于θ_{4k+2}-图。

实验结果

研究问题

• RQ1 对于k ≥ 1，θ_{4k+2}-图的精确连通比是多少？
• RQ2 能否为θ_{4k+3}、θ_{4k+4}和θ_{4k+5}-图建立更紧致的上界和下界？
• RQ3 θ-路由算法在θ_{4k+4}-图上的竞争力如何？该界限是否紧致？
• RQ4 增加θ-图中的锥数是否总是能改善其连通比，还是可能使性能恶化？
• RQ5 能否基于连通比特性，为不同家族的θ-图建立部分序关系？

主要发现

• θ_{4k+2}-图的连通比恰好为1 + 2sin(θ/2)，且该界限是紧致的，这是首次为θ₆-图以外的大型θ-图家族建立此类紧致界限。
• 对于θ_{4k+4}-图，连通比上界为1 + 2sin(θ/2)/(cos(θ/2) - sin(θ/2))，相比先前的上界有显著改进。
• 利用针对θ_{4k+3}-图的新上界，θ₇-图的连通比从最多7.5625降低至最多3.5132。
• θ-路由算法在θ_{4k+4}-图上为(1 + 2sin(θ/2)/(cos(θ/2) - sin(θ/2)))-竞争力，且该界限是紧致的。
• 为θ_{4k+4}-图建立了下界1 + 2tan(θ/2) + 2tan²(θ/2)，表明对于相同的k值，增加锥数可能使连通比恶化。
• 对于相同的k值，θ_{4k+4}-图的连通比大于θ_{4k+2}-图，表明更多锥并不总是产生更好的连通图。