[论文解读] On the Index Coding Problem and its Relation to Network Coding and Matroid Theory

Salim Y. El Rouayheb, Alex Sprintson+1 more|ArXiv.org|Oct 1, 2008

Cooperative Communication and Network Coding参考文献 19被引用 4

一句话总结

该论文通过引入保持最优解的高效归约，建立了索引编码问题、网络编码和拟阵表示之间的基本等价性。证明了向量线性码优于标量线性码，且非线性码甚至可以超越向量线性码，表明索引编码完整捕获了网络编码和拟阵理论问题的全部复杂性。

ABSTRACT

The \emph{index coding} problem has recently attracted a significant attention from the research community due to its theoretical significance and applications in wireless ad-hoc networks. An instance of the index coding problem includes a sender that holds a set of information messages $X=\{x_1,...,x_k\}$ and a set of receivers $R$. Each receiver $ρ=(x,H)\in R$ needs to obtain a message $x\in X$ and has prior \emph{side information} comprising a subset $H$ of $X$. The sender uses a noiseless communication channel to broadcast encoding of messages in $X$ to all clients. The objective is to find an encoding scheme that minimizes the number of transmissions required to satisfy the receivers' demands with \emph{zero error}. In this paper, we analyze the relation between the index coding problem, the more general network coding problem and the problem of finding a linear representation of a matroid. In particular, we show that any instance of the network coding and matroid representation problems can be efficiently reduced to an instance of the index coding problem. Our reduction implies that many important properties of the network coding and matroid representation problems carry over to the index coding problem. Specifically, we show that \emph{vector linear codes} outperform scalar linear codes and that vector linear codes are insufficient for achieving the optimum number of transmissions.

研究动机与目标

• 建立索引编码问题与更广泛的网络编码问题之间的正式关系。
• 研究网络编码和拟阵表示的性质是否可转移到索引编码问题中。
• 确定在索引编码和网络编码设置下，标量码与向量线性码的相对性能。
• 探讨非线性码在索引编码和网络编码中超越线性解的潜力。
• 证明索引编码实例能够完整捕获一般网络编码和拟阵表示问题的全部复杂性。

提出的方法

• 构建从任意网络编码实例到等价索引编码实例的归约，使得网络编码问题中存在向量线性解当且仅当索引编码实例中存在完美索引码。
• 利用M网络构造证明在索引编码中，向量线性码可实现低于标量线性码的传输速率。
• 从拟阵表示问题到索引编码问题建立归约，表明一个拟阵在域上具有多重线性表示当且仅当对应的索引编码实例在相同域上具有向量线性解。
• 应用非帕普斯拟阵作为反例，证明向量线性码可优于标量线性码。
• 证明为构造网络存在的线性网络码当且仅当对应索引编码实例存在完美索引码。
• 使用图论与代数技术分析由网络编码和拟阵问题导出的索引编码实例的结构。

实验结果

研究问题

• RQ1 是否每个网络编码问题实例都能被高效归约为等价的索引编码实例，同时保持最优解的存在性？
• RQ2 在网络编码中观察到的向量线性码增益是否也存在于索引编码问题中？
• RQ3 是否可将拟阵表示问题归约为索引编码问题，使得一个问题存在解当且仅当另一个问题也存在解？
• RQ4 在索引编码问题中，非线性码是否优于向量线性码？这对网络编码意味着什么？
• RQ5 索引编码问题是否能够完整捕获一般网络编码和拟阵表示问题的全部复杂性？

主要发现

• 任何网络编码问题实例均可高效归约为索引编码问题实例，使得网络编码问题中存在向量线性解当且仅当索引编码实例中存在完美索引码。
• 通过M网络构造和非帕普斯拟阵示例，证明在索引编码问题中，向量线性码优于标量线性码。
• 非线性码可在索引编码中优于向量线性码，证实向量线性码不足以实现最优传输次数。
• 拟阵表示问题可归约为索引编码问题：一个拟阵在域上具有多重线性表示当且仅当对应的索引编码实例在相同域上具有向量线性解。
• 所构造的索引编码实例保留了原始问题的复杂性，表明索引编码问题至少与网络编码和拟阵表示问题一样困难。
• 由网络编码问题导出的索引编码实例家族具有简单的四部图结构，但仍完整捕获了通用网络编码问题的本质复杂性。