[論文レビュー] Coded Cooperative Data Exchange Problem for General Topologies

Mira Gonen, Michael Langberg|arXiv (Cornell University)|Feb 9, 2012

Cooperative Communication and Network Coding参考文献 17被引用数 6

ひとこと要約

本稿は、非分割パケットを想定する整数設定下での一般無向グラフにおける符号化協調的データ交換問題を研究する。|V|の対数要因内で近似解を得ることはNP困難であることが示され、各ノードが自身のパケットをすべてのノードに広めるために利用可能な$ar{V}_i$-自己支配集合に基づく効率的な非符号化通信方式が提案され、そのようなトポロジーにおける符号化利得の境界が得られる。

ABSTRACT

We consider the "coded cooperative data exchange problem" for general graphs. In this problem, given a graph G=(V,E) representing clients in a broadcast network, each of which initially hold a (not necessarily disjoint) set of information packets; one wishes to design a communication scheme in which eventually all clients will hold all the packets of the network. Communication is performed in rounds, where in each round a single client broadcasts a single (possibly encoded) information packet to its neighbors in G. The objective is to design a broadcast scheme that satisfies all clients with the minimum number of broadcast rounds. The coded cooperative data exchange problem has seen significant research over the last few years; mostly when the graph G is the complete broadcast graph in which each client is adjacent to all other clients in the network, but also on general topologies, both in the fractional and integral setting. In this work we focus on the integral setting in general undirected topologies G. We tie the data exchange problem on G to certain well studied combinatorial properties of G and in such show that solving the problem exactly or even approximately within a multiplicative factor of \log{|V|} is intractable (i.e., NP-Hard). We then turn to study efficient data exchange schemes yielding a number of communication rounds comparable to our intractability result. Our communication schemes do not involve encoding, and in such yield bounds on the "coding advantage" in the setting at hand.

研究の動機と目的

• 整数（非分割パケット）設定下での一般無向トポロジーにおける符号化協調的データ交換問題の複雑さを分析すること。
• 支配集合問題などの組合せ的性質と関連づけることで、|V|の対数要因内で正確解または定数倍近似解を得ることはNP困難であることを確立すること。
• 符号化を回避する効率的な通信方式を設計し、通信ラウンド数を理論的下界に近づけること。
• 分数的および整数的定式化を用いて非符号化方式の性能と理論的最適値を比較することで、符号化利得を定量化すること。

提案手法

• 問題は、各パケット$x_i$が初期に保有していないすべてのノードに広がる必要がある$ar{V}_i$-自己支配集合問題に関連づけられる。
• 各パケット$x_i$に対して、$x_i$を既に保有しているノードの集合$V_i$内のすべての辺を追加することで、元のグラフ$G'_i = (V'_i, E'_i)$を構築し、ソースノード間の接続性を保証する。
• 既知の近似アルゴリズムを用いて$G'_i$における連結支配集合（CDS）を計算し、$x_i$の広報に適した集合を提供する。
• 通信方式では、各パケット$x_i$を$G'_i$におけるCDSの連結成分を通じてブロードキャストし、各成分が$V_i$に属するノードから送信を開始することで、$O(|D_i|)$ラウンドで完全な広報を達成する。
• CDSのサイズは分数的連結支配集合との関係を用いて上限が得られ、$|D_i| = O(\log|V'_i| \cdot DS_f(G'_i))$が成立する。
• 全体の方式では、$O(\sum_i \log|V'_i| \cdot DS_f(G'_i))$ラウンドを要する。これは最大で$O(k \log n \cdot DS_f(G))$ラウンドに抑えられる。

実験結果

リサーチクエスチョン

• RQ1 非分割パケットを伴う一般無向グラフにおける符号化協調的データ交換問題は、|V|の対数要因内で近似可能か？
• RQ2 通信ラウンド数の理論的下界に一致または近接する効率的な非符号化通信方式を設計可能か？
• RQ3 ネットワークグラフ$G$の構造および初期パケット配布が、必要な最小ブロードキャストラウンド数にどのように影響するか？
• RQ4 最適ラウンド数とグラフ内の分数的連結支配集合の関係は何か？
• RQ5 提案された方式は、整数設定下での符号化利得をどの程度明確に定量化できるか？

主な発見

• 一般無向グラフにおける符号化協調的データ交換問題は、|V|の対数要因内で近似可能でない（NP困難）ことが示された。
• 支配集合問題および連結支配集合問題と関連づけられ、還元を用いて難解性が確立された。
• $ar{V}_i$-自己支配集合に基づく非符号化通信方式により、$O(\sum_i \log|V'_i| \cdot DS_f(G'_i))$ラウンドの通信が達成された。
• 以前の方式に比べ、欠落パケットの広報にのみ焦点を当てたことで、$DS_i$が$G$における支配集合よりも著しく小さい場合に優れた性能を発揮した。
• 分数的最適解の対数要因内で上界が保証されるため、符号化利得が有界であることが示された。
• $G'_i$の構築により、$G'_i$における任意の連結支配集合が$G$における有効な$ar{V}_i$-自己支配集合に対応するようになり、近似が効率的に行えるようになった。