[論文レビュー] Greedy Routing and the Algorithmic Small-World Phenomenom

Karl Bringmann, Ralph Keusch+3 more|arXiv (Cornell University)|Dec 16, 2016

Opportunistic and Delay-Tolerant Networks参考文献 63被引用数 5

ひとこと要約

本稿は、従来の小規模世界モデルの制限を克服する柔軟なモデルである幾何学的非一様ランダムグラフ（GIRGs）における貪欲ルーティングの厳密な理論的枠組みを提案する。貪欲ルーティングは定数確率で成功し、経路長がΘ(log log n)であることを証明している。一方、局所的パッチング手法により、漸近的にタイトなステップ数で成功確率1を達成している。これは、Krioukovらが提起した、インターネットグラフにおける効率的で局所的なルーティングが可能かどうかという未解決の問題に対する、初めての解析的肯定的解答を提供する。

ABSTRACT

The algorithmic small-world phenomenon, empirically established by Milgram's letter forwarding experiments from the 60s, was theoretically explained by Kleinberg in 2000. However, from today's perspective his model has several severe shortcomings that limit the applicability to real-world networks. In order to give a more convincing explanation of the algorithmic small-world phenomenon, we study decentralized greedy routing in a more flexible random graph model (geometric inhomogeneous random graphs) which overcomes all previous shortcomings. Apart from exhibiting good properties in theory, it has also been extensively experimentally validated that this model reasonably captures real-world networks. In this model, the greedy routing protocol is purely distributed as each vertex only needs to know information about its direct neighbors. We prove that it succeeds with constant probability, and in case of success almost surely finds an almost shortest path of length θ(loglog n), where our bound is tight including the leading constant. Moreover, we study natural local patching methods which augment greedy routing by backtracking and which do not require any global knowledge. We show that such methods can ensure success probability 1 in an asymptotically tight number of steps. These results also address the question of Krioukov et al. whether there are efficient local routing protocols for the internet graph. There were promising experimental studies, but the question remained unsolved theoretically. Our results give for the first time a rigorous and analytical affirmative answer.

研究の動機と目的

• クラスター構造に依存し、一様性を仮定するクラインバーグの小規模世界モデルの理論的制限を克服するため、より柔軟で現実的であるネットワークモデルを導入すること。
• ミルグラムの手紙配達実験で観察されたアルゴリズム的「小規模世界現象」を数学的に厳密に説明すること。
• Krioukov らが提起した、グローバルなトポロジー知識なしにインターネットグラフに対して効率的な局所ルーティングプロトコルが存在するかという未解決問題に答えること。
• GIRGsにおける貪欲ルーティングが、分散的・局所的意思決定のもとでも短い経路を高確率で達成できることを示すこと。
• 実世界のネットワーク、特にインターネットを含む広範な実験的研究と整合する理論的結果を示すことにより、モデルの実用的妥当性を検証すること。

提案手法

• 著者らは、各ノードにランダムな幾何的位置とパワーロー法分布から抽出された重みを割り当て、距離と重みに基づいてエッジを形成する幾何的非一様ランダムグラフ（GIRGs）を用いる。
• 貪欲ルーティングは、分散プロトコルとして実装され、各ノードがターゲットに到達する可能性を最大化する近隣ノードにメッセージを転送する。
• 解析には、ノードがターゲットに接続される可能性を定量化する新しい目的関数φ(v)を用い、経路の進行状況を追跡可能にする。
• 主要な補題により、目的関数φ(v)が双曲空間への幾何的マッピングにおいて一貫して振る舞うことが示され、結果が双曲ランダムグラフへと拡張可能であることが保証される。
• バックトラッキングを用いた局所的パッチングアルゴリズムを導入し、グローバルなネットワーク知識なしに成功確率1を達成する。
• 理論的証明では集中不等式と幾何確率を用い、失敗確率が最小ノード重みに関して指数的に小さくなることを示し、経路長がΘ(log log n)でタイトに束縛されることを証明する。

実験結果

リサーチクエスチョン

• RQ1 現実的で非一様なネットワークモデルにおける貪欲ルーティングが、定数の成功確率で短い経路を達成できるか？
• RQ2 GIRGモデルはクラインバーグの小規模世界モデルの構造的・行動的欠陥を克服できるか？
• RQ3 グローバルなトポロジー知識なしに、大規模ネットワーク（例：インターネット）において、局所的で分散型のルーティングプロトコルが信頼性をもってメッセージ配信を可能にするか？
• RQ4 GIRGsにおける貪欲ルーティングが見つける最短経路の漸近的長さは何か？また、それがタイトか？
• RQ5 局所的パッチング機構は、漸近的に最適なステップ数を維持しながら、成功確率1を保証できるか？

主な発見

• GIRGsにおける貪欲ルーティングは定数の確率で成功し、成功時には経路長がΘ(log log n)となる。これは、先行定数を含めてタイトである。
• 貪欲ルーティングの失敗確率は、最小ノード重みに関して指数的に小さく、大規模ネットワークにおける高い信頼性を保証する。
• バックトラッキングを用いた局所的パッチングアルゴリズムは、成功確率1を達成でき、かつ漸近的にタイトなステップ数で実現される。
• 幾何的マッピングにより、結果は双曲ランダムグラフへと拡張可能であり、実世界のネットワーク（特にインターネット）に対して広く実験的に検証されたモデルと整合することが確認された。
• 本研究は、Krioukov らが提起した未解決問題に対して、インターネットグラフにおいて効率的な局所ルーティングが可能であることを、初めて厳密に解析的に確認した。
• 目的関数φ(v)は、非一様ネットワークにおける近隣選択の自然で効果的な基準を提供し、ミルグラムのヒューリスティック（ターゲットを知る可能性の高い知人を選ぶ）と整合する。