[论文解读] 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、最短路径、最弱链路）均由特定的最小公理子集唯一确定。
• 使用反证法和反例构造法，表明若省略任意一个公理，将允许其他路由行为，从而证明公理集合的最小性。
• 使用图示例（如图4–6）说明放松某一公理如何导致非等价的路由结果。
• 将模型限制为非拥塞依赖、独立且无状态的路由，以反映现实硬件与协议约束。
• 建立公理属性与已知路由算法之间的等价性，证明每组公理的必要性与充分性。

实验结果

研究问题

• RQ1 哪些公理是唯一刻画最小生成树路由算法的必要且充分条件？
• RQ2 鲁棒性与尺度不变性如何共同决定最短路径算法的行为？
• RQ3 哪些公理条件可确保最弱链路算法选择具有最大瓶颈容量的路径？
• RQ4 是否任何路由算法均可由一组最小且独立的公理完全刻画？
• RQ5 公理属性如单调性与序不变性，在多大程度上约束了网络设计中的路由结果？

主要发现

• 最小生成树算法由鲁棒性、尺度不变性、路径基数不变性和单调性这组公理唯一刻画。
• 最短路径算法由鲁棒性、尺度不变性、路径基数不变性和单调性完全刻画，而序不变性的加入使其与MST区分开来。
• 最弱链路算法由鲁棒性、尺度不变性、位移不变性和单调性唯一确定，路径序不变性是其关键区分特征。
• 每个公理均不可或缺：从公理集中移除任意一个公理，均允许存在其他路由行为，从而证明了公理集合的最小性。
• 该框架表明，除非路由算法是三种标准协议之一，否则无法满足所有公理，从而证明了设计空间的紧致边界。
• 结果验证了现实世界协议如BGP和OSPF与这些公理刻画一致，尤其体现在其对拥塞的独立性与源特定路由的独立性方面。