[논문 리뷰] A Combinatorial Study of Linear Deterministic Relay Networks

S. M. Sadegh Tabatabaei Yazdi, Serap A. Savari|ArXiv.org|2009. 04. 15.

Cooperative Communication and Network Coding참고 문헌 9인용 수 7

한 줄 요약

이 논문은 조합 최적화를 활용하여 선형 결정론적 리레이트 네트워크에서 최대 유량/최소 컷 용량을 달성하는 결정론적, 다항식 시간 알고리즘을 제시한다. 다형체 교차와 하위모듈 함수 최소화를 활용함으로써, 저자들은 단일 블록 신호 입력을 사용하는 용량을 달성하는 전송 방식을 수립하며, 두 층 네트워크의 블록 행렬에 대해 Rado–Hall 전이정리의 일반화를 수행하고, 선형 프로그래밍을 통한 다층 네트워크로의 확장을 이룬다.

ABSTRACT

In the last few years the so--called "linear deterministic" model of relay channels has gained popularity as a means of studying the flow of information over wireless communication networks, and this approach generalizes the model of wireline networks which is standard in network optimization. There is recent work extending the celebrated max--flow/min--cut theorem to the capacity of a unicast session over a linear deterministic relay network which is modeled by a layered directed graph. This result was first proved by a random coding scheme over large blocks of transmitted signals. We demonstrate the same result with a simple, deterministic, polynomial--time algorithm which takes as input a single transmitted signal instead of a long block of signals. Our capacity-achieving transmission scheme for a two--layer network requires the extension of a one--dimensional Rado--Hall transversal theorem on the independent subsets of rows of a row--partitioned matrix into a two--dimensional variation for block matrices. To generalize our approach to larger networks we use the submodularity of the capacity of a cut for our model and show that our complete transmission scheme can be obtained by solving a linear program over the intersection of two polymatroids. We prove that our transmission scheme can achieve the max-flow/min-cut capacity by applying a theorem of Edmonds about such linear programs. We use standard submodular function minimization techniques as part of our polynomial--time algorithm to construct our capacity-achieving transmission scheme.

연구 동기 및 목표

• 장기 신호 블록에 대한 랜덤 코딩을 피하면서 선형 결정론적 리레이트 네트워크에서 유니캐스트 세션의 용량을 달성하는 결정론적이고 효율적인 알고리즘을 제공하는 것.
• 두 층 네트워크의 블록 행렬에 대해 Rado–Hall 전이정리를 이차원 블록 행렬으로 일반화하여 용량을 달성하는 전송 방식을 가능하게 하는 것.
• 두 개의 다형체의 교차 위에서 선형 프로그래밍을 모델링하여 다층 네트워크로 접근을 확장하는 것.
• 에인드모스의 다형체 교차 정리에 기반하여 제안된 전송 방식이 이론적 최대 유량/최소 컷 용량을 달성함을 증명하는 것.
• 하위모듈 함수 최소화가 다항식 시간 알고리즘을 통해 용량을 달성하는 전송 방식을 구성하는 데 핵심 서브루틴으로 사용될 수 있음을 보여주는 것.

제안 방법

• 저자들은 유한 체 위에서 선형 변환에 의해 제어되는 계층적 방향 그래프로 리레이트 네트워크를 모델링한다.
• 두 층 네트워크의 경우, 독립된 행 부분집합에 대한 일차원 Rado–Hall 정리를 블록 행렬에 대한 이차원 버전으로 확장하여 용량을 달성하는 데 필요한 질량 조건을 확보한다.
• 다층 네트워크의 경우, 컷의 용량을 하위모듈 함수로 정의하고 전송 방식을 두 개의 다형체 교차 위에서 선형 프로그래밍으로 모델링한다.
• 에인드모스의 다형체 교차 정리를 적용하여 최적 해가 최대 유량/최소 컷 용량을 달성함을 증명한다.
• 알고리즘은 표준 하위모듈 함수 최소화 기법을 사용하여 다항식 시간 내에 전송 방식을 구성한다.
• 장기 블록 코딩이 아닌 단일 전송 신호 블록에서 작동하므로 결정론적이고 효율적인 구현이 가능하다.

실험 결과

연구 질문

• RQ1 장기 블록 코딩에 의존하지 않고 결정론적이고 다항식 시간 알고리즘이 선형 결정론적 리레이트 네트워크에서 최대 유량/최소 컷 용량을 달성할 수 있는가?
• RQ2 리레이트 네트워크 용량의 맥락에서 Rado–Hall 전이정리는 일차원 행렬에서 이차원 블록 행렬로 어떻게 일반화될 수 있는가?
• RQ3 다층 네트워크의 용량을 달성하는 전송 방식을 구성하는 데 다형체 교차와 하위모듈 함수 최소화의 역할은 무엇인가?
• RQ4 선형 결정론적 네트워크에서 컷의 용량은 기저 그래프와 전달 행렬의 구조와 어떻게 관련이 있는가?
• RQ5 확률적 추론이 아닌 조합 최적화를 통해 선형 결정론적 리레이트 네트워크에서 최대 유량/최소 컷 정리를 증명할 수 있는가?

주요 결과

• 제안된 알고리즘은 장기 블록 코딩을 피하면서 단일 전송 신호 블록을 사용하여 선형 결정론적 리레이트 네트워크에서 최대 유량/최소 컷 용량을 달성한다.
• 두 층 네트워크의 용량을 달성하는 전송 방식은 블록 행렬에 대한 Rado–Hall 전이정리의 새로운 이차원 확장에 의해 확립된다.
• 다층 네트워크의 경우, 두 다형체의 교차 위에서 선형 프로그래밍을 풀어 용량을 달성하는 전송 방식을 구성하며, 이는 이론적 용량을 달성함을 증명한다.
• 알고리즘은 하위모듈 함수 최소화를 핵심 서브루틴으로 사용하여 다항식 시간 내에 실행된다.
• 용량 최적성의 증명은 다형체 교차에 대한 에인드모스 정리에 기반하며, 최대 유량/최소 컷 결과에 대한 조합적 근거를 제공한다.
• 프레임워크는 확률적 추론이 아닌 결정론적이고 구축 가능한 방법을 사용하여 최대 유량/최소 컷 정리를 선형 결정론적 리레이트 네트워크로 일반화한다.