[論文レビュー] The Cover Time of Deterministic Random Walks

Tobias Friedrich, Thomas Sauerwald|arXiv (Cornell University)|Jun 17, 2010

Optimization and Search Problems参考文献 43被引用数 4

ひとこと要約

この論文は、各頂点が固定されたローター列に従って粒子を移動させる、決定的ランダムウォークのカバー時間について、さまざまなグラフ上で分析している。局所的発散性および拡張性の性質を用いて一般の上界を確立し、特定のグラフクラスに対してはタイトな上界を提示しており、グラフのトポロジーに応じて決定的ウォークは、古典的ランダムウォークよりも漸近的に速いか、遅いか、同等かであることが示されている。

ABSTRACT

The rotor router model is a popular deterministic analogue of a random walk on a graph. Instead of moving to a random neighbor, the neighbors are served in a fixed order. We examine how fast this "deterministic random walk" covers all vertices (or all edges). We present general techniques to derive upper bounds for the vertex and edge cover time and derive matching lower bounds for several important graph classes. Depending on the topology, the deterministic random walk can be asymptotically faster, slower or equally fast as the classic random walk. We also examine the short term behavior of deterministic random walks, that is, the time to visit a fixed small number of vertices or edges.

研究の動機と目的

• 各頂点が固定された巡回順序に従って粒子をルーティングする決定的ランダムウォークのカバー時間を理解すること。
• グラフのすべての頂点または辺をカバーする際の、決定的ウォークと古典的ランダムウォークの効率を比較すること。
• 局所的発散性や拡張性といったグラフの性質を用いて、頂点および辺のカバー時間の一般上界を導出すること。
• 木、サイクル、拡張子、トーラスなどの主要なグラフ族に対して、タイトな下界および上界を確立すること。
• 短時間の挙動を検討し、固定された少数の頂点や辺を訪問するまでの時間を分析すること。

提案手法

• ローター・ルーターモデルを用いる：各頂点は隣接頂点の巡回列を維持し、粒子を順番にルーティングする。
• フローに基づくおよび発散性に基づく手法を用いて、エッジまたは頂点が何回訪問されるかの上限を求める。
• 確率論的および組合せ的議論を用いて、決定的ウォークの挙動をランダムウォークの期待値と関連付ける。
• 局所的拡張性およびグローバルなグラフ構造（スペクトル的および幾何的性質を含む）の分析を通じて、上界を導出する。
• 背理法とエッジ訪問回数の数え上げを用いて、どのエッジもあまりに頻繁に通られないことを証明する。
• 文献に既知の結果を用いて、決定的ウォークの性能を既知のランダムウォークのカバー時間の上限と比較する。

実験結果

リサーチクエスチョン

• RQ1 さまざまなグラフクラスにおいて、決定的ランダムウォークの頂点カバー時間は、古典的ランダムウォークと比べてどのように異なるか？
• RQ2 局所的グラフ性質を用いて、決定的ウォークの頂点および辺カバー時間の一般上界をどのように導出できるか？
• RQ3 どのグラフ族において、決定的ウォークはランダムウォークよりも漸近的に速いか、遅いか、同等の効率か？
• RQ4 決定的ウォークの短時間挙動はいかなるものか？固定された少数の頂点や辺を訪問するにはどのくらいの時間がかかるか？
• RQ5 訪問済みノードをマークしたり、追加の状態を保持したりせずに、決定的ウォークは近似的に最適なカバー時間を達成できるか？

主な発見

• $k$-分木（$k = O(1)$）では、決定的ウォークの頂点カバー時間は$\Theta(n\log n)$である一方、ランダムウォークは$\Theta(n\log^2 n)$を要する。
• スターブロックでは、決定的ウォークは$\Theta(n)$ステップで全頂点をカバーするが、これはランダムウォークの$\Theta(n\log n)$よりも顕著に速い。
• 2次元トーラスでは、決定的ウォークは$\Theta(n^{1.5})$の頂点カバー時間を達成し、ランダムウォークの$\Theta(n\log^2 n)$を上回る。
• $d$次元トーラス（$d \geq 3$）では、決定的ウォークの頂点カバー時間は$\mathcal{O}(n^{1+1/d})$であり、ランダムウォークの$\Theta(n\log n)$よりも漸近的に速い。
• ハイパーキューブでは、決定的ウォークの頂点カバー時間は$\Theta(n\log^2 n)$であり、ランダムウォークの漸近的挙動と一致する。
• 完全グラフでは、決定的ウォークの頂点カバー時間は$\Theta(n^2)$である一方、ランダムウォークは$\Theta(n\log n)$を要するため、この場合には決定的ウォークが遅い。