[論文レビュー] 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$ に対して、ヤオ-ヤオ図 $\mathsf{YY}_{2k}$ がストレッチ要因 $t_k = 6.03 + O(k^{-1})$ の幾何スパンナであることを証明し、長年の予想（偶数 $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.

研究の動機と目的

• ヤオ-ヤオ図 $\mathsf{YY}_k$ が十分に大きな $k$ に対して幾何スパンナであるという長年の予想を解決すること。
• 偶数パラメータのヤオ-ヤオ図 $\mathsf{YY}_{2k}$ が $k \geq 42$ のときスパンナであることを確立し、従来の $\mathsf{YY}_{6k}$ に限られた結果を拡張すること。
• ヤオ-ヤオのスパンナ性に関する先行研究で用いられた証明技法を単純化および一般化すること。
• $\mathsf{YY}_{2k}$ のよりタイトな漸近的ストレッチ要因の上限を求める。

提案手法

• 重複する円錐を持つ中間的グラフとしての重複ヤオ図 ($\mathsf{OY}_k$) を導入し、それが幾何スパンナであることを証明する。
• 曲線で囲まれた台形を用いて定義される台形ヤオ図 ($\mathsf{TY}_k$) を定義し、$\mathsf{OY}_k \subseteq \mathsf{TY}_k$ であることから $\mathsf{TY}_k$ がスパンナであることを示す。
• $\mathsf{YY}_{2k}$ が $\mathsf{TY}_{2k}$ をスパンすることを示す。具体的には、$\mathsf{TY}_{2k}$ のすべての辺が $\mathsf{YY}_{2k}$ に属するか、または $\mathsf{YY}_{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 十分に大きな偶数 $k$ に対して、ヤオ-ヤオ図 $\mathsf{YY}_k$ は幾何スパンナか？
• RQ2 ストレッチ要因 $\mathsf{YY}_{2k}$ は、$k \to \infty$ のとき 6.03 に近づく定数で有界にできるか？
• RQ3 従来の $\mathsf{YY}_{6k}$ の研究よりも単純な証明で $\mathsf{YY}_{2k}$ がスパンナであることを示せるか？
• RQ4 重複ヤオ図 $\mathsf{OY}_k$ や台形ヤオ図 $\mathsf{TY}_k$ のような中間的グラフを用いて、スパンナ解析におけるヤオ図とヤオ-ヤオ図のギャップを埋めることは可能か？
• RQ5 $k$ が増加する際、$\mathsf{YY}_{2k}$ の最もタイトな漸近的ストレッチ要因は何か？

主な発見

• すべての整数 $k \geq 42$ に対して、ヤオ-ヤオ図 $\mathsf{YY}_{2k}$ はストレッチ要因 $t_k = 6.03 + O(k^{-1})$ の幾何スパンナである。
• 証明では重複ヤオ図 ($\mathsf{OY}_k$) と台形ヤオ図 ($\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' = \sqrt{2} + O(k^{-1})$ および $\tau_{2k} = (1 - 2\sin(\pi/8))^{-1} + O(k^{-1})$ である積 $\tau_k' \cdot \tau_{2k}$ として導出された。
• 従来の $\mathsf{YY}_{6k}$ が $k \geq 6$ のときストレッチ要因 11.76 でスパンナであるという結果を改善し、よりタイトな漸近的境界を提供した。
• 証明技法は従来のアプローチよりも単純で、ほぼすべての偶数 $k$ に一般化されたスパンナ結果を得た。