[论文解读] Angle-Monotone Graphs: Construction and Local Routing

Anna Lubiw, Debajyoti Mondal|arXiv (Cornell University)|Jan 19, 2018

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

一句话总结

本文提出了一种构造方法，可为平面上任意点集构建宽度为 $90^\circ$ 的角单调图，边数为 $O(n^2 \log \log n / \log n)$，并提出一种局部路由算法，可找到宽度为 $(90^\circ + \alpha)$ 的角单调路径，其路由比至多为 $1/\cos(45^\circ + \alpha/2)$，从而实现从 $\sqrt{2}$ 到 $2.613$ 的展直因子。该方法利用斯坦纳点和旋转对称性，确保广义角单调性及高效的局部路径发现。

ABSTRACT

A geometric graph in the plane is angle-monotone of width $γ$ if every pair of vertices is connected by an angle-monotone path of width $γ$, a path such that the angles of any two edges in the path differ by at most $γ$. Angle-monotone graphs have good spanning properties. We prove that every point set in the plane admits an angle-monotone graph of width $90^\circ$, hence with spanning ratio $\sqrt 2$, and a subquadratic number of edges. This answers an open question posed by Dehkordi, Frati and Gudmundsson. We show how to construct, for any point set of size $n$ and any angle $α$, $0 < α< 45^\circ$, an angle-monotone graph of width $(90^\circ+α)$ with $O(\frac{n}α)$ edges. Furthermore, we give a local routing algorithm to find angle-monotone paths of width $(90^\circ+α)$ in these graphs. The routing ratio, which is the ratio of path length to Euclidean distance, is at most $1/\cos(45^\circ + \fracα{2})$, i.e., ranging from $\sqrt 2 \approx 1.414$ to $2.613$. For the special case $α= 30^\circ$, we obtain the $Θ_6$-graph and our routing algorithm achieves the known routing ratio 2 while finding angle-monotone paths of width $120^\circ$.

研究动机与目标

• 为平面上任意点集构造稀疏几何图，使其为宽度 $90^\circ$ 的角单调图，且无需要求平面性或使用斯坦纳点。
• 设计一种局部路由算法，可在这些图中找到宽度为 $(90^\circ + \alpha)$ 的广义角单调路径，并保证有界的展直因子。
• 解决一个开放问题：是否每个点集都存在具有亚二次边数和有界宽度的角单调图。
• 通过使用斯坦纳点和旋转对称性，分析路径宽度、路由比和图大小之间的权衡。

提出的方法

• 通过最近邻和方向楔形构造基础图 $G_{\text{pair}}$，以定义潜在路径。
• 沿一系列缩小的三角形引入斯坦纳点，以确保楔形内所有点都被覆盖，利用边长缩减的三角函数界限。
• 通过创建 $t$ 个斯坦纳图 $H$ 的旋转副本（每个旋转角度为 $360^\circ(i-1)/t$），利用旋转对称性覆盖所有角度方向。
• 定义 $\lambda$ 为任意一对点在角度 $90^\circ + \gamma j/2$ 处通过的不重叠平行线之间的最小距离，该值通过 $O(\log(AC/\lambda))$ 限制斯坦纳点的数量。
• 应用局部路由规则，根据与目标点的距离和在宽度 $\gamma = 90^\circ + \alpha$ 的楔形内的角度对齐，选择下一个顶点。
• 通过路径边界 $P_{q,\theta_a}$ 和 $P_{t,b'}$ 的交点分析，证明角单调路径的存在性，并利用斯坦纳点邻接关系弥合间隙。

实验结果

研究问题

• RQ1 每个平面上的点集是否都能拥有宽度为 $90^\circ$ 且边数为亚二次的角单调图？
• RQ2 是否存在一种局部路由算法，可找到宽度为 $(90^\circ + \alpha)$ 且具有有界展直因子的广义角单调路径？
• RQ3 是否存在最小宽度 $\gamma$，使得每个点集都能拥有宽度为 $\gamma$ 的平面角单调图？
• RQ4 对于任意 $\gamma > 0$，是否能通过使用斯坦纳点构造出边数为 $o(n^2)$ 的角单调图？

主要发现

• 每个大小为 $n$ 的点集都可构造出宽度为 $90^\circ$ 的角单调图，其边数为 $O(n^2 \log \log n / \log n)$，解决了 Dehkordi、Frate 和 Gudmundsson 提出的开放问题。
• 对于任意 $\alpha \in (0^\circ, 45^\circ)$，可构造出宽度为 $(90^\circ + \alpha)$ 且边数为 $O(n / \alpha)$ 的图，其路由比至多为 $1 / \cos(45^\circ + \alpha/2)$。
• 路由比范围从 $\sqrt{2} \approx 1.414$（当 $\alpha \to 0^\circ$ 时）到 $2.613$（当 $\alpha = 45^\circ$ 时），后者与 $\Theta_6$-图的已知界一致。
• 当 $\alpha = 30^\circ$ 时，构造结果即为 $\Theta_6$-图，且路由算法实现了已知的路由比 2，与先前结果一致。
• 通过使用斯坦纳点，可确保对于任意 $\gamma > 0$，可构建宽度为 $\gamma$ 的角单调图，其边数为 $O(n / \gamma \cdot \log(\mu / \lambda))$，其中 $\mu$ 为点间最大距离，$\lambda$ 为不重叠平行线之间的最小距离。
• 该构造保证：对于任意两点 $q$ 和 $t$，若 $t$ 位于楔形 $W_{q,\theta_a}$ 内，则在最终图 $\mathcal{H}$ 中存在宽度为 $\gamma = \theta_a + \theta_c$ 的角单调路径，该结论通过路径边界交点分析及斯坦纳点桥接关系得到证明。