[论文解读] Optimal ordering of transmissions for computing Boolean threhold functions

Hemant Kowshik, P. Rajesh Kumar|arXiv (Cornell University)|Apr 30, 2010

Wireless Communication Security Techniques参考文献 6被引用 6

一句话总结

本文提出了一种在具有独立伯努利分布节点测量值的共址网络中计算对称布尔阈值函数的最优动态传输排序策略。通过仅根据边际概率的相对顺序（而非其具体数值）来排序传输，该方法最小化了交换的期望比特数，其最优性通过归纳法和动态规划原理证明。

ABSTRACT

We address a sequential decision problem that arises in the computation of symmetric Boolean functions of distributed data. We consider a collocated network, where each node's transmissions can be heard by every other node. Each node has a Boolean measurement and we wish to compute a given Boolean function of these measurements. We suppose that the measurements are independent and Bernoulli distributed. Thus, the problem of optimal computation becomes the problem of optimally ordering node's transmissions so as to minimize the total expected number of bits. We solve the ordering problem for the class of Boolean threshold functions. The optimal ordering is dynamic, i.e., it could potentially depend on the values of previously transmitted bits. Further, it depends only on the ordering of the marginal probabilites, but not on their exact values. This provides an elegant structure for the optimal strategy. For the case where each node has a block of measurements, the problem is significantly harder, and we conjecture the optimal strategy.

研究动机与目标

• 最小化在具有独立伯努利分布节点测量值的共址网络中计算对称布尔阈值函数时的期望交换比特数。
• 确定一种基于先前传输比特自适应调整的最优动态传输排序策略。
• 确立最优策略仅依赖于边际概率的相对顺序，而非其确切数值。
• 将单次实例结果扩展至分块计算，推测一种针对分块编码测量值的多轮最优策略。

提出的方法

• 将问题表述为使用动态规划最小化期望通信成本的序列决策问题。
• 提出一种简单的索引策略，根据边际概率的相对顺序对传输进行排序。
• 通过关于节点数的数学归纳法证明索引策略的最优性，利用递归成本函数。
• 利用涉及条件期望和最优子结构的递归成本表达式，比较不同传输顺序。
• 推导并应用不等式（例如，S^{(1)}_{n,k,i} ≤ 0），以证明以特定顺序交换节点可降低期望成本。
• 通过基于单次实例最优策略的推测，将分析扩展至分块计算。

实验结果

研究问题

• RQ1 在具有独立伯努利测量值的共址网络中，计算布尔阈值函数的最优动态传输排序策略是什么？
• RQ2 最优策略是否依赖于边际概率的精确数值，还是仅依赖于其相对顺序？
• RQ3 能否通过简单的索引规则而非求解复杂动态规划来表征最优策略？
• RQ4 当每个节点拥有一组测量值而非单个比特时，该问题的规模如何扩展？
• RQ5 针对阈值函数的分块计算，最优多轮策略的结构是什么？

主要发现

• 最优传输排序策略仅依赖于边际概率的相对顺序，而非其实际数值。
• 所提出的索引策略经归纳法证明为最优，表明其可最小化交换的期望比特数。
• 最优策略是动态的，意味着传输顺序可基于先前传输的比特自适应调整。
• 在单次实例情况下，通过按边际概率递增顺序排序节点，可最小化期望通信成本。
• 分块计算问题要困难得多，作者推测一种基于单次实例最优解的多轮最优策略。
• 证明依赖于涉及子问题成本函数的递归不等式，表明特定顺序的交换可降低期望成本。