[論文レビュー] Network Codes for Real-Time Applications

Anh Le, Arash Saber Tehrani+2 more|arXiv (Cornell University)|Mar 28, 2013

Cooperative Communication and Network Coding参考文献 36被引用数 4

ひとこと要約

本稿では、リアルタイム応用における即時可解ネットワーク符号化（IDNC）のための多項式時間アルゴリズム、Max Clique を提案する。目的は、符号化パケットを即時に復号できるユーザー数を最大化することである。問題がNP困難であることを証明した一方で、パケット数とユーザー数の比が線形または多項式である確率的モデル下では、アルゴリズムが高確率で最適解を達成できることを示し、シミュレーションおよび実世界のトレースにおいて、ベースラインを著しく上回ることを確認した。

ABSTRACT

We consider the scenario of broadcasting for real-time applications and loss recovery via instantly decodable network coding. Past work focused on minimizing the completion delay, which is not the right objective for real-time applications that have strict deadlines. In this work, we are interested in finding a code that is instantly decodable by the maximum number of users. First, we prove that this problem is NP-Hard in the general case. Then we consider the practical probabilistic scenario, where users have i.i.d. loss probability and the number of packets is linear or polynomial in the number of users. In this scenario, we provide a polynomial-time (in the number of users) algorithm that finds the optimal coded packet. The proposed algorithm is evaluated using both simulation and real network traces of a real-time Android application. Both results show that the proposed coding scheme significantly outperforms the state-of-the-art baselines: an optimal repetition code and a COPE-like greedy scheme.

研究の動機と目的

• 完了遅延を最小化することに焦点を当てた先行IDNC研究の限界に対処する。これは、厳密なデッドラインを有するリアルタイムアプリケーションには不適切である。
• 即時に復号可能なユーザー数を最大化することを目的とした、新たな問題「リアルタイムIDNC」を定式化する。
• Exact Cover by 3-Sets問題への還元により、リアルタイムIDNC問題がNP困難であることを証明する。
• i.i.d.損失モデル下で、パケット損失がユーザー間で独立同分布に従い、パケット数がユーザー数に対して線形または多項式的に増加する確率的状況において、多項式時間アルゴリズムMax Cliqueが高確率で最適な符号化パケットを特定できることを示す。
• 合成シミュレーションおよびAndroidリアルタイムゲームアプリケーションからの実ネットワークトレースを用いて、提案手法を最先端のベースラインと比較評価する。

提案手法

• 著者らは、リアルタイムIDNC問題を、特定のパケットを必要としているユーザーを頂点とするIDNCグラフにおける最大クリーク問題に定式化する。エッジは、共同復号が可能なユーザー間の適合性を表す。
• Exact Cover by 3-Sets問題を整数二次計画法（IQP）形式の最大クリーク問題に還元することで、NP困難性を証明する。
• 確率的状況では、各ユーザーが各パケットを固定確率で独立に損失すると仮定する。パケット数がユーザー数に対して線形または多項式的であると仮定する。
• i.i.d.損失モデル下で、このようなランダムグラフにおいて高確率で最大クリークを効率的に特定する多項式時間ヒューリスティクスであるMax Cliqueアルゴリズムを設計する。
• i.i.d.損失モデル下でのランダムグラフの構造的性質を活用し、全探索を避けることで、近似的に最適な性能を達成する。
• Max Cliqueアルゴリズムは実装され、2つのベースライン（最適な繰り返し符号化方式とCOPEに類似したグリーディ方式）と比較された。両方の合成トレースと、リアルタイムAndroidゲームアプリケーションからの実ネットワークトレースが使用された。

実験結果

リサーチクエスチョン

• RQ1 リアルタイムブロードキャストにおいて、符号化パケットを即時に復号可能なユーザー数を最大化する問題はNP困難か？
• RQ2 パケット損失がユーザー間でi.i.d.に従い、パケット数がユーザー数に対して線形または多項式的に増加する確率的モデル下で、多項式時間アルゴリズムが最適な符号化パケットを高確率で見つけられるか？
• RQ3 提案されたMax Cliqueアルゴリズムの性能は、既存のベースライン（特に最適な繰り返し符号化方式とCOPEに類似したグリーディ方式）と比較して、符号化送信ごとのサービス対象ユーザー数という観点でどのように差がつくか？
• RQ4 トレース駆動評価により、実世界のネットワーク環境下でもMax Cliqueアルゴリズムは優れた性能を維持するか？
• RQ5 Max Cliqueアルゴリズムが、高確率で最大の復号可能ユーザー数を達成する条件は何か？

主な発見

• Exact Cover by 3-Sets問題から整数二次計画法形式への還元により、リアルタイムIDNC問題がNP困難であることが証明された。
• i.i.d.損失モデル下で、パケット数とユーザー数の比が線形または多項式的である場合、Max Cliqueアルゴリズムは多項式時間で高確率で最適な符号化パケットを特定する。
• シミュレーションでは、Max CliqueはCOPEに類似したグリーディ方式と比較して平均して1.3倍、最適な繰り返し符号化方式と比較して最大3.8倍のユーザー数を1回の送信でサービス可能となった。
• 20ユーザーと20パケットの設定では、損失確率が0.01から0.99の範囲で変動する中で、Max CliqueはCOPEに類似した方式と比較して最大1.6倍、最適な繰り返し符号化方式と比較して最大3.8倍の性能を示した。
• リアルタイムAndroidゲームアプリケーションからの実ネットワークトレースに基づく評価により、Max Cliqueが実際の環境でも両方のベースラインを著しく上回ることが確認された。
• Max Cliqueアルゴリズムは、低い計算コストで高い性能を達成でき、厳密な遅延制約を有するリアルタイムアプリケーションに適している。