[论文解读] Index coding via linear programming

Anna Blasiak, Robert Kleinberg+1 more|arXiv (Cornell University)|Apr 8, 2010

Cooperative Communication and Network Coding参考文献 35被引用 80

一句话总结

本文提出了一种新颖的线性规划框架，可直接分析索引编码中的广播速率 β，通过提供 o(n) 因子内的多项式时间近似算法以及 β=2 的判定过程，解决了长期存在的开放问题。该方法精确确定了多种图类的 β 值，表明 β 可以比其平凡下界线性更大，且比朴素上界多项式更小。

ABSTRACT

Index Coding has received considerable attention recently motivated in part by real-world applications and in part by its connection to Network Coding. The basic setting of Index Coding encodes the problem input as an undirected graph and the fundamental parameter is the broadcast rate $β$, the average communication cost per bit for sufficiently long messages (i.e. the non-linear vector capacity). Recent nontrivial bounds on $β$ were derived from the study of other Index Coding capacities (e.g. the scalar capacity $β_1$) by Bar-Yossef et al (2006), Lubetzky and Stav (2007) and Alon et al (2008). However, these indirect bounds shed little light on the behavior of $β$: there was no known polynomial-time algorithm for approximating $β$ in a general network to within a nontrivial (i.e. $o(n)$) factor, and the exact value of $β$ remained unknown for any graph where Index Coding is nontrivial. Our main contribution is a direct information-theoretic analysis of the broadcast rate $β$ using linear programs, in contrast to previous approaches that compared $β$ with graph-theoretic parameters. This allows us to resolve the aforementioned two open questions. We provide a polynomial-time algorithm with a nontrivial approximation ratio for computing $β$ in a general network along with a polynomial-time decision procedure for recognizing instances with $β=2$. In addition, we pinpoint $β$ precisely for various classes of graphs (e.g. for various Cayley graphs of cyclic groups) thereby simultaneously improving the previously known upper and lower bounds for these graphs. Via this approach we construct graphs where the difference between $β$ and its trivial lower bound is linear in the number of vertices and ones where $β$ is uniformly bounded while its upper bound derived from the naive encoding scheme is polynomially worse.

研究动机与目标

• 解决一般索引编码网络中广播速率 β 近似计算缺乏多项式时间算法的问题。
• 解决非平凡图中 β 是否可被精确计算的开放问题。
• 通过直接的信息论分析，弥合已知 β 上下界之间的差距。
• 建立一种判定程序，用于确定任意给定网络中 β=2 是否成立。
• 构造显式图族，使得 β 有界而朴素编码上界为多项式更差，从而表明 β 与 bₙ 之间的差距可为超多项式。

提出的方法

• 作者基于侧信息结构建立线性规划模型，将广播速率 β 视为集合覆盖与交集的函数。
• 定义矩阵 M，其元素编码顶点子集的交集模式，并利用克罗内克积恒等式证明其可逆性。
• 通过 (1,1;1,0) 与 (0,1;1,-1) 矩阵的性质，显式推导出 M 的逆矩阵，从而表征可行编码方案。
• 可行性的一个关键判据被表述为涉及集合并集上交错和的不等式系统，确保编码权重的非负性。
• 该方法利用对偶性与容斥原理，推导出 β 的下界 b₂，且证明该下界在信息论意义上是紧致的。
• 该方法实现了 β 的 o(n) 因子内近似计算的多项式时间算法，以及 β=2 的精确判定。

实验结果

研究问题

• RQ1 信息论下界 b₂ 与实际广播速率 β 之间的最大可能差距是多少？
• RQ2 给定其具有指数数量约束，是否存在高效算法来计算下界 b₂？
• RQ3 对于给定常数 C 和图 G，确定 β < C 的计算复杂度是多少？
• RQ4 能否在任意 ε > 0 下，以 n^{1−ε} 的乘法因子近似广播速率 β？
• RQ5 当域特征 q 趋近于无穷大时，投影-哈达玛图的标量容量 β₁ 是否无界？

主要发现

• 本文提出了一种多项式时间算法，可在 o(n) 因子内近似 β，解决了通用网络中非平凡近似问题的开放难题。
• 提供了多项式时间判定程序，可精确判断任意给定索引编码实例中 β=2 是否成立。
• 作者精确计算了循环群的多种凯莱图的 β 值，显著改进了这些图类的上下界。
• 他们构造了 β 比其平凡下界线性更大的图，表明该差距可达 Ω(n)。
• 他们展示了某些图中 β 有界而朴素编码上界 bₙ 为多项式更大，表明 β 与 bₙ 之间的差距可为超多项式。
• 证明了某些投影-哈达玛图的标量容量 β₁ 随域特征 q → ∞ 而无界，回答了一个开放问题。