[논문 리뷰] On the Relation Between the Index Coding and the Network Coding Problems

Salim El Rouayheb, Alex Sprintson외 1명|ArXiv.org|2008. 02. 01.

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

한 줄 요약

이 논문은 일반적인 네트워크 코딩 문제를 색인 코딩 문제로의 환원을 수립하여, 네트워크 코딩의 핵심 성질—예를 들어 스칼라 선형 및 벡터 선형 코딩의 부족함—이 색인 코딩으로까지 이행됨을 보여준다. 비선형 색인 코딩이 비록 벡터 선형 코딩조차도 능가할 수 있음을 증명하여, 색인 코딩에서 최적성에 관한 오랫동안 남아있던 추측을 해결한다.

ABSTRACT

In this paper we show that the Index Coding problem captures several important properties of the more general Network Coding problem. An instance of the Index Coding problem includes a server that holds a set of information messages $X=\{x_1,...,x_k\}$ and a set of receivers $R$. Each receiver has some side information, known to the server, represented by a subset of $X$ and demands another subset of $X$. The server uses a noiseless communication channel to broadcast encodings of messages in $X$ to satisfy the receivers' demands. The goal of the server is to find an encoding scheme that requires the minimum number of transmissions. We show that any instance of the Network Coding problem can be efficiently reduced to an instance of the Index Coding problem. Our reduction shows that several important properties of the Network Coding problem carry over to the Index Coding problem. In particular, we prove that both scalar linear and vector linear codes are insufficient for achieving the minimal number of transmissions.

연구 동기 및 목표

• 색인 코딩 문제와 네트워크 코딩 문제 사이의 공식적 관계를 수립하기 위해.
• 네트워크 코딩에서의 성질—예를 들어 선형 코딩의 한계—이 색인 코딩으로까지 연장되는지 조사하기 위해.
• 스칼라 선형 색인 코딩의 최적성에 관한 열린 추측을 해결하기 위해.
• 벡터 선형 코딩의 부적합성과 색인 코딩에서 비선형 해법의 우수성을 입증하기 위해.

제안 방법

• 모든 네트워크 코딩 인스턴스를 동등한 색인 코딩 인스턴스로의 환원을 구성하기 위해.
• 환원을 통해 네트워크 코딩에서 알려진 결과—특히 선형 코딩의 한계에 관해—를 색인 코딩으로 이행하기 위해.
• 이전 연구에서 얻은 비파푸스 네트워크 예제를 활용하여 스칼라 선형 해법이 없는 색인 코딩 인스턴스를 구성하기 위해.
• Dougherty 등 [9]의 구성 방법을 적용하여 선형 해법이 없는 네트워크가 존재하지만 비선형 해법이 존재하는 경우를 찾아내고, 이를 색인 코딩으로 변환하기 위해.
• 비선형 코딩이 더 적은 전송 횟수를 달성하는 색인 코딩 인스턴스를 구성함으로써, 벡터 선형 해법이 부적절함을 증명하기 위해.
• 유한체 표현과 다항식 함수를 사용하여 인코딩 체계를 모델링하며, 특히 GF(2)와 GF(3)에서의 응용을 중심으로 한다.

실험 결과

연구 질문

• RQ1 네트워크 코딩 문제를 색인 코딩 문제로 환원하면서 핵심 코딩 성질을 유지할 수 있는가?
• RQ2 네트워크 코딩에서 스칼라 선형 코딩의 한계가 색인 코딩에도 동일하게 적용되는가?
• RQ3 벡터 선형 코딩이 스칼라 선형 코딩보다 우수한 성능을 보이는 색인 코딩 문제의 인스턴스가 존재하는가?
• RQ4 비선형 색인 코딩이 비록 벡터 선형 코딩조차도 능가할 수 있는가? 즉, 어떤 선형 코딩(스칼라 또는 벡터)보다도 더 적은 전송 횟수를 달성할 수 있는가?
• RQ5 네트워크 코딩과 유사하게, 색인 코딩에서 선형 해법과 비선형 해법 사이에 근본적인 격차가 존재하는가?

주요 결과

• 네트워크 코딩에서 색인 코딩으로의 환원은 동일한 체에서 선형 해법의 존재성을 유지하므로, 결과의 이행이 가능하다.
• 스칼라 선형 해법이 없는 색인 코딩 인스턴스—예를 들어 M-네트워크와 비파푸스 네트워크에서 유도된 인스턴스—가 존재한다.
• M-네트워크 기반 색인 코딩 인스턴스에서는, 벡터 선형 코딩(GF(2)에서)를 사용할 경우 최적의 2회 전송을 달성하지만, 스칼라 선형 코딩은 더 많은 전송이 필요하다.
• 비파푸스 네트워크 기반 인스턴스에서는, GF(3)에서의 벡터 선형 코딩이 최적의 2회 전송 한계를 달성하지만, 스칼라 선형 코딩은 실패한다.
• 논문은 벡터 선형 코딩이 부적절함을 증명한다: 비선형 코딩이 이론적 최소 전송 횟수를 달성할 수 있는 색인 코딩 인스턴스가 존재하지만, 모든 선형 코딩(스칼라 또는 벡터)은 더 많은 전송이 필요하다.
• 특히 네트워크 $\mathcal{N}_3$에서 유도된 인스턴스에 대해 $\lambda(2,4) = \mu(\mathcal{I}_{\mathcal{N}_3})$ 이지만, 모든 $n$과 $q$에 대해 $\lambda^*(n,q) < \lambda(n,q)$ 이므로, 비선형 코딩이 선형 코딩을 능가함을 증명한다.