[논문 리뷰] On the Index Coding Problem and its Relation to Network Coding and Matroid Theory

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

Cooperative Communication and Network Coding참고 문헌 19인용 수 4

한 줄 요약

이 논문은 최적 해를 유지하는 효율적인 감소를 도입함으로써 색인 코딩 문제, 네트워크 코딩, 매트로이드 표현 간의 기본적인 동치성을 수립한다. 벡터 선형 코딩이 스칼라 선형 코딩을 능가하고, 비선형 코딩이 벡터 선형 코딩조차도 능가할 수 있음을 입증함으로써, 색인 코딩이 네트워크 코딩 및 매트로이드 이론 문제의 전반적인 복잡성을 포괄하고 있음을 보여준다.

ABSTRACT

The \emph{index coding} problem has recently attracted a significant attention from the research community due to its theoretical significance and applications in wireless ad-hoc networks. An instance of the index coding problem includes a sender that holds a set of information messages $X=\{x_1,...,x_k\}$ and a set of receivers $R$. Each receiver $ρ=(x,H)\in R$ needs to obtain a message $x\in X$ and has prior \emph{side information} comprising a subset $H$ of $X$. The sender uses a noiseless communication channel to broadcast encoding of messages in $X$ to all clients. The objective is to find an encoding scheme that minimizes the number of transmissions required to satisfy the receivers' demands with \emph{zero error}. In this paper, we analyze the relation between the index coding problem, the more general network coding problem and the problem of finding a linear representation of a matroid. In particular, we show that any instance of the network coding and matroid representation problems can be efficiently reduced to an instance of the index coding problem. Our reduction implies that many important properties of the network coding and matroid representation problems carry over to the index coding problem. Specifically, we show that \emph{vector linear codes} outperform scalar linear codes and that vector linear codes are insufficient for achieving the optimum number of transmissions.

연구 동기 및 목표

• 색인 코딩 문제와 넓은 의미의 네트워크 코딩 문제 사이의 공식적 관계를 수립하기 위해.
• 네트워크 코딩 및 매트로이드 표현의 성질이 색인 코딩 문제로 이행 가능한지 조사하기 위해.
• 색인 코딩 및 네트워크 코딩 환경에서 스칼라 대비 벡터 선형 코딩의 상대적 성능을 규명하기 위해.
• 비선형 코딩이 색인 코딩 및 네트워크 코딩에서 선형 해를 능가하는 데서 수행하는 역할을 탐색하기 위해.
• 색인 코딩 인스턴스가 일반 네트워크 코딩 및 매트로이드 표현 문제의 전반적인 복잡성을 포괄할 수 있음을 입증하기 위해.

제안 방법

• 네트워크 코딩 문제의 임의의 인스턴스를 해당하는 색인 코딩 인스턴스로 감소시키는 방법을 제안하며, 네트워크 코딩 문제에서 벡터 선형 해가 존재하는 것은 색인 코딩 인스턴스에서 완벽한 색인 코딩이 존재하는 것과 동치임을 보장한다.
• M-네트워크 구성 기법을 사용하여 색인 코딩에서 벡터 선형 코딩이 스칼라 선형 코딩보다 낮은 전송 속도를 달성할 수 있음을 보여준다.
• 매트로이드 표현 문제에서 색인 코딩 문제로의 감소를 개발하며, 매트로이드가 체 위에서 다중선형 표현을 가질 조건과 해당 색인 코딩 인스턴스가 동일한 체 위에서 벡터 선형 해를 가질 조건이 동치임을 보여준다.
• 비선형 코딩이 벡터 선형 코딩을 능가할 수 있음을 보여주기 위해 비파푸스 매트로이드를 반례로 활용한다.
• 구축된 네트워크에서 선형 네트워크 코딩의 존재성과 해당 색인 코딩 인스턴스에서 완벽한 색인 코딩의 존재성 간에 동치성을 증명한다.
• 그래프 이론적 및 대수적 기법을 활용하여 네트워크 코딩 및 매트로이드 문제에서 유도된 색인 코딩 인스턴스의 구조를 분석한다.

실험 결과

연구 질문

• RQ1 모든 네트워크 코딩 문제의 인스턴스는 최적 해의 존재성을 유지하면서 해당하는 색인 코딩 인스턴스로 감소될 수 있는가?
• RQ2 네트워크 코딩에서 관찰된 벡터 선형 코딩 성능 향상 효과가 색인 코딩 문제에서도 동일하게 유지되는가?
• RQ3 매트로이드 표현 문제는 색인 코딩 문제로 감소될 수 있는가? 즉, 한쪽에서 해가 존재하면 다른 쪽에서도 반드시 존재하는가?
• RQ4 비선형 코딩이 색인 코딩 문제에서 벡터 선형 코딩을 능가하는가? 이는 네트워크 코딩에 어떤 함의를 갖는가?
• RQ5 색인 코딩 문제는 일반 네트워크 코딩 및 매트로이드 표현 문제의 전반적인 복잡성을 포괄할 수 있는가?

주요 결과

• 모든 네트워크 코딩 문제의 인스턴스는 효율적으로 색인 코딩 문제의 인스턴스로 감소되며, 네트워크 코딩 문제에서 벡터 선형 해가 존재하는 것은 색인 코딩 인스턴스에서 완벽한 색인 코딩이 존재하는 것과 동치이다.
• M-네트워크 구성 및 비파푸스 매트로이드 예제를 통해 색인 코딩 문제에서 벡터 선형 코딩이 스칼라 선형 코딩을 능가함을 입증하였다.
• 비선형 코딩은 색인 코딩에서 벡터 선형 코딩을 능가할 수 있으며, 이는 벡터 선형 코딩만으로는 최적의 전송 횟수를 달성하는 데 부족함을 확인한다.
• 매트로이드 표현 문제는 색인 코딩 문제로 감소될 수 있다: 매트로이드가 체 위에서 다중선형 표현을 가질 조건과 해당 색인 코딩 인스턴스가 동일한 체 위에서 벡터 선형 해를 가질 조건이 동치이다.
• 구축된 색인 코딩 인스턴스는 원래 문제의 복잡성을 유지하며, 색인 코딩 문제가 네트워크 코딩 및 매트로이드 표현 문제만큼 복잡한 것을 보여준다.
• 네트워크 코딩 문제에서 유도된 색인 코딩 인스턴스의 가족은 단순한 4분할 구조를 가지나, 일반 네트워크 코딩 문제의 본질적 복잡성을 여전히 포괄한다.