[论文解读] Charting the Complexity Landscape of Waypoint Routing

Saeed Akhoondian Amiri, Klaus-Tycho Foerster+2 more|arXiv (Cornell University)|Apr 28, 2017

Advanced Graph Theory Research参考文献 35被引用 3

一句话总结

本文对计算机网络中的航路点路由问题进行了全面的复杂度分析，其中流量必须经过一系列受容量约束的中间节点（航路点）。研究证明了一般情况下该问题为NP-完全问题，同时识别出多项式时间可解的特定情形，特别是当航路点为流量守恒或图结构受限时，为网络服务编排和分段路由应用提供了算法洞见与复杂度边界。

ABSTRACT

Modern computer networks support interesting new routing models in which traffic flows from a source s to a destination t can be flexibly steered through a sequence of waypoints, such as (hardware) middleboxes or (virtualized) network functions, to create innovative network services like service chains or segment routing. While the benefits and technological challenges of providing such routing models have been articulated and studied intensively over the last years, much less is known about the underlying algorithmic traffic routing problems. This paper shows that the waypoint routing problem features a deep combinatorial structure, and we establish interesting connections to several classic graph theoretical problems. We find that the difficulty of the waypoint routing problem depends on the specific setting, and chart a comprehensive landscape of the computational complexity. In particular, we derive several NP-hardness results, but we also demonstrate that exact polynomial-time algorithms exist for a wide range of practically relevant scenarios.

研究动机与目标

• 分析在现代网络中通过一系列航路点路由流量的计算复杂度，特别是在网络功能虚拟化（NFV）和服务编排的背景下。
• 识别航路点路由问题在何种条件下是可解的或不可解的，尤其关注流量大小变化与图拓扑的影响。
• 建立航路点路由与经典图论问题（如不相交路径和环路检测）之间的联系。
• 为需要流量按顺序通过有序网络功能或中间盒的现代网络服务中的算法挑战提供基础理解。

提出的方法

• 通过从划分问题（Partition problem）归约，证明一般航路点路由在任意流量大小变化下为NP-完全问题。
• 使用星形图和环形图构造图实例，并对容量进行精确分配，以模拟航路点处的流量大小变化。
• 采用大流量大小的二进制编码，证明即使输入大小为流量值对数的多项式，问题仍为强NP-完全。
• 通过将无向边替换为容量相等的双向边，将构造方法适配至有向图。
• 引入虚拟航路点，使流量大小恒定增加一个因子，以在受限流量变化模型下保持问题的难度。
• 利用已知的不相交路径与最短环路结果，对比无序与有序航路点路由问题的复杂度差异。

实验结果

研究问题

• RQ1 在何种条件下，受容量约束的航路点路由问题在计算上是可解或不可解的？
• RQ2 航路点改变流量大小的能力如何影响寻找可行或最短路由路径的复杂度？
• RQ3 在有向图中，特别是当流量大小变化受限制时，航路点路由的计算复杂度如何？
• RQ4 不同图拓扑结构（如无向图、有向图、单环图）如何影响问题的复杂度？
• RQ5 航路点路由与经典图论问题（如不相交路径和环路检测）之间存在何种关系？

主要发现

• 即使流量大小以二进制编码且底层图为单环图，航路点路由问题仍为强NP-完全问题。
• 当航路点仅能按常数因子增加或减少流量大小时，该问题在有向图中仍为NP-完全问题。
• 多项式时间算法适用于广泛的实际场景，特别是当航路点为流量守恒或航路点数量较小时。
• 问题的复杂度格局在很大程度上取决于航路点是否改变流量大小以及图的拓扑结构。
• 有序航路点路由（本研究）与无序变体之间存在根本性的复杂度差异，前者在一般情况下显著更难。
• 从划分问题的归约表明，即使流量变化量小且为常数，问题仍具有计算难度。