[논문 리뷰] Fast Algorithm for Finding Unicast Capacity of Linear Deterministic Wireless Relay Networks

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

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비트 선형 인코딩을 사용하는 용량을 달성하는 전송 전략을 제공하기.
• 아모드루즈와 프라구울, 야즈디와 사바리의 기존 알고리즘에 비해 계산 복잡도를 감소시키기.
• 층상 네트워크 구조에서 경로 증강과 선형 독립성 기반의 증명 가능하고 효율적인 방법을 확립하기.

제안 방법

• 알고리즘은 네트워크 내에서 소스-디스티네이션 경로의 선형 독립성을 반복적으로 찾기 위해 수정된 깊이 우선 탐색(MDFS)을 사용한다.
• 각 반복 단계에서 MDFS는 사용된 간선 집합이 최대 질량을 유지하도록 보장하여 경로 집합의 선형 독립성을 유지한다.
• 경로 집합의 선형 독립성을 잃지 않으면서도 간선 기여도를 교체할 수 있는 노드 집합 $\mathcal{V}_{x\text{span}}^{x_j}$를 $GF(2)$에서의 가우스 소거법을 사용해 계산한다.
• 함수 Span$(x_j)$는 각 반복에서 $k$가 현재까지 발견한 경로 수일 때 $O(k^3)$의 시간 내에 $\mathcal{V}_{x\text{span}}^{x_j}$를 계산한다.
• 알고리즘은 각 층 컷 $i$당 간선 집합 $\mathcal{E}_u^i$, $\mathcal{V}_{xu}^i$, 및 $\mathcal{V}_{yu}^i$를 유지하며, 경로 탐색 중에 동적으로 업데이트한다.
• 경로 증강 과정은 더 이상 선형 독립 경로를 찾을 수 없을 때까지 계속되며, 이때 반환되는 유니캐스트 용량은 이러한 경로의 수가 된다.

실험 결과

연구 질문

• RQ1 선형 결정론적 무선 릴레이 네트워크에서 유니캐스트 용량을 찾는 데 필요한 계산 복잡도는 무엇인가?
• RQ2 경로 증강 기반 알고리즘이 이러한 네트워크에서 최대 수의 선형 독립 경로를 효율적으로 계산할 수 있는가?
• RQ3 층상 네트워크 구조에서 경로 탐색 중에 경로의 선형 독립성을 어떻게 유지하고 검증할 수 있는가?
• RQ4 아모드루즈와 프라구울, 또는 야즈디와 사바리의 이전 알고리즘에 비해 복잡도에서 어떤 개선이 이루어졌는가?
• RQ5 이 알고리즘이 릴레이에서 최소한의 인코딩을 사용하여 용량을 달성하는 전송 전략을 도출하는가?

주요 결과

• 제안된 알고리즘은 MDFS를 통해 발견한 선형 독립 경로의 수로 유니캐스트 용량을 계산하며, 이는 모든 소스-디스티네이션 컷 인접 행렬의 최소 질량과 일치한다.
• 계산 복잡도는 $O(|\mathcal{V}_x|\cdot C^4 + d\cdot|\mathcal{V}_x|\cdot C^3)$로 제한되며, 이는 이전 방법에 비해 상당한 향상이다.
• 논문에서 공식적으로 증명된 바에 따르면, 이 알고리즘은 모든 일반적인 경우에 대해 정확성을 보장한다.
• 경로 탐색 과정은 매번 새로운 경로가 이전에 발견한 경로들과 선형 독립성을 유지하도록 보장하며, 간선 집합의 질량 검증을 통해 이를 확인한다.
• 알고리즘은 릴레이 노드에서 오직 1비트 선형 인코딩만을 사용하는 용량을 달성하는 전송 전략을 도출한다.
• Span$(x_j)$와 FindIndPaths 함수의 사용은 교체 경로의 효율적 계산을 가능하게 하여 불필요한 탐색을 줄인다.