[論文レビュー] Fast Algorithm for Finding Unicast Capacity of Linear Deterministic Wireless Relay Networks

Cuizhu Shi, Aditya Ramamoorthy|ArXiv.org|Sep 30, 2009

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

ひとこと要約

本稿では、線形決定的無線リレーネットワークのユニキャスト容量を高速に計算するアルゴリズムを提案する。この手法は、修正深さ優先探索（MDFS）を用いて線形独立な経路の最大数を特定する。各ステップで線形独立性を保証し、計算複雑性を $O(|\mathcal{V}_x|\cdot C^4 + d\cdot|\mathcal{V}_x|\cdot C^3)$ に抑える。従来の手法に比べ顕著な改善を達成し、リレーノードで1ビット線形符号化を用いる容量を達成する伝送戦略を提供する。

ABSTRACT

The deterministic channel model for wireless relay networks proposed by Avestimehr, Diggavi and Tse `07 has captured the broadcast and inference nature of wireless communications and has been widely used in approximating the capacity of wireless relay networks. The authors generalized the max-flow min-cut theorem to the linear deterministic wireless relay networks and characterized the unicast capacity of such deterministic network as the minimum rank of all the binary adjacency matrices describing source-destination cuts whose number grows exponentially with the size of the network. In this paper, we developed a fast algorithm for finding the unicast capacity of a linear deterministic wireless relay network by finding the maximum number of linearly independent paths using the idea of path augmentation. We developed a modified depth-first search algorithm tailored for the linear deterministic relay networks for finding linearly independent paths whose total number proved to equal the unicast capacity of the underlying network. The result of our algorithm suggests a capacity-achieving transmission strategy with one-bit length linear encoding at the relay nodes in the concerned linear deterministic wireless relay network. The correctness of our algorithm for universal cases is given by our proof in the paper. Moreover, our algorithm has a computational complexity bounded by $O(|{\cal{V}}_x|\cdot C^4+d\cdot |{\cal{V}}_x|\cdot C^3)$ which shows a significant improvement over the previous results for solving the same problem by Amaudruz and Fragouli (whose complexity is bounded by $O(M\cdot |{\cal{E}}|\cdot C^5)$ with $M\geq d$ and $|{\cal{E}}|\geq|{\cal{V}}_x|$) and by Yazdi and Savari (whose complexity is bounded by $O(L^8\cdot M^{12}\cdot h_0^3+L\cdot M^6\cdot C\cdot h_0^4)$ with $h_0\geq C$).

研究の動機と目的

• 線形決定的無線リレーネットワークのユニキャスト容量を計算する多項式時間アルゴリズムの開発。
• すべてのソース・ドアストカットを全探索する方法の指数的計算量の克服。
• リレーノードで1ビット線形符号化を用いる容量を達成する伝送戦略の提供。
• AmaudruzとFragouli、YazdiとSavariの既存アルゴリズムと比較して計算複雑性の低減。
• 段階的ネットワークトポロジーにおける経路拡張と線形独立性に基づく、証明可能に正しくかつ効率的な手法の確立。

提案手法

• アルゴリズムは、ネットワーク内の線形独立なソース・ドアスト経路を反復的に特定するため、修正深さ優先探索（MDFS）を用いる。
• 各反復において、MDFSは使用済みエッジ集合がフルランクを維持することを保証し、経路集合の線形独立性を保持する。
• エッジ寄与量の置き換えが独立性を損なわずに可能となるノードの集合 $\mathcal{V}_{x\text{span}}^{x_j}$ を、$GF(2)$ 上でのガウスの消去法を用いて計算する。
• 関数 Span$(x_j)$ は、1反復あたり $O(k^3)$ 時間で $\mathcal{V}_{x\text{span}}^{x_j}$ を計算する。ここで $k$ は現在までに発見された経路数である。
• 各レイヤーカット $i$ に対して、エッジ集合 $\mathcal{E}_u^i$、$\mathcal{V}_{xu}^i$、$\mathcal{V}_{yu}^i$ を維持し、経路探索中に動的に更新する。
• 経路拡張プロセスは、線形独立な新たな経路が発見できなくなると停止し、ユニキャスト容量はそのような経路の数として返される。

実験結果

リサーチクエスチョン

• RQ1 線形決定的無線リレーネットワークにおけるユニキャスト容量を求める計算複雑性は何か？
• RQ2 経路拡張に基づくアルゴリズムは、このようなネットワークにおける線形独立経路の最大数を効率的に計算できるか？
• RQ3 段階的ネットワーク構造において、経路発見中に経路の線形独立性をどのように維持・検証できるか？
• RQ4 AmaudruzとFragouli、YazdiとSavariの手法と比較して、計算複雑性にどの程度の改善が得られるか？
• RQ5 このアルゴリズムは、リレーノードでの符号化を最小限に抑えた容量を達成する伝送戦略を提供するか？

主な発見

• 提案アルゴリズムは、MDFSによる線形独立経路の数としてユニキャスト容量を計算し、これはすべてのソース・ドアストカット隣接行列の最小ランクに等しい。
• 計算複雑性は $O(|\mathcal{V}_x|\cdot C^4 + d\cdot|\mathcal{V}_x|\cdot C^3)$ で抑えられ、従来手法に比べ顕著な改善を示す。
• 本手法はすべての一般ケースに対して正しく保証され、論文に形式的証明が提示されている。
• 経路探索プロセスは、各新しい経路が以前に発見された経路と線形独立であることを保証し、エッジ集合のランクチェックにより検証される。
• 本アルゴリズムは、リレーノードで1ビット線形符号化のみを用いる容量を達成する伝送戦略を提供する。
• Span$(x_j)$ および FindIndPaths 関数の使用により、置換可能な経路の計算が効率的に行われ、無駄な探索が削減される。