[论文解读] Optimal Deterministic Polynomial-Time Data Exchange for Omniscience

Nebojsa Milosavljevic, Sameer Pawar+3 more|arXiv (Cornell University)|Aug 30, 2011

Cooperative Communication and Network Coding参考文献 13被引用 11

一句话总结

本文提出了一种确定性多项式时间算法，通过组合优化最小化总通信量，实现了用户在部分文件知识下对全知状态的速率最优数据交换。该算法为非编码和线性编码的辅信息提供了显式传输方案，具有可证明的最优性，并通过基于秩的网络编码条件实现高效构造。

ABSTRACT

We study the problem of constructing a deterministic polynomial time algorithm that achieves omniscience, in a rate-optimal manner, among a set of users that are interested in a common file but each has only partial knowledge about it as side-information. Assuming that the collective information among all the users is sufficient to allow the reconstruction of the entire file, the goal is to minimize the (possibly weighted) amount of bits that these users need to exchange over a noiseless public channel in order for all of them to learn the entire file. Using established connections to the multi-terminal secrecy problem, our algorithm also implies a polynomial-time method for constructing a maximum size secret shared key in the presence of an eavesdropper. We consider the following types of side-information settings: (i) side information in the form of uncoded fragments/packets of the file, where the users' side-information consists of subsets of the file; (ii) side information in the form of linearly correlated packets, where the users have access to linear combinations of the file packets; and (iii) the general setting where the the users' side-information has an arbitrary (i.i.d.) correlation structure. Building on results from combinatorial optimization, we provide a polynomial-time algorithm (in the number of users) that, first finds the optimal rate allocations among these users, then determines an explicit transmission scheme (i.e., a description of which user should transmit what information) for cases (i) and (ii).

研究动机与目标

• 设计一种确定性多项式时间算法，以最小化用户在共同拥有完整文件时实现全知状态所需的总通信比特数。
• 解决三种场景下的数据交换问题：非编码片段、线性相关数据包，以及一般i.i.d.相关辅信息。
• 构建显式传输方案，明确指定每位用户应发送何种信息，确保速率最优。
• 建立数据交换与多终端保密之间的联系，实现高效秘密密钥生成。
• 在存在窃听者的情况下，提供一种多项式时间方法，用于构造最大尺寸的共享秘密密钥。

提出的方法

• 使用组合优化技术，根据用户的辅信息集合，确定最优的速率分配。
• 应用基于割集界推导出的基于秩的可行性条件（公式116），以验证线性编码场景下速率元组的可实现性。
• 采用贪心算法（算法4）构建传输集合，以在用户间逐步保持最大秩增量。
• 将数据交换问题转化为网络编码可行性问题，利用全知状态与网络编码可解性之间的等价性。
• 通过从用户特定矩阵中选择特定行来推导传输方案，确保每个接收端都能恢复完整秩。
• 通过满足所有用户子集上的网络编码可行性必要与充分条件，确保最优性。

实验结果

研究问题

• RQ1 能否设计一种确定性多项式时间算法，实现用户在部分文件知识下对全知状态的速率最优数据交换？
• RQ2 在存在线性相关辅信息的情况下，实现全知状态的必要与充分条件是什么？
• RQ3 如何构建一个显式传输方案，精确指定每位用户应发送的数据？
• RQ4 能否将数据交换问题简化为具有已知基于秩条件的网络编码可行性问题？
• RQ5 速率最优数据交换与多终端保密中最大尺寸共享秘密密钥的构造之间存在何种联系？

主要发现

• 所提出的算法相对于用户数量呈多项式时间复杂度，且保证了全知状态下速率最优的数据交换。
• 对于非编码和线性编码的辅信息，该算法生成了显式传输方案，最小化了总通信成本。
• 任何速率元组的可行性由公式（116）中的割集条件表征：对所有子集𝒮，有∑ᵢ∈ₛ Rᵢ ≥ rank(𝒜ₛ|𝒜ₛᶜ)。
• 贪心算法（算法4）构建的传输集合能保持最大秩增量，确保可行性与最优性。
• 在包含四个文件分块和三个用户的示例情况下，该方法实现了最小总速率3个符号。
• 该框架实现了最大尺寸共享秘密密钥的多项式时间构造，利用了数据交换与多终端保密之间的对偶性。