[论文解读] Duality Codes and the Integrality Gap Bound for Index Coding

Hao Yu, Michael J. Neely|arXiv (Cornell University)|Jul 8, 2013

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

一句话总结

本文提出了一种对偶框架，将索引编码问题的整数线性规划（ILP）松弛与向量线性编码方案相联系，表明ILP与其松弛之间的整数性间隙界定了编码策略的性能。对于平面索引编码实例，该间隙为零，可通过循环码实现最优性能；对于非平面情形，通过改进的ILP表示可获得更小的间隙，并提出一种在Reed-Solomon码之间时分复用的更优部分团编码策略。

ABSTRACT

This paper considers a base station that delivers packets to multiple receivers through a sequence of coded transmissions. All receivers overhear the same transmissions. Each receiver may already have some of the packets as side information, and requests another subset of the packets. This problem is known as the index coding problem and can be represented by a bipartite digraph. An integer linear program is developed that provides a lower bound on the minimum number of transmissions required for any coding algorithm. Conversely, its linear programming relaxation is shown to provide an upper bound that is achievable by a simple form of vector linear coding. Thus, the information theoretic optimum is bounded by the integrality gap between the integer program and its linear relaxation. In the special case when the digraph has a planar structure, the integrality gap is shown to be zero, so that exact optimality is achieved. Finally, for non-planar problems, an enhanced integer program is constructed that provides a smaller integrality gap. The dual of this problem corresponds to a more sophisticated partial clique coding strategy that time-shares between Reed-Solomon erasure codes. This work illuminates the relationship between index coding, duality, and integrality gaps between integer programs and their linear relaxations.

研究动机与目标

• 建立索引编码中信息论下界与可实现编码方案之间的对偶框架。
• 分析索引编码问题的整数线性规划（ILP）公式与其线性规划（LP）松弛之间的整数性间隙。
• 证明LP松弛的对偶对应于特定的编码策略，如向量循环码和部分团码。
• 表明对于具有平面旁信息图的索引编码问题，整数性间隙为零，意味着可通过标量循环码实现精确最优。
• 通过构建更紧致的ILP公式，减小整数性间隙，从而改善非平面图的性能界。

提出的方法

• 使用加权有向二分图建模数据包传输与旁信息，表示索引编码问题。
• 提出一个整数线性规划（P1），提供目前已知最紧的最小传输次数下界。
• 分析（P1）的LP松弛，其对偶对应于向量循环码，建立了下界与编码性能之间的对偶关系。
• 提出基于旁信息图中部分团的改进ILP公式（P6），其整数性间隙小于（P1）。
• 证明（P6）的LP松弛的对偶对应于Reed-Solomon擦除码之间的时分复用策略，从而实现更复杂的部分团编码方案。
• 利用图论性质（如平面性与无环子图）刻画整数性间隙消失的条件。

实验结果

研究问题

• RQ1 如何形式化索引编码中信息论下界与可实现编码方案之间的对偶性？
• RQ2 ILP公式与对应编码策略性能之间的整数性间隙有何关系？
• RQ3 在何种图结构（如平面图）下，整数性间隙消失，从而实现最优编码性能？
• RQ4 能否通过更紧致的ILP公式减小整数性间隙，并为非平面索引编码问题带来性能更优的编码方案？
• RQ5 更紧致ILP公式的LP松弛对偶能否被解释为有意义的编码策略？

主要发现

• ILP公式（P1）与其LP松弛之间的整数性间隙界定了向量循环码的性能，且LP松弛的对偶对应于该编码策略。
• 对于具有平面旁信息图的索引编码问题，（P1）的LP松弛的整数性间隙为零，表明标量循环码可实现信息论最优。
• 基于部分团的改进ILP公式（P6）相比（P1）具有更小的整数性间隙，从而对最优传输次数提供了更紧的界。
• （P6）的LP松弛的对偶对应于一种在Reed-Solomon擦除码之间时分复用的部分团编码策略，性能优于循环码。
• 由于整数性间隙更小，部分团码的性能不低于且通常优于循环码。
• 结果表明，探索紧致下界公式的LP松弛是发现高性能索引编码方案的可行路径。