[论文解读] A Combinatorial Study of Linear Deterministic Relay Networks

S. M. Sadegh Tabatabaei Yazdi, Serap A. Savari|ArXiv.org|Apr 15, 2009

Cooperative Communication and Network Coding参考文献 9被引用 7

一句话总结

本文提出了一种确定性、多项式时间的算法，通过组合优化在线性确定性中继网络中实现了最大流/最小割容量。通过利用多matroid交集和子模函数最小化，作者建立了一个单块信号输入的容量达到传输方案，将Rado–Hall可交配定理推广至两层网络的块矩阵，并通过多matroid上的线性规划将该方法扩展至多层网络。

ABSTRACT

In the last few years the so--called "linear deterministic" model of relay channels has gained popularity as a means of studying the flow of information over wireless communication networks, and this approach generalizes the model of wireline networks which is standard in network optimization. There is recent work extending the celebrated max--flow/min--cut theorem to the capacity of a unicast session over a linear deterministic relay network which is modeled by a layered directed graph. This result was first proved by a random coding scheme over large blocks of transmitted signals. We demonstrate the same result with a simple, deterministic, polynomial--time algorithm which takes as input a single transmitted signal instead of a long block of signals. Our capacity-achieving transmission scheme for a two--layer network requires the extension of a one--dimensional Rado--Hall transversal theorem on the independent subsets of rows of a row--partitioned matrix into a two--dimensional variation for block matrices. To generalize our approach to larger networks we use the submodularity of the capacity of a cut for our model and show that our complete transmission scheme can be obtained by solving a linear program over the intersection of two polymatroids. We prove that our transmission scheme can achieve the max-flow/min-cut capacity by applying a theorem of Edmonds about such linear programs. We use standard submodular function minimization techniques as part of our polynomial--time algorithm to construct our capacity-achieving transmission scheme.

研究动机与目标

• 为线性确定性中继网络中的单播会话提供一种确定性、高效的算法，避免使用长信号块的随机编码。
• 将Rado–Hall可交配定理推广至两层网络的二维块矩阵，以实现容量达到的传输方案。
• 通过在两个多matroid的交集上建立线性规划模型，将该方法扩展至多层网络。
• 证明所提出的方案通过Edmonds的多matroid交集定理实现了理论上的最大流/最小割容量。
• 展示子模函数最小化可作为构造容量达到传输方案的多项式时间算法的核心子程序。

提出的方法

• 作者将中继网络建模为分层有向图，其中节点按层排列，信号传输由有限域上的线性变换控制。
• 对于两层网络，他们将关于独立行子集的一维Rado–Hall定理扩展为块矩阵的二维版本，以确保容量达到传输的秩条件。
• 对于多层网络，他们将割的容量定义为一个子模函数，并将传输方案建模为两个多matroid交集上的线性规划。
• 他们应用Edmonds的多matroid交集定理，证明最优解实现了最大流/最小割容量。
• 该算法使用标准的子模函数最小化技术，在多项式时间内构造传输方案。
• 该方案在单个传输信号块上运行，而非长块编码，从而实现确定性和高效实现。

实验结果

研究问题

• RQ1 是否存在一种确定性、多项式时间的算法，可在不依赖长块编码的情况下，在线性确定性中继网络中实现最大流/最小割容量？
• RQ2 在中继网络容量的背景下，如何将Rado–Hall可交配定理从一维矩阵推广至二维块矩阵？
• RQ3 多matroid交集和子模函数最小化在构造多层网络容量达到传输方案中起什么作用？
• RQ4 线性确定性网络中割的容量如何与底层图结构和转移矩阵相关联？
• RQ5 能否通过组合优化而非随机编码，证明线性确定性中继网络的最大流/最小割定理？

主要发现

• 所提出的算法使用单个传输信号块，在线性确定性中继网络中实现了最大流/最小割容量，避免了长块编码。
• 通过块矩阵的新型二维Rado–Hall可交配定理推广，建立了两层网络的容量达到传输方案。
• 对于多层网络，容量达到的传输方案通过求解两个多matroid交集上的线性规划构建，该方案被证明实现了理论容量。
• 该算法在多项式时间内运行，其核心依赖于子模函数最小化作为关键子程序。
• 容量最优性的证明基于Edmonds的多matroid交集定理，为最大流/最小割结果提供了组合学依据。
• 该框架通过确定性、构造性方法，而非概率论证，将最大流/最小割定理推广至线性确定性中继网络。