[論文レビュー] Cover Time and Broadcast Time

Robert Elsässer⋆, Thomas Sauerwald|ArXiv.org|Feb 10, 2009

Optimization and Search Problems参考文献 26被引用数 6

ひとこと要約

本稿は、最小次数 δ を持つグラフに対して、確率的ランダムウォークのカバー時間と、グラフ上での確率的ラウムスプライティングにおけるブロードキャスト時間の間のタイトな理論的関係を確立する。新しい手法を導入することで、カバー時間が O(|E|/δ · log n) 倍以内にブロードキャスト時間に収まることが証明され、密なグラフにおける長年の直感を裏付けるとともに、混合時間やスペクトルギャップとの関係よりも強い関係を示している。

ABSTRACT

We introduce a new technique for bounding the cover time of random walks by relating it to the runtime of randomized broadcast. In particular, we strongly confirm for dense graphs the intuition of Chandra et al. \cite{CRRST97} that "the cover time of the graph is an appropriate metric for the performance of certain kinds of randomized broadcast algorithms". In more detail, our results are as follows: For any graph $G=(V,E)$ of size $n$ and minimum degree $δ$, we have $\mathcal{R}(G)= \Oh(\frac{|E|}δ \cdot \log n)$, where $\mathcal{R}(G)$ denotes the quotient of the cover time and broadcast time. This bound is tight for binary trees and tight up to logarithmic factors for many graphs including hypercubes, expanders and lollipop graphs. For any $δ$-regular (or almost $δ$-regular) graph $G$ it holds that $\mathcal{R}(G) = Ω(\frac{δ^2}{n} \cdot \frac{1}{\log n})$. Together with our upper bound on $\mathcal{R}(G)$, this lower bound strongly confirms the intuition of Chandra et al. for graphs with minimum degree $Θ(n)$, since then the cover time equals the broadcast time multiplied by $n$ (neglecting logarithmic factors). Conversely, for any $δ$ we construct almost $δ$-regular graphs that satisfy $\mathcal{R}(G) = \Oh(\max \{\sqrt{n},δ\} \cdot \log^2 n)$. Since any regular expander satisfies $\mathcal{R}(G) = Θ(n)$, the strong relationship given above does not hold if $δ$ is polynomially smaller than $n$. Our bounds also demonstrate that the relationship between cover time and broadcast time is much stronger than the known relationships between any of them and the mixing time (or the closely related spectral gap).

研究の動機と目的

• ランダムウォークのカバー時間とグラフ上での確率的ラウムスプライティングにおけるブロードキャスト時間の間の正式な関係を確立すること。
• Chandra らの長年の直感である、カバー時間が確率的ブロードキャストアルゴリズムの自然な性能指標であるという仮説を検証すること。
• 密度の高いグラフやスパースなグラフを含む、さまざまなグラフ族におけるカバー時間とブロードキャスト時間の比を分析すること。
• カバー時間とブロードキャスト時間の関係が、混合時間やスペクトルギャップとの関係よりも著しく強いことを示すこと。
• スパースな設定におけるこの関係の限界を示す極値グラフの構築

提案手法

• グラフの構造的性質、特に最小次数 δ を通じてカバー時間とブロードキャスト時間を関連付ける新しい解析的手法を導入する。
• 変更されたブロードキャストモデル（確率的プッシュアルゴリズム）を用い、全頂点が情報を受け取るまでの時間を分析するが、その際、以前のカバーイベントを前提とする。
• 確率的議論と集中不等式（例：和集合の不等式）を用いて、特定の条件下でブロードキャストが高確率で収束することを示す。
• ハラリー・グラフや2次元トーラスなどのグラフ構築法を用い、次数と直径を制御した極値例を生成する。
• 電気回路理論とフローに基づく議論を用いてカバー時間をバウンドし、Chandra らの先行研究に裏付けを置く。
• 組合せ的および確率的手法（経路長や接続性に関する議論を含む）を用いて、R(G) = COV(G)/BLA(G) の上界と下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 確率的ラウムスプライティングにおいて、特に密なグラフの場合、グラフのカバー時間とブロードキャスト時間がタイトに関係しているか？
• RQ2 カバー時間とブロードキャスト時間の比は、さまざまなグラフ族にわたって一様に有界であるか？また、最小次数 δ に依存するか？
• RQ3 スパースなグラフに対しても、カバー時間とブロードキャスト時間の関係は成立するのか？δ が n に対して多項式的に小さい場合に崩壊するか？
• RQ4 カバー時間とブロードキャスト時間の関係は、既知の混合時間やスレクトルギャップとの関係と比べてどう異なるか？
• RQ5 極値グラフの構築を用いて、理論的境界 R(G) = COV(G)/BLA(G) のタイトネスを示すことができるか？

主な発見

• サイズ n、最小次数 δ を持つ任意のグラフ G に対して、比 R(G) = COV(G)/BLA(G) は O(|E|/δ · log n) で上界が与えられ、これは二分木、ハイパーキューブ、拡散グラフ、ラッキーロール・グラフにおいて対数要因を除いてタイトである。
• δ-正則またはほぼ δ-正則なグラフでは、R(G) は Ω(δ²/(n log n)) 以上であることが示され、δ = Θ(n) の場合、カバー時間はブロードキャスト時間のおよそ n 倍（log n 要因を除く）であることが確認され、Chandra らの直感を裏付ける。
• R(G) = O(max{√n, δ} · log²n) となるほぼ δ-正則なグラフを構築することで、δ が n より多項式的に小さい場合に強い関係が崩壊することを示している。
• 最大次数 Δ = O(δ) であるグラフでは、比 COV(G)/diam(G) は Ω(max{√n, δ} · √log n) であることが示され、直径だけではカバー時間の悪化を説明できないことが示唆される。
• カバー時間とブロードキャスト時間の関係は、混合時間やスレクトルギャップとの関係よりも厳密に強く、次のような階層が成り立つ：混合時間の低さ ⇒ ブロードキャスト時間の低さ ⇒ カバー時間の低さ。
• 反例により、カバー時間が polylog(diameter) で有界であることがブロードキャスト時間が polylog(diameter) で有界であることを示す逆の関係は一般に成り立たないことが示され、正則グラフに対しても同様である。