[論文レビュー] 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 各ノードが1ビットではなく測定値のブロックを持つ場合、問題のスケーリングはどのように変化するか？
• RQ5 ブロック計算のための最適な複数ラウンド戦略の構造は何か？

主な発見

• 最適な送信順序戦略は、周辺確率の正確な値ではなく、それらの相対的順序にのみ依存する。
• 提示されたインデクシング戦略は帰納法を用いて最適性が証明され、交換されるビット数の期待値を最小化することが示された。
• 最適戦略は動的であるため、以前に送信されたビットに応じて送信順序が適応的に変更される可能性がある。
• 単一インスタンスの場合、ノードを周辺確率の増加順に並べることで、期待通信コストが最小化される。
• ブロック計算問題は著しく難易度が高く、著者らは単一インスタンスの最適解に基づき、複数ラウンド最適戦略を仮定している。
• 再帰的不等式（コスト関数の縮小された部分問題を含む）に依拠し、特定の順序の入れ替えが期待コストを低下させることを示した。