[论文解读] Almost All Even Yao-Yao Graphs Are Spanners

Jian Li, Wei Zhan|arXiv (Cornell University)|Apr 20, 2016

Advanced Graph Theory Research参考文献 24被引用 3

一句话总结

该论文证明了对于任意整数 $k \geq 42$，Yao-Yao 图 $\mathsf{YY}_{2k}$ 是一个几何倍数近似图，其拉伸因子为 $t_k = 6.03 + O(k^{-1})$，通过引入中间图——重叠 Yao 图与梯形 Yao 图——解决了关于偶数 $k$ 的长期猜想，证明 $\mathsf{YY}_{2k}$ 能覆盖梯形图，而该梯形图继承了其倍数近似图的性质。

ABSTRACT

It is an open problem whether Yao-Yao graphs $\mathsf{YY}_k$ (also known as sparse-Yao graphs) are all spanners when the integer parameter $k$ is large enough. In this paper we show that, for any integer $k\geq 42$, the Yao-Yao graph $\mathsf{YY}_{2k}$ is a $t_k$-spanner, with stretch factor $t_k=6.03+O(k^{-1})$ when $k$ tends to infinity. Our result generalizes the best known result which asserts that all $\mathsf{YY}_{6k}$ are spanners for $k$ large enough [Bauer and Damian, SODA'13]. Our proof is also somewhat simpler.

研究动机与目标

• 解决长期存在的猜想：Yao-Yao 图 $\mathsf{YY}_k$ 对于足够大的 $k$ 是几何倍数近似图。
• 证明当 $k \geq 42$ 时，偶参数 Yao-Yao 图 $\mathsf{YY}_{2k}$ 是倍数近似图，扩展了此前仅限于 $\mathsf{YY}_{6k}$ 的结果。
• 简化并推广先前关于 Yao-Yao 倍数近似图性质研究中的证明技术。
• 为 $\mathsf{YY}_{2k}$ 提供更紧致的渐近拉伸因子上界，优于以往结果。

提出的方法

• 引入重叠 Yao 图 ($\mathsf{OY}_k$) 作为中间图，其锥体存在重叠，证明其为几何倍数近似图。
• 定义梯形 Yao 图 ($\mathsf{TY}_k$)，利用曲线梯形来建模路径段，证明 $\mathsf{OY}_k \subseteq \mathsf{TY}_k$ 意味着 $\mathsf{TY}_k$ 是倍数近似图。
• 通过证明 $\mathsf{TY}_{2k}$ 中的每条边要么属于 $\mathsf{YY}_{2k}$，要么可被 $\mathsf{YY}_{2k}$ 中长度有界的路径替代，从而证明 $\mathsf{YY}_{2k}$ 覆盖 $\mathsf{TY}_{2k}$。
• 使用路径长度的归纳法，结合角度与距离的几何不等式，对拉伸因子进行有界。
• 推导出拉伸因子 $t_k = \tau_k' \cdot \tau_{2k}$，其中 $\tau_k = (1 - 2\sin(\pi/8))^{-1} + O(k^{-1})$ 且 $\tau_k' = \sqrt{2} + O(k^{-1})$，从而得到 $t_k = 6.03 + O(k^{-1})$。
• 利用中心对称的锥体划分与有界锥角，确保路径收敛与拉伸因子的控制。

实验结果

研究问题

• RQ1 Yao-Yao 图 $\mathsf{YY}_k$ 对于足够大的偶数 $k$ 是否是几何倍数近似图？
• RQ2 是否可以证明 $\mathsf{YY}_{2k}$ 的拉伸因子被一个常数所限制，且当 $k \to \infty$ 时趋近于 6.03？
• RQ3 能否使用比以往关于 $\mathsf{YY}_{6k}$ 的研究更简单的证明方法，证明 $\mathsf{YY}_{2k}$ 是倍数近似图？
• RQ4 是否可以利用 $\mathsf{OY}_k$ 和 $\mathsf{TY}_k$ 等中间图，在倍数近似图分析中弥合 Yao 图与 Yao-Yao 图之间的差距？
• RQ5 随着 $k$ 增大，$\mathsf{YY}_{2k}$ 的最紧致渐近拉伸因子是多少？

主要发现

• 对于所有整数 $k \geq 42$，Yao-Yao 图 $\mathsf{YY}_{2k}$ 是一个几何倍数近似图，其拉伸因子为 $t_k = 6.03 + O(k^{-1})$。
• 该证明引入了重叠 Yao 图 ($\mathsf{OY}_k$) 与梯形 Yao 图 ($\mathsf{TY}_k$)，证明了 $\mathsf{OY}_k \subseteq \mathsf{TY}_k$，且 $\mathsf{TY}_k$ 是倍数近似图。
• 证明了 $\mathsf{YY}_{2k}$ 覆盖 $\mathsf{TY}_{2k}$，从而表明 $\mathsf{YY}_{2k}$ 继承了倍数近似图的性质。
• 拉伸因子 $t_k$ 被推导为乘积 $\tau_k' \cdot \tau_{2k}$，其中 $\tau_k' = \sqrt{2} + O(k^{-1})$ 且 $\tau_{2k} = (1 - 2\sin(\pi/8))^{-1} + O(k^{-1})$。
• 该结果优于以往工作，后者仅证明 $\mathsf{YY}_{6k}$ 是拉伸因子为 11.76 的倍数近似图（当 $k \geq 6$ 时），并提供了更紧致的渐近上界。
• 该证明方法比以往方法更简单，并将倍数近似图结果推广至几乎所有偶数 $k$。