[論文レビュー] An Axiomatic Approach to Routing

Omer Lev, Moshe Tennenholtz+1 more|Jun 24, 2016

Game Theory and Applications参考文献 14被引用数 4

ひとこと要約

本稿は、最小全域木、最短経路、最弱リンクという基本的なルーティングアルゴリズムを、それぞれを一意に定義する最小限の望ましい性質の集合として特定することにより、公理的枠組みを提示する。ロバストネス、スケール不変性、順序不変性、単調性がこれらのプロトコルを完全に特徴づけることを証明し、ネットワーク設計におけるプロトコル選定の形式的基盤を提供する。

ABSTRACT

Information delivery in a network of agents is a key issue for large, complex systems that need to do so in a predictable, efficient manner. The delivery of information in such multi-agent systems is typically implemented through routing protocols that determine how information flows through the network. Different routing protocols exist each with its own benefits, but it is generally unclear which properties can be successfully combined within a given algorithm. We approach this problem from the axiomatic point of view, i.e., we try to establish what are the properties we would seek to see in such a system, and examine the different properties which uniquely define common routing algorithms used today. We examine several desirable properties, such as robustness, which ensures adding nodes and edges does not change the routing in a radical, unpredictable ways; and properties that depend on the operating environment, such as an "economic model", where nodes choose their paths based on the cost they are charged to pass information to the next node. We proceed to fully characterize minimal spanning tree, shortest path, and weakest link routing algorithms, showing a tight set of axioms for each.

研究の動機と目的

• マルチエージェントネットワークにおけるルーティングの望ましい性質を形式化すること、特にインターネットのような大規模システムにおいて。
• 共通するルーティングアルゴリズムを最小限で独立した性質によって一意に特徴づける公理的枠組みを構築すること。
• 特定のアルゴリズムに対して必要な公理と十分な公理を示すことで、プロトコル設計におけるトレードオフを明確にすること。
• システム設計者が望ましいシステムレベルの性質に基づいてルーティングプロトコルを選択できる理論的基盤を提供すること。
• 組織理論における公理的推論の適用範囲をネットワークルーティングプロトコルへ拡張すること。

提案手法

• 現実のネットワーク制約に基づいて、ロバストネス、スケール不変性、順序不変性、単調性、経路基数不変性、シフト不変性といった公理の集合を定義する。
• 特徴化定理を用いて、各ルーティングアルゴリズム（MST、最短経路、最弱リンク）が、特定の公理の最小限の部分集合によって一意に決定されることを証明する。
• 背理法と反例構築を用いて、任意の1つの公理を除外すると、代替的なルーティング行動が許容されることを示す。
• グラフの例（例：図4〜6）を用いて、1つの公理を緩和すると、同等でないルーティング結果が得られることを説明する。
• 現実のハードウェアおよびプロトコル制約を反映するために、混雑依存性のない、独立性およびステートレスなルーティングにモデルを制限する。
• 公理的性質と既知のルーティングアルゴリズムとの間の同等性を確立し、各公理集合の必要性と十分性を証明する。

実験結果

リサーチクエスチョン

• RQ1 最小全域木ルーティングアルゴリズムを一意に特徴づけるために必要な公理と十分な公理は何か？
• RQ2 ロバストネスとスケール不変性は、最短経路アルゴリズムの挙動をどのように共同で決定するか？
• RQ3 どのような公理的条件が、最弱リンクアルゴリズムがボトルネック容量が最大の経路を選択することを保証するか？
• RQ4 任意のルーティングアルゴリズムは、最小限で独立した公理の集合によって完全に特徴づけられるか？
• RQ5 単調性や順序不変性といった公理的性質が、ネットワーク設計におけるルーティング結果をどの程度制約するか？

主な発見

• 最小全域木アルゴリズムは、ロバストネス、スケール不変性、経路基数不変性、単調性の公理によって一意に特徴づけられる。
• 最短経路アルゴリズムは、ロバストネス、スケール不変性、経路基数不変性、単調性によって完全に特徴づけられ、さらに順序不変性の追加によりMSTとは明確に区別される。
• 最弱リンクアルゴリズムは、ロバストネス、スケール不変性、シフト不変性、単調性によって一意に決定され、経路順序不変性が主要な区別要因となる。
• 各公理は必須である：公理集合から任意の1つを除外すると、代替的なルーティング行動が許容可能となり、公理集合の最小性が裏付けられる。
• この枠組みにより、3つの標準的プロトコルのいずれかでない限り、いかなるルーティングアルゴリズムもすべての公理を満たすことは不可能であることが示され、設計空間にきびしい制約が課されることを証明する。
• 実世界のプロトコル（BGP や OSPF など）がこれらの公理的特徴づけと一致していることが検証され、特に混雑依存性やソース固有ルーティングのない点で整合性が確認された。