[论文解读] A Graph Theoretical Approach to Network Encoding Complexity

Li Xu, Weiping Shang+1 more|arXiv (Cornell University)|Feb 3, 2012

Interconnection Networks and Systems参考文献 8被引用 4

一句话总结

本文提出一种图论框架，通过在无环有向网络中建模Menger路径的合并，分析网络编码复杂度。通过定义常数 $\mathcal{M}(c_1,\dots,c_l)$ 和 $\mathcal{M}^*(c_1,\dots,c_l)$，以界定多会话中路径合并的最小数量，作者利用路径连接与结构分解技术，推导出在多播、双向及单播网络中编码复杂度的紧致下界与精确值。

ABSTRACT

Consider an acyclic directed network $G$ with sources $S_1, S_2,..., S_l$ and distinct sinks $R_1, R_2,..., R_l$. For $i=1, 2,..., l$, let $c_i$ denote the min-cut between $S_i$ and $R_i$. Then, by Menger's theorem, there exists a group of $c_i$ edge-disjoint paths from $S_i$ to $R_i$, which will be referred to as a group of Menger's paths from $S_i$ to $R_i$ in this paper. Although within the same group they are edge-disjoint, the Menger's paths from different groups may have to merge with each other. It is known that by choosing Menger's paths appropriately, the number of mergings among different groups of Menger's paths is always bounded by a constant, which is independent of the size and the topology of $G$. The tightest such constant for the all the above-mentioned networks is denoted by $\mathcal{M}(c_1, c_2,..., c_2)$ when all $S_i$'s are distinct, and by $\mathcal{M}^*(c_1, c_2,..., c_2)$ when all $S_i$'s are in fact identical. It turns out that $\mathcal{M}$ and $\mathcal{M}^*$ are closely related to the network encoding complexity for a variety of networks, such as multicast networks, two-way networks and networks with multiple sessions of unicast. Using this connection, we compute in this paper some exact values and bounds in network encoding complexity using a graph theoretical approach.

研究动机与目标

• 基于边不相交的Menger路径及其合并，建立图论模型以分析网络编码复杂度。
• 定义并计算来自不同源-宿对的Menger路径之间合并的最小数量，记为 $\mathcal{M}$ 与 $\mathcal{M}^*$，其与编码复杂度直接相关。
• 通过子网络的结构连接技术，推导出多播、双向及多会话单播等各类网络编码复杂度的紧致下界。
• 形式化路径合并与网络编码必要性之间的联系，表明合并点作为瓶颈，需通过编码避免拥塞。

提出的方法

• 将无环有向网络建模为源 $S_i$、宿 $R_i$，并定义 $c_i$ 为 $S_i$ 与 $R_i$ 之间的最小割。
• 将合并定义为：至少两条来自不同源-宿对的Menger路径在某条边上汇聚并共同继续传播的共享子路径。
• 利用Menger定理确保从 $S_i$ 到 $R_i$ 存在 $c_i$ 条边不相交的路径，构成一组Menger路径。
• 引入 $|G|_{\mathcal{M}}(\alpha_1,\dots,\alpha_l)$，表示所有路径组中不同合并边的计数（不计重复）。
• 通过连接构建不可重路由图：反转子图中的边，拆分源与宿，并通过标识节点形成更大网络。
• 对 $k-1$ 个子图进行递归连接，构建 $(n_1,\dots,n_k)$-图，保持合并计数不变，并支持归纳性界。

实验结果

研究问题

• RQ1 在给定最小割的网络中，来自不同源-宿对的Menger路径之间合并的最小数量是多少？
• RQ2 常数 $\mathcal{M}(c_1,\dots,c_l)$ 与 $\mathcal{M}^*(c_1,\dots,c_l)$ 如何与多播和双向通信中的网络编码复杂度相关联？
• RQ3 合并数量能否独立于网络规模与拓扑结构进行界定？最紧致的此类界是什么？
• RQ4 路径连接技术如何用于推导多会话网络编码复杂度的下界？
• RQ5 网络的何种结构特性迫使必须使用网络编码？这些特性与Menger路径合并点之间有何关联？

主要发现

• 本文证明，来自不同源-宿对的Menger路径之间的合并数量，受一个与网络规模和拓扑无关的常数所界定。
• 对于具有 $l$ 个不同源与宿的网络，最小合并数记为 $\mathcal{M}(c_1,\dots,c_l)$；当源相同时，记为 $\mathcal{M}^*(c_1,\dots,c_l)$。
• 本文证明了不等式 $\mathcal{M}(n,n) \geq \mathcal{M}^*(n+1,n+1) + \mathcal{M}^*(n-1,n-1) + (n-1)$，为编码复杂度提供了递归下界。
• 对于 $n_1 \leq \cdots \leq n_k$，推导出不等式 $\mathcal{M}^*(n_1,\dots,n_k) \geq \sum_{i=1}^{k-1} \mathcal{M}^*(n_i,n_i)$，表明复杂度随会话数增加而增长。
• 作者证明，合并点作为瓶颈，必须通过网络编码来避免拥塞，且此类点的数量直接决定最小编码成本。
• 通过图连接技术，本文构建了具有可控合并数的不可重路由网络，从而实现编码复杂度的精确计算与紧致界。