[论文解读] Self-Approaching Graphs

Soroush Alamdari, Timothy M. Chan+3 more|arXiv (Cornell University)|Jun 23, 2013

Data Management and Algorithms参考文献 29被引用 8

一句话总结

本文提出了自逼近图绘图（self-approaching graph drawings），其中对于任意一对顶点，均存在一条路径，使得路径上任意点到目标点的距离非递增。作者提出了在二维和三维空间中高效识别自逼近路径的算法，刻画了可实现此类绘图的树的结构特征，并为任意点集构造了线性规模的自逼近Steiner网络，保证路径的绕行距离有界（≤5.33）。

ABSTRACT

In this paper we introduce self-approaching graph drawings. A straight-line drawing of a graph is self-approaching if, for any origin vertex s and any destination vertex t, there is an st-path in the graph such that, for any point q on the path, as a point p moves continuously along the path from the origin to q, the Euclidean distance from p to q is always decreasing. This is a more stringent condition than a greedy drawing (where only the distance between vertices on the path and the destination vertex must decrease), and guarantees that the drawing is a 5.33-spanner. We study three topics: (1) recognizing self-approaching drawings; (2) constructing self-approaching drawings of a given graph; (3) constructing a self-approaching Steiner network connecting a given set of points. We show that: (1) there are efficient algorithms to test if a polygonal path is self-approaching in R^2 and R^3, but it is NP-hard to test if a given graph drawing in R^3 has a self-approaching uv-path; (2) we can characterize the trees that have self-approaching drawings; (3) for any given set of terminal points in the plane, we can find a linear sized network that has a self-approaching path between any ordered pair of terminals.

研究动机与目标

• 形式化并研究自逼近图绘图，作为贪婪绘图的更强有力替代方案，确保路径上所有中间点均逐步靠近目标点。
• 解决贪婪绘图的局限性，如无界稀释度（dilation）以及边沿路径距离未单调递减的问题。
• 开发用于识别自逼近路径的算法，并为给定图或点集构造自逼近绘图或Steiner网络的算法。
• 探讨自逼近绘图、泛化图（spanners）与几何稀释度之间的关系，特别是在局部路由与网络设计背景下的应用。

提出的方法

• 将自逼近路径定义为：对于路径上按顺序排列的任意三点 a、b、c，其欧氏距离满足 D(a,c) ≥ D(b,c)。
• 提出一种线性时间算法，用于检测 R² 中的多边形路径是否为自逼近路径，并将该方法扩展至 R³ 中，时间复杂度为 O(n log²n / log log n)。
• 利用广义分离对分解（well-separated pair decomposition, WSPD）与基于四叉树的构造方法，为平面中任意点集构建线性规模的自逼近Steiner网络。
• 在分离区域之间构造两段连接的 xy-单调路径，以确保最终网络中所有路径均满足自逼近特性。
• 通过借鉴 Icking 等人关于自逼近曲线的研究成果，证明自逼近绘图是 5.33-泛化图（5.33-spanners）。
• 基于顶点位置与边路径的结构与几何约束，刻画出可实现自逼近绘图的树的特征。

实验结果

研究问题

• RQ1 我们能否在多项式时间内判断平面中给定的直线图绘图是否为自逼近绘图？
• RQ2 若存在，能否高效构造给定图的自逼近绘图？
• RQ3 哪些图类（如3-连通平面图）可实现自逼近绘图？
• RQ4 能否为平面中任意给定点集构造线性规模的自逼近Steiner网络？
• RQ5 识别三维图绘图中自逼近路径的复杂度是多少？

主要发现

• 存在一种线性时间算法，用于识别 R² 中的自逼近多边形路径，且在 R³ 中的算法时间复杂度为 O(n log²n / log log n)。
• 判断 R³ 中给定图绘图在两个顶点之间是否存在自逼近路径的问题是 NP-难的。
• 在 R² 中识别自逼近图绘图的问题仍为开放问题，尽管已知其在 R³ 中为 NP-难。
• 存在一种线性时间算法，用于识别哪些树可实现自逼近绘图。
• 对于平面中任意 n 个终端点，可构造出大小为 O(n/ε²) 的自逼近Steiner网络，其绕行距离不超过 5.33。
• 该构造方法利用了广义分离对分解（WSPD）与分离区域之间的两段连接的 xy-单调路径，确保所有终端点对之间均满足自逼近行为。